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 Nofal | 1 | 54 | 4.85 |
Katie Atkinson | 2 | 849 | 77.06 |
Paul E. Dunne | 3 | 1700 | 112.42 |