\documentclass[headings=normal]{scrartcl}
%======================================================================================================
\KOMAoptions{
    paper=a4,
    fontsize=10pt,
    cleardoublepage=empty,
    footinclude=true
}

\usepackage[top=1.35in, bottom=1.33in, left=1.35in, right=1.35in]{geometry}
\usepackage[macros]{argumentation}              % Main Package
\usepackage[T1]{fontenc}                        % Font encoding
\usepackage[utf8]{inputenc}                     % Input font encoding
\usepackage[english]{babel}                     % Language
\usepackage[hidelinks]{hyperref}                % Hyperlinks
\usepackage{subcaption}                         % Multi-part figures
\usepackage[breakable,]{tcolorbox}              % Fancier Examples
\usepackage{booktabs}                           % Fancier tables

\title{The \argumentation Package}
\author{Lars Bengel\footnote{Please report any issues at \url{https://github.com/aig-hagen/tikz_argumentation}}\\\small lars.bengel@fernuni-hagen.de}
\date{Version 1.3 [2024/09/25]}

%%%%%%%%% IMPORTS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%%% Various commands used in the document
\newcommand{\todo}[1]{\textcolor{magenta}{TODO: #1}} % for todos
\newcommand{\tikzname}{Ti\emph{k}Z\xspace}
\newcommand{\argumentation}{\texttt{argumentation}\xspace}
\newcommand{\opt}[2][red]{\ensuremath{\textcolor{#1}{\langle #2\rangle}}}
\newtheorem{example}{Example}
\tcolorboxenvironment{example}{colframe=aigblue,colback=aigyellow!30,breakable,before skip=10pt,after skip=10pt}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{document}
\maketitle

\begin{minipage}{.26\textwidth}
    \centering
        \begin{af}[argumentstyle=gray,namestyle=monospace]
            \argument{a}
            \argument[right=of a1]{b}
            \argument[below=of a1]{c}
            \argument[right=of a3]{d}
    
            \attack{a1}{a2}
            \attack{a2}{a3}
            \attack[bend right]{a3}{a4}
        \end{af}
\end{minipage}
\begin{minipage}{.5\textwidth}
    \begin{small}
    \begin{verbatim}
        \begin{af}[argumentstyle=gray,namestyle=monospace]
            \argument{a}
            \argument[right=of a1]{b}
            \argument[below=of a1]{c}
            \argument[right=of a3]{d}
    
            \attack{a1}{a2}
            \attack{a2}{a3}
            \attack[bend right]{a3}{a4}
        \end{af}
    \end{verbatim}
    \end{small}
\end{minipage}


\tableofcontents
\newpage

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Quick Guide}\label{sec:quick}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\noindent
To create an argumentation framework in your \LaTeX-document, you have to import the \argumentation package:\\

\vspace{-0.3cm}
\verb|\usepackage{argumentation}|\\

\noindent
You can then create a new \texttt{af} environment in which the argumentation framework can then be built:\\

\vspace{-0.3cm}
\verb|\begin{af}|

\quad\opt[green]{environment~content}

\verb|\end{af}|\\

\noindent
You may want to wrap the \texttt{af} environment in a \texttt{figure} environment in order to add a caption and reference label.

The easiest way to create an argument in the argumentation framework is:\\

\vspace{-0.3cm}
\verb|\argument{|\opt{name}\verb|}|\\

\noindent
Here, \opt{name} is the name of the argument displayed in the graph and the argument is automatically assigned an \emph{identifier} of the form: $a1$, $a2$, \dots.

To properly add further arguments, you also need to specify a position.
The \argumentation package offers two easy ways of doing that:\\

\vspace{-0.3cm}
\verb|\argument[|\opt{dir}\verb|=of |\opt{arg\_id}\verb|]{|\opt{name}\verb|}|

\verb|\argument{|\opt{name}\verb|}| \verb|at (|\opt{posX},\opt{posY}\verb|)|\\

\noindent
The first instance is \emph{relative positioning} where \opt{dir} is the direction of placement relative to the argument with the identifier \opt{arg\_id}, with \opt{dir} typically being one of: \textsf{right}, \textsf{left}, \textsf{above}, \textsf{below}.

The second instance is \emph{absolute positioning} where (\opt{posX}, \opt{posY}) is a set of coordinates, for example something like $(2, 0)$, $(0, -2)$ or $(2, 4)$.\\

\noindent
To create an attack between two arguments, you simply use the command:\\

\vspace{-0.3cm}
\verb|\attack{|\opt{a1}\verb|}{|\opt{a2}\verb|}|\\

\noindent
Substitute \opt{a1} and \opt{a2} with the identifier of the two arguments.
Alternatively, you can also directly create bidirectional attacks and self-attacks with the following two commands:\\

\vspace{-0.3cm}
\verb|\dualattack{|\opt{a1}\verb|}{|\opt{a2}\verb|}|

\verb|\selfattack{|\opt{a1}\verb|}|\\

\noindent
To customize the look of the arguments and attacks and for a detailed overview over all options and commands provided by this package, please refer to the following example or to the full documentation in Section~\ref{sec:documentation}.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newpage\section{Example}\label{sec:example}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{figure}[ht]
    \centering
    \begin{af}
        \argument{a}
        \argument[right=of a1]{b}
        \argument[right=of a2]{c}
        \argument[rejected,right=of a3]{d}
        \argument[right=of a4,incomplete]{e}
        \argument[below=of a1]{f}
        \argument[inactive,right=of a6]{g}
        \argument[accepted,right=of a7]{h}
        \argument[right=of a8]{i}
        \argument[right=of a9]{j}

        \annotation[right,yshift=-0.4cm]{a5}{$a\lor b$}

        \afname{$F_{\ref{af:ex1}}:$} at (-1,-0.9)

        \selfattack{a1}
        \dualattack{a1}{a6}
        \dualattack[inactive]{a6}{a7}
        
        \attack[inactive]{a8}{a7}
        \attack[inactive]{a7}{a2}
        \annotatedattack[above]{a3}{a2}{$3$}
        \attack[incomplete]{a4}{a5}
        \attack{a5}{a10}
        \attack{a10}{a9}
        \attack{a9}{a4}

        \support{a4}{a3}
        \support{a9}{a3}
        \label{af:ex1}
    \end{af}
    \caption{The AF $F_{\ref{af:ex1}}$ created with the \argumentation package.}
    \label{fig:example}
\end{figure}

\hspace{-1.2cm}
\begin{minipage}[c]{0.99\textwidth}
%\begin{small}
\begin{verbatim}
    \usepackage{argumentation}
    \begin{figure}[ht]
        \centering
        \begin{af}
        \argument{a}
        \argument[right=of a1]{b}
        \argument[right=of a2]{c}
        \argument[rejected,right=of a3]{d}
        \argument[right=of a4,incomplete]{e}
        \argument[below=of a1]{f}
        \argument[inactive,right=of a6]{g}
        \argument[accepted,right=of a7]{h}
        \argument[right=of a8]{i}
        \argument[right=of a9]{j}

        \annotation[right,yshift=-0.4cm]{a5}{$a\lor b$}

        \afname{$F_{\ref{af:ex1}}:$} at (-1,-0.9)

        \selfattack{a1}
        \dualattack{a1}{a6}
        \dualattack[inactive]{a6}{a7}
        
        \attack[inactive]{a8}{a7}
        \attack[inactive]{a7}{a2}
        \annotatedattack[above]{a3}{a2}{$3$}
        \attack[incomplete]{a4}{a5}
        \attack{a5}{a10}
        \attack{a10}{a9}
        \attack{a9}{a4}

        \support{a4}{a3}
        \support{a9}{a3}
        \label{af:ex1}
    \end{af}
        \caption{The AF $F_{\ref{af:ex1}}$ created with the \argumentation package.}
        \label{fig:example}
    \end{figure}
\end{verbatim}
%\end{small}
\end{minipage}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newpage\section{Documentation for Version 1.3 [2024/09/25]}\label{sec:documentation}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

The \argumentation package provides an easy way for creating argumentation frameworks\footnote{Dung, P. M. (1995). On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial intelligence.} in \LaTeX-documents.
It builds on the \tikzname package for drawing the graphs and provides simplified syntax while keeping the same customisation options and keeping full compatibility with all \tikzname commands.
The package comes with multiple predefined style options for arguments, attacks and supports.
In the following, we give an overview over the functionality of the \argumentation package.
The \argumentation package can be imported via the command
    
    \verb|\usepackage{argumentation}|

    \noindent
    Alternatively, one can also adjust the appearance by providing some package options via

    \verb|\usepackage[|\opt{options}\verb|]{argumentation}|


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{Style Options}\label{sec:style}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    \begin{list}{}{\leftmargin=\parindent\rightmargin=0pt}
        \item The \argumentation package provides the following options to customize the look of the argumentation frameworks. They can both be set globally (as an option for the \emph{usepackage} command) and also locally for each \texttt{af} environment (see Section~\ref{sec:af}).
    \end{list}
    \vspace{-0.3cm}
    \begin{align*}
        \mathsf{argumentstyle} &\quad \text{Customizes the appearance of argument nodes.}\\
        \mathsf{attackstyle} &\quad \text{Customizes the appearance of attack edges.}\\
        \mathsf{supportstyle} &\quad \text{Customizes the appearance of support edges.}\\
        \mathsf{namestyle} &\quad \text{Customizes the font style of the argument names.}
    \end{align*}

    In the following, we list the available options for each of the style parameters.
    Detailed definitions of each of these style parameters can be found in Section~\ref{sec:style-definitions}.\\

{\bfseries\sffamily\noindent argumentstyle=\opt{option}}

    The \textsf{argumentstyle} parameter accepts five options
    \begin{align*}
        \mathsf{standard} &\quad \text{(default) Standard style for the argument nodes.}\\
        \mathsf{large} &\quad \text{Larger font.}\\
        \mathsf{thick} &\quad \text{Thick outline.}\\
        \mathsf{gray} &\quad \text{Thick gray outline, light gray background.}\\
        \mathsf{colored} &\quad \text{Thick blue outline, light blue background.}
    \end{align*}

\begin{figure}[!h]
    \begin{subfigure}{0.32\textwidth}
        \centering
        \begin{af}[argumentstyle=standard]
            \argument{a}
            \argument[right=of a1]{b}
    
            \attack[]{a1}{a2}
            \label{af:test}
        \end{af}
        \caption{\textsf{argumentstyle}=\textit{standard}}
        \label{fig:argumentstyle_standard}
    \end{subfigure}
    \hfill
    \begin{subfigure}{0.3\textwidth}
        \centering
        \begin{af}[argumentstyle=large]
            \argument{a}
            \argument[right=of a1]{b}
    
            \attack[]{a1}{a2}
        \end{af}
        \caption{\textsf{argumentstyle}=\textit{large}}
        \label{fig:argumentstyle_large}
    \end{subfigure}
    \hfill
    \begin{subfigure}{0.3\textwidth}
        \centering
        \begin{af}[argumentstyle=thick]
            \argument{a}
            \argument[right=of a1]{b}
    
            \attack[]{a1}{a2}
        \end{af}
        \caption{\textsf{argumentstyle}=\textit{thick}}
        \label{fig:argumentstyle_thick}
    \end{subfigure}

    \par\bigskip

    \begin{subfigure}{0.49\textwidth}
        \centering
        \begin{af}[argumentstyle=gray]
            \argument{a}
            \argument[right=of a1]{b}
    
            \attack[]{a1}{a2}
        \end{af}
        \caption{\textsf{argumentstyle}=\textit{gray}}
        \label{fig:argumentstyle_gray}
    \end{subfigure}
    \hfill
    \begin{subfigure}{0.49\textwidth}
        \centering
        \begin{af}[argumentstyle=colored]
            \argument{a}
            \argument[right=of a1]{b}
    
            \attack[]{a1}{a2}
        \end{af}
        \caption{\textsf{argumentstyle}=\textit{colored}}
        \label{fig:argumentstyle_colored}
    \end{subfigure}
    
    \caption{Available options for \textsf{argumentstyle}.}
    \label{fig:argumentstyle}
\end{figure}

\newpage
{\bfseries\sffamily\noindent attackstyle=\opt{option}}
    
    The \textsf{attackstyle} parameter accepts three options
    \begin{align*}
        \mathsf{standard} &\quad \text{(default) Standard style for the attack arrow tips.}\\
        \mathsf{large} &\quad \text{Arrow tip is larger and sharper.}\\
        \mathsf{modern} &\quad \text{\tikzname ModernCS arrow tip.}
    \end{align*}

\begin{figure}[!h]
    \begin{subfigure}{0.32\textwidth}
        \centering
        \begin{af}[attackstyle=standard]
            \argument{a}
            \argument[right=of a1]{b}
    
            \attack[]{a1}{a2}
        \end{af}
        \caption{\textsf{attackstyle}=\textit{standard}}
        \label{fig:attackstyle_standard}
    \end{subfigure}
    \hfill
    \begin{subfigure}{0.3\textwidth}
        \centering
        \begin{af}[attackstyle=large]
            \argument{a}
            \argument[right=of a1]{b}
    
            \attack[]{a1}{a2}
        \end{af}
        \caption{\textsf{attackstyle}=\textit{large}}
        \label{fig:attackstyle_large}
    \end{subfigure}
    \hfill
    \begin{subfigure}{0.3\textwidth}
        \centering
        \begin{af}[attackstyle=modern]
            \argument{a}
            \argument[right=of a1]{b}
    
            \attack[]{a1}{a2}
        \end{af}
        \caption{\textsf{attackstyle}=\textit{modern}}
        \label{fig:attackstyle_thick}
    \end{subfigure}
    \caption{Available options for \textsf{attackstyle}.}
    \label{fig:attackstyle}
\end{figure}

{\bfseries\sffamily\noindent supportstyle=\opt{option}}
    
    The \textsf{supportstyle} parameter accepts three options
    \begin{align*}
        \mathsf{standard} &\quad \text{(default) Standard style for the attack arrow tips.}\\
        \mathsf{dashed} &\quad \text{Dashed arrow line, same tip.}\\
        \mathsf{double} &\quad \text{Double arrow line and large flat tip.}
    \end{align*}

\begin{figure}[!h]
    \begin{subfigure}{0.32\textwidth}
        \centering
        \begin{af}[supportstyle=standard]
            \argument{a}
            \argument[right=of a1]{b}
    
            \support[]{a1}{a2}
        \end{af}
        \caption{\textsf{supportstyle}=\textit{standard}}
        \label{fig:supportstyle_standard}
    \end{subfigure}
    \hfill
    \begin{subfigure}{0.3\textwidth}
        \centering
        \begin{af}[supportstyle=dashed]
            \argument{a}
            \argument[right=of a1]{b}
    
            \support[]{a1}{a2}
        \end{af}
        \caption{\textsf{supportstyle}=\textit{dashed}}
        \label{fig:supportstyle_dashed}
    \end{subfigure}
    \hfill
    \begin{subfigure}{0.3\textwidth}
        \centering
        \begin{af}[supportstyle=double]
            \argument{a}
            \argument[right=of a1]{b}
    
            \support[]{a1}{a2}
        \end{af}
        \caption{\textsf{supportstyle}=\textit{double}}
        \label{fig:supportstyle_double}
    \end{subfigure}
    \caption{Available options for \textsf{supportstyle}. Note that for \textit{standard} and \textit{dashed} the arrow tip of the selected \textsf{attackstyle} will be used.}
    \label{fig:supportstyle}
\end{figure}


{\bfseries\sffamily\noindent namestyle=\opt{option}}
    
    The \textsf{namestyle} parameter offers four different options
    \begin{align*}
        \mathsf{none} &\quad \text{(default) No effect applied to argument name.}\\
        \mathsf{math} &\quad \text{The argument name is rendered as $math$ text.}\\
        &\quad\quad \text{(name must be given without mathmode).}\\
        \mathsf{bold} &\quad \text{The argument name is rendered in $\boldsymbol{bold}$.}\\
        &\quad\quad \text{(name must be given without mathmode).}\\
        \mathsf{monospace} &\quad \text{The argument name is rendered in \texttt{monospace} font.}\\
        &\quad\quad \text{(name must be given without mathmode).}\\
        \mathsf{monoemph} &\quad \text{The argument name is rendered as {\ttfamily\emph{name}}.}
    \end{align*}

\begin{figure}[!ht]
    \begin{subfigure}{0.32\textwidth}
        \centering
        \begin{af}[namestyle=none]
            \argument{a}
            \argument[right=of a1]{b}
    
            \attack[]{a1}{a2}
        \end{af}
        \caption{\textsf{namestyle}=\textit{none}}
        \label{fig:namestyle_none}
    \end{subfigure}
    \hfill
    \begin{subfigure}{0.32\textwidth}
        \centering
        \begin{af}[namestyle=math]
            \argument{a}
            \argument[right=of a1]{b}
    
            \attack[]{a1}{a2}
        \end{af}
        \caption{\textsf{namestyle}=\textit{math}}
        \label{fig:namestyle_math}
    \end{subfigure}
    \hfill
    \begin{subfigure}{0.32\textwidth}
        \centering
        \begin{af}[namestyle=bold]
            \argument{a}
            \argument[right=of a1]{b}
    
            \attack[]{a1}{a2}
        \end{af}
        \caption{\textsf{namestyle}=\textit{bold}}
        \label{fig:namestyle_bold}
    \end{subfigure}
    \hfill
    \par\bigskip
    \begin{subfigure}{0.49\textwidth}
        \centering
        \begin{af}[namestyle=monospace]
            \argument{a}
            \argument[right=of a1]{b}
    
            \attack[]{a1}{a2}
        \end{af}
        \caption{\textsf{namestyle}=\textit{monospace}}
        \label{fig:namestyle_monospace}
    \end{subfigure}
    \hfill
    \begin{subfigure}{0.49\textwidth}
        \centering
        \begin{af}[namestyle=monoemph]
            \argument{a}
            \argument[right=of a1]{b}
    
            \attack[]{a1}{a2}
        \end{af}
        \caption{\textsf{namestyle}=\textit{monoemph}}
        \label{fig:namestyle_monoemph}
    \end{subfigure}
    \caption{Available options for \textsf{namestyle}. You can of course apply any formatting yourself when using the default \textsf{namestyle}=\textit{none}.}
    \label{fig:namestyle}
\end{figure}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{The \texttt{af} Environment}\label{sec:af}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
The \argumentation package provides an environment for creating abstract argumentation frameworks and many of its extensions in \LaTeX-documents.\\

\vspace{-0.2cm}
\noindent
\verb|\begin{af}[|\opt{options}\verb|]|

\opt[green]{environment~content}

\noindent
\verb|\end{af}|

\begin{list}{}{\leftmargin=\parindent\rightmargin=0pt}
    \item
    The above described style options can be set locally for each instance of the \texttt{af} environment by setting the respective parameters in the options of the environment.
    Local settings override the defaults and globally set values (See Section~\ref{sec:style} 
 for examples).
    
    The \texttt{af} environment extends the \textsf{tikzpicture} environment, meaning all \tikzname commands can be used inside the \texttt{af} environment as well.
    Furthermore, all options for the \textsf{tikzpicture} environment can be used for the \texttt{af} environment as well, e.\,g the option \verb|node distance|, which is set to \verb|1cm| (\verb|6.6ex|) per default.

    If you want to create an argumentation framework with limited space available, you can use one of the following predefined options for the \texttt{af} environment. 
    This is especially useful for two-column layout documents.
    \begin{align*}
        \mathsf{tiny} &\quad \text{\textsf{node distance} is set to $0.35cm$ and nodes are smaller.}\\
        \mathsf{small} &\quad \text{\textsf{node distance} is set to $0.55cm$ and nodes are smaller.}
        %TODO:& argument size as parameter
    \end{align*}

    %\begin{example}
    %    Consider the two AFs in Figure~\ref{fig:mini_afs} created with the \textsf{small} and \textsf{tiny} option respectively.
    %\end{example}
\end{list}

\begin{figure}[ht]
    \begin{subfigure}{0.48\textwidth}
        \centering
        \begin{af}[small]
        \argument{a}
        \argument[right=of a1]{b}
        \argument[right=of a2]{c}
        \argument[right=of a3]{d}
        \argument[right=of a4]{e}
        \argument[below=of a1]{f}
        \argument[inactive,right=of a6]{g}
        \argument[inactive,argin,right=of a7]{h}
        \argument[right=of a8]{i}
        \argument[right=of a9]{j}

        \afname[left of=a1,yshift=-0.55cm,xshift=-0.2cm]{\textbf{F:}}

        \selfattack{a1}
        \dualattack[]{a1}{a6}
        \dualattack[inactive]{a6}{a7}
        \attack[inactive]{a8}{a7}

        \attack[inactive]{a7}{a2}
        \attack[]{a3}{a2}

        \support[]{a4}{a3}
        \support[]{a9}{a3}

        \attack[]{a4}{a5}
        \attack[]{a5}{a10}
        \attack[]{a10}{a9}
        \attack[]{a9}{a4}
        \end{af}
        \caption{An exemplary AF created with the \textsf{small} option set.}
        \label{fig:example_small}
    \end{subfigure}
    \hfill
    \begin{subfigure}{0.48\textwidth}
        \centering
        \begin{af}[tiny]
        \argument{a}
        \argument[right=of a1]{b}
        \argument[right=of a2]{c}
        \argument[right=of a3]{d}
        \argument[right=of a4]{e}
        \argument[below=of a1]{f}
        \argument[inactive,right=of a6]{g}
        \argument[inactive,argin,right=of a7]{h}
        \argument[right=of a8]{i}
        \argument[right=of a9]{j}

        \afname[left of=a1,yshift=-0.4cm,xshift=-0.2cm]{\textbf{F:}}

        \selfattack{a1}
        \dualattack[]{a1}{a6}
        \dualattack[inactive]{a6}{a7}
        \attack[inactive]{a8}{a7}

        \attack[inactive]{a7}{a2}
        \attack[]{a3}{a2}

        \support[]{a4}{a3}
        \support[]{a9}{a3}

        \attack[]{a4}{a5}
        \attack[]{a5}{a10}
        \attack[]{a10}{a9}
        \attack[]{a9}{a4}
        \end{af}
        \caption{An exemplary AF created with the \textsf{tiny} option set.}
        \label{fig:example_tiny}
    \end{subfigure}
    \caption{Two AFs with smaller nodes, created by using the \textsf{small} and \textsf{tiny} options of the \texttt{af} environment.}
    \label{fig:mini_afs}
\end{figure}

\subsubsection{Referencing}
The package provides to ability to label the created argumentation frameworks and reference them via the \verb|\ref| command.
For that, place the command \verb|\label{|\opt{name}\verb|}| anywhere in an \texttt{af}-environment and you can reference to it via \verb|\ref{|\opt{name}\verb|}| anywhere in the document.

Additionally, the following commands are provided to facilitate referencing argumentation frameworks.
To activate them, add the parameter \textsf{macros=true} when loading the package.
Most importantly the command \verb|\afref{|\opt{name}\verb|}| which works like the \verb|ref| command but adds the reference number directly into the index of the \verb|\AF| symbol.
You may redefine any of the first four commands if you prefer a different naming scheme for AFs.

\begin{table}[ht]
    \centering
    \begin{tabular}{lll}
        \verb|\AF|&& \AF \\
        \verb|\arguments|&& \arguments\\
        \verb|\attacks|&&\attacks\\
        \verb|\AFcomplete|&&\AFcomplete\\
        \verb|\afref{af:ex1}|&&\afref{af:ex1}\\
        \verb|\fullafref{af:ex1}|&\qquad\qquad\qquad&\fullafref{af:ex1}
    \end{tabular}
    \caption{Commands and their respective output.}
    \label{tab:referencing}
\end{table}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{Creating Arguments}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    Arguments can be created with the \verb|\argument| command.
    The full command is defined as follows\\
    
    \noindent
    \verb|\argument[|\opt{options}\verb|](|\opt{id}\verb|){|\opt{name}\verb|}| \verb|at| (\opt{posX}, \opt{posY})

    \begin{list}{}{\leftmargin=\parindent\rightmargin=0pt}
        \item\opt{options}~ (optional) a list of \tikzname style parameters and/or relative positioning information (see Section~\ref{sec:relpos}).
        \item\opt{id}~ (optional) the identifier of the new argument. When omitted, arguments will automatically be assigned an identifier of the form: $a1, a2, a3,...$
        \item\opt{name}~ the displayed name of the argument.
        \item\opt{posX}, \opt{posY}~ (optional) the coordinates where the argument is placed. Should be omitted if relative positioning is used.
        
        \item When creating an argument you only have to provide the \opt{name}, all other parameters are optional.
        The \opt{id} of an argument is used for referencing, e.\,g., when creating attacks or for the relative positioning of other arguments.
    \end{list}

\begin{example}~

    \begin{minipage}{0.35\textwidth}
    \begin{center}
        \begin{af}
            \argument{a}
            \argument{b} at (1, 1)
            \argument[right=of a2]{c}
            \argument(argD){d} at (-2, 0)
            \argument[above=of argD]{e}
        \end{af}
    \end{center}
    \end{minipage}
    \begin{minipage}{0.5\textwidth}
    \begin{verbatim}
        \begin{af}
            \argument{a}
            \argument{b} at (1, 1)
            \argument[right=of a2]{c}
            \argument(argD){d} at (-2, 0)
            \argument[above=of argD]{e}
        \end{af}
    \end{verbatim}
    \end{minipage}%
\end{example}

\subsubsection{Relative Positioning}\label{sec:relpos}
    Placement of argument nodes with the \argumentation package relies on relative placement via the \tikzname-library \textsf{positioning}.
    The relative positioning information is provided as an optional parameter as follows\\

    \noindent
    \verb|\argument[|\opt{dir}\verb|=of |\opt{arg\_id}\verb|](|\opt{id}\verb|){|\opt{name}\verb|}|
    
    \begin{list}{}{\leftmargin=\parindent\rightmargin=0pt}
        \item\opt{dir}~ has to be one of: \emph{right}, \emph{left}, \emph{below} and \emph{above} 
        \item\opt{arg\_id}~ is the identifier of another argument
        \item Additionally, you can adjust the horizontal/vertical position of an argument via the options \verb|xshift=|\opt{v} and \verb|yshift=|\opt{v}.
        The value \opt{v} is the horizontal/vertical offset, e.\,g., \verb|-6.6ex| or \verb|1cm|.
    \end{list}


    \begin{example}~

    \begin{minipage}{0.25\textwidth}
        \begin{center}
        \begin{af}
            \argument{a}
            \argument[right=of a1,yshift=0.75cm]{b}
            \argument[below=of a2,xshift=-2ex]{c}
            \argument[right=of a3,yshift=5.5ex]{d}
        \end{af}
        \end{center}
    \end{minipage}%
    \begin{minipage}{0.5\textwidth}
        \begin{verbatim}
        \begin{af}
            \argument{a}
            \argument[right=of a1,yshift=0.75cm]{b}
            \argument[below=of a2,xshift=-2ex]{c}
            \argument[right=of a3,yshift=5.5ex]{d}
        \end{af}
        \end{verbatim}
    \end{minipage}%
    \end{example}


\subsubsection{Argument Identifiers}
    When creating an argument, it is automatically assigned an identifier for the sake of simplicity.
    You can override this identifier by giving another identifier in parenthesis to the \verb|\argument| command.
    Per default, the argument identifiers will be numerical of the form $a1, a2, a3, \dots$ based on their order of creation inside the \texttt{af} environment.
    If you prefer alphabetical identifiers, you can set the package option \textsf{indexing}=\emph{alphabetic} and the argument identifiers will instead be $a, b, c, \dots$.

\subsubsection{Additional Argument Styling}
    Furthermore, you can provide optional parameters to adjust the style of the argument node.
    For that you can use all \tikzname-style options and additionally the following predefined style parameters (Refer to Section~\ref{sec:style-definitions} for a detailed description of these parameters):
    \begin{align*}
        \mathsf{inactive} &\quad \text{The argument is displayed with grey outline and text.}\\
        \mathsf{incomplete} &\quad \text{The argument is displayed with a dotted outline.}\\
        \mathsf{invisible} &\quad \text{The argument node is completely transparent.}\\
        \mathsf{accepted} &\quad \text{The argument is displayed with green background color.}\\
        \mathsf{rejected} &\quad \text{The argument is displayed with red background color.}\\
        \mathsf{undecided} &\quad \text{The argument is displayed with cyan background color.}\\
        \mathsf{highlight} &\quad \text{The argument is displayed with yellow background color.}\\
    \end{align*}
    

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{Creating Attacks}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    Attacks between two arguments can be created with the command\\

    \noindent
    \verb|\attack{|\opt{arg1}\verb|}{|\opt{arg2}\verb|}|

    \begin{list}{}{\leftmargin=\parindent\rightmargin=0pt}
        \item where \opt{arg1} and \opt{arg2} are the identifiers of two previously defined arguments.
    \end{list}

    
\subsubsection{Additional Attack Styles}
    To customize an attack you can provide additional optional parameters:
    \begin{align*}
        \mathsf{inactive} &\quad \text{The attack is displayed in grey.}\\
        \mathsf{incomplete} &\quad \text{The attack is displayed with a dotted line.}\\
        \mathsf{invisible} &\quad \text{The attack is completely transparent.}\\
        \mathsf{selfattack} &\quad \text{Use if source and target of the attack are the same node.}\\
        \mathsf{bend~right} &\quad \text{The attack arrow is bent to the right.}\\
        &\quad \text{Can additionally provide the angle, e.\,g., \textsf{bend~right=40}.}\\
        \mathsf{bend~left} &\quad \text{The attack arrow is bent to the left. Can also provide an angle.}
    \end{align*}
    
    Of course, all \tikzname style parameters can be used here as well.

    \newpage
    \begin{example}~

    \begin{minipage}{0.32\textwidth}
    \begin{center}
        \begin{af}
            \argument{a}
            \argument[right=of a1]{b}
            \argument[right=of a2]{c}
            \argument[right=of a3]{d}
    
            \attack{a1}{a2}
            \attack[bend right]{a2}{a3}
            \attack[bend left=10,inactive]{a3}{a4}
        \end{af}
    \end{center}
    \end{minipage}%
    \begin{minipage}{0.5\textwidth}
    \begin{verbatim}
        \begin{af}
            \argument{a}
            \argument[right=of a1]{b}
            \argument[right=of a2]{c}
            \argument[right=of a3]{d}
    
            \attack{a1}{a2}
            \attack[bend right]{a2}{a3}
            \attack[bend left=10,inactive]{a3}{a4}
        \end{af}
    \end{verbatim}
    \end{minipage}%
    
    \end{example}

    Additionally, there is a shortcut for creating a symmetric attack between two arguments with

    \noindent
    \verb|\dualattack{|\opt{arg1}\verb|}{|\opt{arg2}\verb|}|\\

    \noindent
    and a shortcut for a self-attack for an argument with

    \noindent
    \verb|\selfattack{|\opt{arg1}\verb|}|\\

    \noindent
    For both commands, you can use the same optional parameters as for the \verb|\attack| command.

    \begin{example}~

    \begin{minipage}{0.4\textwidth}
        \begin{center}
        \begin{af}
            \argument{a}
            \argument[right=of a1]{b}
    
            \selfattack{a2}
            \dualattack{a1}{a2}
        \end{af}
        \end{center}
    \end{minipage}%
    \begin{minipage}{0.5\textwidth}
        \begin{verbatim}
        \begin{af}
            \argument{a}
            \argument[right=of a1]{b}
    
            \selfattack{a2}
            \dualattack{a1}{a2}
        \end{af}  
        \end{verbatim}
    \end{minipage}
    \end{example}
    

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{Creating Support Relations}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    You can create a support relation between two arguments with the command\\

    \noindent
    \verb|\support{|\opt{arg1}\verb|}{|\opt{arg2}\verb|}|

    \begin{list}{}{\leftmargin=\parindent\rightmargin=0pt}
    \item where \opt{arg1} and \opt{arg2} are the identifiers of two previously defined arguments.
    The support arrow use the same tip as the attack arrows, but have a perpendicular mark to distinguish them from attacks.
    Supports can be customized in the same way as attacks.
    \end{list}
    \begin{example}~

    \begin{minipage}{0.4\textwidth}
        \begin{center}
        \begin{af}
            \argument{$a_1$}
            \argument[right=of a1]{$a_2$}
            \argument[right=of a2]{$a_3$}
    
            \support{a1}{a2}
            \support[bend right]{a2}{a3}
        \end{af}    
        \end{center}
    \end{minipage}%
    \begin{minipage}{0.5\textwidth}
        \begin{verbatim}
        \begin{af}
            \argument{$a_1$}
            \argument[right=of a1]{$a_2$}
            \argument[right=of a2]{$a_3$}
    
            \support{a1}{a2}
            \support[bend right]{a2}{a3}
        \end{af}
        \end{verbatim}
    \end{minipage}
    \end{example}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{Annotated Attacks}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    Many extensions of the original abstract argumentation framework rely on attacks with an associated value.
    This may, for instance, be probabilities in the case of probabilistic argumentation frameworks or numerical weights in the case of weighted argumentation frameworks.
    These annotations can be added manually via \tikzname or via the following command\\
    
    \noindent
    \verb|\annotatedattack[|\opt{position}\verb|]{|\opt{arg1}\verb|}{|\opt{arg2}\verb|}{|\opt{value}\verb|}|
    
    \begin{list}{}{\leftmargin=\parindent\rightmargin=0pt}
        \item where \opt{arg1} and \opt{arg2} are the identifiers of two previously defined arguments and \opt{value} is the text or number that should be annotated to the attack.
        \opt{position} specifies where the annotation should be placed relative to the attack arrow and should be one of: \textsf{above}, \textsf{below}, \textsf{left}, \textsf{right}.
    \end{list}

    \begin{example}~

    \begin{minipage}{0.18\textwidth}
        \begin{center}
        \begin{af}
            \argument{a}
            \argument[right=of a1]{b}
            \argument[below=of a2]{c}
    
            \annotatedattack[below]{a1}{a2}{$x$}
            \annotatedattack[left,bend right]{a2}{a3}{$0.6$}
        \end{af}
        \end{center}
    \end{minipage}%
    \begin{minipage}{0.5\textwidth}
        \begin{verbatim}
        \begin{af}
            \argument{a}
            \argument[right=of a1]{b}
            \argument[below=of a2]{c}
    
            \annotatedattack[below]{a1}{a2}{$x$}
            \annotatedattack[left,bend right]{a2}{a3}{$0.6$}
        \end{af}
        \end{verbatim}
    \end{minipage}% 
    \end{example}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{Further Commands}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    If you want to display an name (or some other text) for your argumentation framework in the picture, you can use the \verb|\afname| command.
    Just like the \verb|\argument| command it can include an optional identifier and supports both relative and absolute positioning.
    Some example usages:\\

    \vspace{-0.25cm}
    \noindent\verb|\afname{|\opt{name}\verb|}|

    \noindent\verb|\afname(|\opt{id}\verb|){|\opt{name}\verb|}|

    \noindent\verb|\afname[|\opt{relPos}\verb|]{|\opt{name}\verb|}|

    \noindent\verb|\afname{|\opt{name}\verb|}| \verb|at (|\opt{posX},\opt{posY}\verb|)|

    \begin{list}{}{\leftmargin=\parindent\rightmargin=0pt}
    \item where \opt{id} is an (optional) identifier for the created node (if omitted, the default identifier will be \textit{cap}) and \opt{name} is the text displayed in the picture.
    Additional positioning information, via \textsf{xshift} or \textsf{yshift}, can be provided via the optional parameters.
    \end{list}

    \noindent
    To create an annotation, e.\,g., an acceptance condition or a weight, next to an argument, the following command can be used.\\
    
    \noindent
    \verb|\annotation[|\opt{optional}\verb|]{|\opt{arg\_id}\verb|}{|\opt{text}\verb|}|

    \begin{list}{}{\leftmargin=\parindent\rightmargin=0pt}
    \item where \opt{arg\_id} is the identifier of some argument and \opt{text} is the text to be displayed.
    Additionally, positioning information, via \textsf{xshift} or \textsf{yshift}, can be provided via the optional parameters.
    \end{list}

    \newpage
    \begin{example}~

    \begin{minipage}{0.11\textwidth}
        \begin{center}
        \begin{af}
            \argument{a}
            \argument[below=of a1]{b}
            \afname{$F:$} at (-1,-1)
            \annotation[yshift=-0.5cm,xshift=0.4cm]{a2}{$\neg a$}
    
            \support{a1}{a2}
        \end{af}
        \end{center}
    \end{minipage}%
    \begin{minipage}{0.5\textwidth}
        \begin{verbatim}
        \begin{af}
            \argument{a}
            \argument[below=of a1]{b}
            \afname{$F:$} at (-1,-1)
            \annotation[yshift=-0.5cm,xshift=0.4cm]{a2}{$\neg a$}
    
            \support{a1}{a2}
        \end{af}
        \end{verbatim}
    \end{minipage}%
    \end{example}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{Style Definitions}\label{sec:style-definitions}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    You can manually override the \textsf{argumentstyle}, \textsf{attackstyle} and \textsf{supportstyle} parameters and set a custom style globally via the following commands respectively.\\

    \vspace{-0.3cm}
    \noindent
    \verb|\setargumentstyle{|\opt{style}\verb|}|
    
    \noindent
    \verb|\setattackstyle{|\opt{style}\verb|}|
    
    \noindent
    \verb|\setsupportstyle{|\opt{style}\verb|}|
    
    \begin{list}{}{\leftmargin=\parindent\rightmargin=0pt}
        \item
        where \opt{style} is a list of \tikzname style parameters.
        For reference, the style parameters provided by this package are listed below.
        You may use or override them at your own discretion.
        For instance, one could use them to combine or adapt styles, e.\,g.,

        \noindent
    \verb|\setargumentstyle{argument large,argument gray,text=white}|
    \end{list}

    \begin{table}[ht]
        \centering
        \ttfamily
        \begin{tabular}{l|l}
            \toprule
            \tikzname-keyword & style parameters \\
            \midrule
            \textsf{argument size} & \emph{contains the currently selected argument size}\\
            \textsf{argument} & \emph{contains the currently selected argument style and size}\\
            \textsf{argument standard} & circle,inner sep=0,outer sep=0,draw=black\\
            \textsf{argument large} & circle,inner sep=0,outer sep=0,draw=black,font=\verb|\|large\\
            \textsf{argument thick} & circle,inner sep=0,outer sep=0,draw=black,line width=0.1em\\
            \textsf{argument gray} & argument thick,fill=gray!30,draw=gray!65,text=black!80\\
            \textsf{argument colored} & argument thick,fill=aigblue!40,draw=aigblue!80,text=black!80\\
            \midrule
            \textsf{attack} & \emph{contains the currently selected attack style}\\
            \textsf{attack standard} & -\{stealth'\}\\
            \textsf{attack large} & -\{Stealth[scale=1.25]\}\\
            \textsf{attack modern} & -\{To[sharp,length=0.65ex,line width=0.05em]\}\\
            \textsf{selfattack} & loop,min distance=0.4em,in=0,out=60,looseness=4.5\\
            \midrule
            \textsf{support} & \emph{contains the currently selected support style}\\
            \textsf{support standard} & attack,postaction=\{decorate,decoration=\{\dots\}\}\\
            \textsf{support dashed} & attack,densely dashed\\
            \textsf{support double} & -\{Classical TikZ Rightarrow\},double\\
            \midrule
            \textsf{inactive} & fill=none,draw=gray!50,text=gray!60\\
            \textsf{incomplete} & densely dashed\\
            \textsf{accepted} & fill=green!40\\
            \textsf{rejected} & fill=red!40\\
            \textsf{undecided} & fill=cyan!40\\
            \textsf{highlight} & fill=aigyellow!60\\
            \textsf{invisible} & draw=none,text=black!0,fill=none\\
            \bottomrule
        \end{tabular}
        \caption{Reference list of \tikzname-style parameters provided by the \argumentation package.}
        \label{tab:styles}
    \end{table}

\newpage
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Version History}\label{sec:history}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection*{[v1.3 2024/09/25]}
\begin{itemize}
    \item Added support for \verb|\label{ }| and \verb|\ref{ }| to \texttt{af} environment.
    \item Added commands \verb|\AF|, \verb|\arguments|, \verb|\attacks| and \verb|\AFcomplete| to facilitate consistent naming of AFs. Have to be loaded with the package option \textsf{macros=true}.
    \item Added commands \verb|\afref{ }| and \verb|\fullafref{ }| to reference AFs.
    \item adjusted scaling of nodes and arrows for larger page sizes.
    \item added new style options for arguments.
    \item Various minor fixes and changes regarding the \textsf{namestyle} package option.
\end{itemize}

\subsection*{[v1.2 2024/06/07]}
\begin{itemize}
    \item Changed Syntax of \verb|\argument| command. The \textit{id} parameter is now given inside parenthesis instead of curly braces and is optional.
    \item Added absolute positioning to \verb|\argument| command, like for \tikzname nodes.
    \item Added package option $\textsf{indexing}$ to toggle automatic generation of identifiers for created argument nodes. Can be set to \textit{none}, or selected between \textit{alphabetic} and \textit{numeric} (default).
    \item All package style options can now also be set locally in the \texttt{af} environment.
    \item Adjusted \verb|\annotatedattack| to require position parameter.
    \item Various minor bugfixes regarding the \textsf{namestyle} package option.
    \item Added new argumentstyle \textsf{large}.
\end{itemize}

\subsection*{[v1.1 2023/12/03]}
\begin{itemize}
    \item Adjusted standard styles.
    \item Added command for creating annotated attacks.
    \item Now only provides one environment, which can be parameterised.
    \item Changed option management to pgfkeys.
    \item Updated and improved documentation.
\end{itemize}

\subsection*{[v1.0 2023/11/05]}
\begin{itemize}
    \item First Version.
\end{itemize}

\end{document}
