Answer-Set Programming Encodings for Argumentation Frameworks

[1]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[2]  L. Amgoud,et al.  On bipolarity in argumentation frameworks , 2008 .

[3]  Stefan Woltran,et al.  Reasoning in Argumentation Frameworks Using Quantified Boolean Formulas , 2006, COMMA.

[4]  Georg Gottlob,et al.  Complexity and expressive power of logic programming , 2001, CSUR.

[5]  Trevor J. M. Bench-Capon,et al.  Argumentation in artificial intelligence , 2007, Artif. Intell..

[6]  Martin Caminada,et al.  Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks , 2008, JELIA.

[7]  Trevor J. M. Bench-Capon.  Persuasion in Practical Argument Using Value-based Argumentation Frameworks , 2003, J. Log. Comput..

[8]  Philippe Besnard,et al.  Checking the acceptability of a set of arguments , 2004, NMR.

[9]  Pierre Marquis,et al.  Symmetric Argumentation Frameworks , 2005, ECSQARU.

[10]  Ulises Cortés,et al.  Preferred extensions as stable models , 2008, Theory Pract. Log. Program..

[11]  Vladimir Lifschitz,et al.  Splitting a Logic Program , 1994, ICLP.

[12]  Trevor J. M. Bench-Capon,et al.  Coherence in finite argument systems , 2002, Artif. Intell..

[13]  Trevor J. M. Bench-Capon.  Value-based argumentation frameworks , 2002, NMR.

[14]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[15]  Thomas Eiter,et al.  Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications , 2004, Theory and Practice of Logic Programming.

[16]  Wolfgang Faber,et al.  The DLV system for knowledge representation and reasoning , 2002, TOCL.

[17]  C. Cayrol,et al.  On the Acceptability of Arguments in Bipolar Argumentation Frameworks , 2005, ECSQARU.

[18]  Georg Gottlob,et al.  Disjunctive datalog , 1997, TODS.

[19]  Paul E. Dunne,et al.  Semi-stable semantics , 2006, J. Log. Comput..

[20]  Pietro Baroni,et al.  A systematic classification of argumentation frameworks where semantics agree , 2008, COMMA.

[21]  Paolo Mancarella,et al.  Computing ideal sceptical argumentation , 2007, Artif. Intell..

[22]  Ilkka Niemelä,et al.  Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.

[23]  Yannis Dimopoulos,et al.  Graph theoretical structures in logic programs and default theories , 1996 .

[24]  Miroslaw Truszczynski,et al.  The First Answer Set Programming System Competition , 2007, LPNMR.