Abstract Dialectical Frameworks. An Overview.

Dialectical Frameworks. An Overview Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass Leipzig University, Germany {brewka,ellmauthaler,strass}@informatik.uni-leipzig.de Johannes P. Wallner, Stefan Woltran Vienna University of Technology, Austria {wallner,woltran}@dbai.tuwien.ac.at

[1]  K. Menninger.  Law , 1984, Encyclopedia of Autism Spectrum Disorders.

[2]  Armin Biere,et al.  DepQBF: A Dependency-Aware QBF Solver , 2010, J. Satisf. Boolean Model. Comput..

[3]  Hannes Strass,et al.  The DIAMOND System for Argumentation: Preliminary Report , 2013, ArXiv.

[4]  Hannes Strass,et al.  A Uniform Account of Realizability in Abstract Argumentation , 2016, ECAI.

[5]  Jose M. Such,et al.  International Joint Conference on Artificial Intelligence (IJCAI) , 2016 .

[6]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[7]  Martin Diller,et al.  Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas , 2014, COMMA.

[8]  Gerhard Brewka,et al.  Carneades and Abstract Dialectical Frameworks: A Reconstruction , 2010, COMMA.

[9]  Marius Thomas Lindauer,et al.  Potassco: The Potsdam Answer Set Solving Collection , 2011, AI Commun..

[10]  Michael Wooldridge,et al.  Weighted argument systems: Basic definitions, algorithms, and complexity results , 2011, Artif. Intell..

[11]  Nir Oren,et al.  Semantics for Evidence-Based Argumentation , 2008, COMMA.

[12]  Hannes Strass,et al.  DIAMOND 3.0 - A Native C++ Implementation of DIAMOND , 2016, COMMA.

[13]  A. Karimi,et al.  Master‟s thesis , 2011 .

[14]  S. Griffis.  EDITOR , 1997, Journal of Navigation.

[15]  Jeroen Keppens,et al.  Proceedings of the 9th International Conference on Artificial Intelligence and Law , 2003 .

[16]  Jeffrey M. Bradshaw,et al.  Ieee Intelligent Systems Kinds of Systems? , 2009 .

[17]  Mario Alviano,et al.  Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective , 2015, IJCAI.

[18]  Hannes Strass,et al.  On the number of bipolar Boolean functions , 2017, J. Log. Comput..

[19]  Claudette Cayrol,et al.  Bipolarity in argumentation graphs: Towards a better understanding , 2013, Int. J. Approx. Reason..

[20]  Pietro Baroni,et al.  AFRA: Argumentation framework with recursive attacks , 2011, Int. J. Approx. Reason..

[21]  G. Miller,et al.  Cognitive science. , 1981, Science.

[22]  Simon Parsons,et al.  A Generalization of Dung's Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments , 2006, ArgMAS.

[23]  Henry Prakken,et al.  The Carneades model of argument and burden of proof , 2007, Artif. Intell..

[24]  Farid Nouioua.  AFs with Necessities: Further Semantics and Labelling Characterization , 2013, SUM.

[25]  Jörg Pührer.  ArgueApply: A Mobile App for Argumentation , 2017, LPNMR.

[26]  F. Pfenning.  Theory and Practice of Logic Programming , 2014 .

[27]  Stefan Woltran,et al.  GRAPPA: A Semantical Framework for Graph-Based Argument Processing , 2014, ECAI.

[28]  Trevor J. M. Bench-Capon,et al.  On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks , 2013, CLIMA.