Answer-set programming encodings for argumentation frameworks

Argument and Computation

Volumn 1, Issue 2, 2010, Pages 147-177

  Egly, Uwe ^a   Alice Gaggl, Sarah ^a   Woltran, Stefan ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

abstract argumentation frameworks; answer set programming; implementation

Indexed keywords

ABSTRACT ARGUMENTATION; ANSWER SET; ANSWER-SET PROGRAMMING; ARGUMENTATION FRAMEWORKS; ARGUMENTATION SYSTEMS; DATA INTEGRATION; DECLARATIVE PROGRAMMING; ENCODINGS; IMPLEMENTATION; LOGIC PROGRAMS; PRACTICAL IMPORTANCE;

ABSTRACTING; COMPUTATIONAL COMPLEXITY; GRAPH THEORY; LOGIC PROGRAMMING;

ENCODING (SYMBOLS);

EID: 79956319649     PISSN: 19462166     EISSN: 19462174     Source Type: Journal    
DOI: 10.1080/19462166.2010.486479     Document Type: Article

References (47)

1. Amgoud, L., and Cayrol, C. (2002), 'AReasoning Model Based on the Production of AcceptableArguments', Annals of Mathematics and Artificial Intelligence, 34, 197-215. (Pubitemid 37133007)
2. Amgoud, L., andVesic, S. (2009), 'Repairing Preference-BasedArgumentation Frameworks', in Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 665-670.
3. Amgoud, L., Cayrol, C., Lagasquie-Schiex, M.C., and Livet, P. (2008), 'On Bipolarity in Argumentation Frameworks', International Journal of Intelligent Systems, 23, 1-32.
4. Apt, K.R., Blair, H.A., andWalker,A. (1988), 'Towards a Theory of Declarative Knowledge', in Foundations of Deductive Databases and Logic Programming, ed. J. Minker, Morgan Kaufmann Publishers, Inc., pp. 89-148.
5. Baroni, P., and Giacomin, M. (2008a), 'Resolution-based Argumentation Semantics', in Proceedings of the 2nd Conference on Computational Models of Argument (COMMA2008), eds. P. Besnard, S. Doutre, and A. Hunter,Vol. 172 of Frontiers in Artificial Intelligence and Applications, Toulouse, France: IOS Press, pp. 25-36.
6. Baroni, P., and Giacomin, M. (2008b), 'A Systematic Classification of Argumentation Frameworks Where Semantics Agree', in Proceedings of the 2nd Conference on Computational Models of Argument (COMMA2008), eds. P. Besnard, S. Doutre, andA. Hunter,Vol. 172 of Frontiers in Artificial Intelligence and Applications, Toulouse, France: IOS Press, pp. 37-48.
7. Baroni, P., Giacomin, M., and Guida, G. (2005), 'SCC-Recursiveness:A General Schema for Argumentation Semantics', Artificial Intelligence, 168, 162-210. (Pubitemid 41338774)
8. Bench-Capon, T.J.M. (2002), 'Value-based Argumentation Frameworks', in Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), eds. S. Benferhat and E. Giunchiglia, Toulouse, France, pp. 443-454.
9. Bench-Capon, T.J.M. (2003), 'Persuasion in Practical Argument Using Value-based Argumentation Frameworks', Journal of Logic and Computation, 13, 429-448.
10. Bench-Capon, T.J.M., and Dunne, P.E. (2007), 'Argumentation in Artificial Intelligence', Artificial Intelligence, 171, 619-641. (Pubitemid 47285079)
11. Besnard, P., and Doutre, S. (2004), 'Checking the Acceptability of a Set of Arguments', in Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), eds. J.P. Delgrande and T. Schaub, Whistler, Canada, pp. 59-64.
12. Besnard, P., and Hunter,A. (2001), 'A Logic-based Theory of Deductive Arguments', Artificial Intelligence, 128, 203-235. (Pubitemid 32421514)
13. Besnard, P., Hunter, A., andWoltran, S. (2009), 'Encoding Deductive Argumentation in Quantified Boolean Formulae', Artificial Intelligence, 173, 1406-1423.
14. Caminada, M. (2006), 'Semi-Stable Semantics', in Proceedings of the 1st Conference on Computational Models of Argument (COMMA 2006), eds. P.E. Dunne and T.J.M. Bench-Capon, Vol. 144 of Frontiers in Artificial Intelligence and Applications, Liverpool, UK: IOS Press, pp. 121-130.
15. Cartwright, D., and Atkinson, K. (2008), 'Political Engagement Through Tools for Argumentation', in Proceedings of the 2nd Conference on Computational Models of Argument (COMMA2008), eds. P. Besnard, S. Doutre, and A. Hunter, Vol. 172 of Frontiers in Artificial Intelligence and Applications, Toulouse, France: IOS Press, pp. 116-127.
16. Cayrol, C., and Lagasquie-Schiex, M.C. (2005), 'On theAcceptability ofArguments in BipolarArgumentation Frameworks', in Proceedings of the 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2005), ed. L. Godo, Vol. 3571 of LNCS, Barcelona, Spain: Springer, pp. 378-389.
17. Coste-Marquis, S., Devred, C., and Marquis, P. (2005), 'Symmetric Argumentation Frameworks', in Proceedings of the 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2005), ed. L. Godo, Vol. 3571 of LNCS, Barcelona, Spain: Springer, pp. 317-328.
18. Dantsin, E., Eiter, T., Gottlob, G., and Voronkov, A. (2001), 'Complexity and Expressive Power of Logic Programming', ACM Computing Surveys, 33, 374-425. (Pubitemid 33768487)
19. Dimopoulos, Y., and Torres, A. (1996), 'Graph Theoretical Structures in Logic Programs and Default Theories', Theoretical Computer Science, 170, 209-244. (Pubitemid 126411634)
20. Dung, P.M. (1995), 'On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games', Artificial Intelligence, 77, 321-358.
21. Dung, P.M., Mancarella, P., and Toni, F. (2007), 'Computing Ideal Sceptical Argumentation', Artificial Intelligence, 171, 642-674. (Pubitemid 47285080)
22. Dunne, P.E., and Bench-Capon, T.J.M. (2002), 'Coherence in Finite Argument Systems', Artificial Intelligence, 141, 187-203.
23. Dunne, P.E., and Bench-Capon, T.J.M. (2004), 'Complexity inValue-Based Argument Systems', in Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), eds. J.J. Alferes and J.A. Leite, Vol. 3229 of LNCS, Lisbon, Portugal: Springer, pp. 360-371.
24. Dunne, P.E., and Caminada, M. (2008), 'Computational Complexity of Semi-Stable Semantics in Abstract Argumentation Frameworks', in Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA 2008), eds. S. Hölldobler, C. Lutz, and H.Wansing, Vol. 5293 of LNCS, Dresden, Germany: Springer, pp. 153-165.
25. Dvorák, W., and Woltran, S. (2009), 'Technical Note: Complexity of Stage Semantics in Argumentation Frameworks', Technical Report DBAI-TR-2009-66, Technische Universität Wien, Database and Artificial Intelligence Group.
26. Efstathiou, V., and Hunter, A. (2008), 'Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach', in Proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems, (FoIKS 2008), eds. S. Hartmann and G. Kern-Isberner, February, Vol. 4932 of Lecture Notes in Computer Science, Pisa, Italy: Springer, pp. 272-290.
27. Egly, U., and Woltran, S. (2006), 'Reasoning in Argumentation Frameworks Using Quantified Boolean Formulas', in Proceedings of the 1st Conference on Computational Models of Argument (COMMA 2006), eds. P.E. Dunne and T.J.M. Bench-Capon, Vol. 144 of Frontiers in Artificial Intelligence and Applications, Liverpool, UK: IOS Press, pp. 133-144.
28. Eiter, T., and Polleres, A. (2006), 'Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications', Theory and Practice of Logic Programming, 6, 23-60. (Pubitemid 43170521)
29. Eiter,T., Gottlob, G., and Mannila, H. (1997), 'Disjunctive Datalog',ACMTransactions on Database Systems, 22, 364-418. (Pubitemid 127483103)
30. Faber,W., andWoltran, S. (2009), 'Manifold Answer-Set Programs for Meta-Reasoning', in Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), eds. E. Erdem, F. Lin, and T. Schaub, Vol. 5753 of LNCS, Potsdam, Germany: Springer, pp. 115-128.
31. Gaertner, D., and Toni, F. (2007), 'CaSAPI -A System for Credulous and Sceptical Argumentation', in Proceedings of the First InternationalWorkshop on Argumentation and Nonmonotonic Reasoning (ArgNMR 2007), eds. G.R. Simari and P. Torroni, May, Arizona, pp. 80-95.
32. Gebser, M., Liu, L., Namasivayam, G., Neumann, A., Schaub, T., and Truszczýnski, M. (2007), 'The First Answer Set Programming System Competition', in Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007), eds. C. Baral, G. Brewka, and J.S. Schlipf, Vol. 4483 of LNCS, Tempe, AZ, USA: Springer, pp. 3-17
33. Gelfond, M., and Lifschitz, V. (1991), 'Classical Negation in Logic Programs and Disjunctive Databases', New Generation Computing, 9, 365-386.
34. Leone, N., Pfeifer, G., Faber,W., Eiter,T., Gottlob, G., Perri, S., and Scarcello, F. (2006), 'TheDLVSystem for Knowledge Representation and Reasoning', ACM Transactions on Computational Logic, 7, 499-562. (Pubitemid 44330485)
35. Lifschitz, V., and Turner, H. (1994), 'Splitting a Logic Program', in Proceedings of the 11th International Conference on Logic Programming (ICLP'94), Santa Margherita Ligure, Italy: MIT Press, pp. 23-37.
36. Modgil, S. (2009), 'Reasoning about Preferences inArgumentation Frameworks', Artificial Intelligence, 173, 901-934.
37. Niemelä, I. (1999), 'Logic Programming with Stable Model Semantics as a Constraint Programming Paradigm', Annals of Mathematics and Artificial Intelligence, 25, 241-273.
38. Nieves, J.C., Osorio, M., and Cortés, U. (2008), 'Preferred Extensions as Stable Models', Theory and Practice of Logic Programming, 8, 527-543.
39. Nieves, J.C., Osorio, M., and Zepeda, C. (2009), 'Expressing Extension-Based Semantics Based on Stratified Minimal Models', in Proceedings of the 16th InternationalWorkshop on Logic, Language, Information and Computation, (WoLLIC 2009), eds. H. Ono, M. Kanazawa, and R.J.G.B. de Queiroz, Vol. 5514 of LNCS, Tokyo, Japan: Springer, pp. 305-319.
40. Osorio, M., Zepeda, C., Nieves, J.C., and Cortés, U. (2005), 'Inferring Acceptable Arguments with Answer Set Programming', in Proceedings of the 6th Mexican International Conference on Computer Science (ENC 2005), Puebla, Mexico: IEEE Computer Society, pp. 198-205. (Pubitemid 46415602)
41. Reed, C., and Rowe, G. (2004), 'Araucaria: Software for Argument Analysis, Diagramming and Representation', International Journal on Artificial Intelligence Tools (IJAIT), 13, 961-979.
42. South, M., Vreeswijk, G., and Fox, J. (2008), 'Dungine: A Java Dung Reasoner', in Proceedings of the 2nd Conference on Computational Models of Argument (COMMA 2008), eds. P. Besnard, S. Doutre, and A. Hunter, Vol. 172 of Frontiers in Artificial Intelligence and Applications, Toulouse, France: IOS Press, pp. 360-368.
43. van Emden, M., and Kowalski, R. (1976), 'The Semantics of Predicate Logic as a Programming Language', Journal of the ACM, 23, 733-742.
44. Verheij, B. (2007), 'A Labeling Approach to the Computation of Credulous Acceptance in Argumentation', in Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), ed. M.M. Veloso, Hyderabad, India: AAAI Press, pp. 623-628.
45. Visser, W. (2008), 'Implementation of Argument-Based Practical Reasoning', Master's thesis, Utrecht University.
46. Vreeswijk, G. (2006), 'An Algorithm to Compute Minimally Grounded and Admissible Defence Sets in Argument Systems', in Proceedings of the 1st Conference on Computational Models of Argument (COMMA2006), eds. P.E. Dunne andT.J.M. Bench-Capon,Vol. 144 ofFrontiers in Artificial Intelligence and Applications, Liverpool, UK: IOS Press, pp. 109-120.
47. Wakaki, T., and Nitta, K. (2008), 'Computing Argumentation Semantics in Answer Set Programming', in New Frontiers in Artificial Intelligence (JSAI 2008), Conference and Workshops, eds. H. Hattori, T. Kawamura, T. Idé, M. Yokoo, and Y. Murakami, Vol. 5447 of LNCS, Asahikawa, Japan: Springer, pp. 254-269.