Title
On checking skeptical and ideal admissibility in abstract argumentation frameworks
Abstract
Abstract argumentation frameworks (afs) are directed graphs with vertices being abstract arguments and edges denoting the attacks between them. Within the context of afs, we implement and evaluate an algorithm for two essential computational problems: checking skeptical and ideal admissibility. We evaluate the implemented algorithms using a widely-known benchmark. In terms of the number of solved problem instances and the average running time, our implementation outperforms two prominent systems.
Year
DOI
Venue
2019
10.1016/j.ipl.2019.03.013
Information Processing Letters
Keywords
Field
DocType
Algorithms,Argumentation graph,Argumentation semantics
Discrete mathematics,Computational problem,Vertex (geometry),Argumentation theory,Directed graph,Theoretical computer science,Skepticism,Mathematics
Journal
Volume
ISSN
Citations 
148
0020-0190
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Samer Nofal1544.85
Katie Atkinson284977.06
Paul E. Dunne31700112.42