- Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory.Hannes Strass & Johannes Peter Wallner - 2015 - Artificial Intelligence 226 (C):34-74.details
|
|
|
Grounded fixpoints and their applications in knowledge representation.Bart Bogaerts, Joost Vennekens & Marc Denecker - 2015 - Artificial Intelligence 224 (C):51-71.details
|
|
|
Methods for solving reasoning problems in abstract argumentation – A survey.Günther Charwat, Wolfgang Dvořák, Sarah A. Gaggl, Johannes P. Wallner & Stefan Woltran - 2015 - Artificial Intelligence 220 (C):28-63.details
|
|
|
On the Input/Output behavior of argumentation frameworks.Pietro Baroni, Guido Boella, Federico Cerutti, Massimiliano Giacomin, Leendert van der Torre & Serena Villata - 2014 - Artificial Intelligence 217 (C):144-197.details
|
|
|
A general framework for sound assumption-based argumentation dialogues.Xiuyi Fan & Francesca Toni - 2014 - Artificial Intelligence 216 (C):20-54.details
|
|
|
FLP answer set semantics without circular justifications for general logic programs.Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner & Jun Deng - 2014 - Artificial Intelligence 213 (C):1-41.details
|
|
|
On topology-related properties of abstract argumentation semantics. A correction and extension to Dynamics of argumentation systems: A division-based method.Pietro Baroni, Massimiliano Giacomin & Beishui Liao - 2014 - Artificial Intelligence 212 (C):104-115.details
|
|
|
Complexity-sensitive decision procedures for abstract argumentation.Wolfgang Dvořák, Matti Järvisalo, Johannes Peter Wallner & Stefan Woltran - 2014 - Artificial Intelligence 206 (C):53-78.details
|
|
|
Algorithms for decision problems in argument systems under preferred semantics.Samer Nofal, Katie Atkinson & Paul E. Dunne - 2014 - Artificial Intelligence 207 (C):23-51.details
|
|
|
Approximating operators and semantics for abstract dialectical frameworks.Hannes Strass - 2013 - Artificial Intelligence 205 (C):39-70.details
|
|
|
Automata for infinite argumentation structures.Pietro Baroni, Federico Cerutti, Paul E. Dunne & Massimiliano Giacomin - 2013 - Artificial Intelligence 203 (C):104-150.details
|
|
|
Parametric properties of ideal semantics.Paul E. Dunne, Wolfgang Dvořák & Stefan Woltran - 2013 - Artificial Intelligence 202 (C):1-28.details
|
|
|
A general account of argumentation with preferences.Sanjay Modgil & Henry Prakken - 2013 - Artificial Intelligence 195 (C):361-397.details
|
|
|
A generalised framework for dispute derivations in assumption-based argumentation.Francesca Toni - 2013 - Artificial Intelligence 195 (C):1-43.details
|
|
|
Normal and strong expansion equivalence for argumentation frameworks.Ringo Baumann - 2012 - Artificial Intelligence 193 (C):18-44.details
|
|
|
A defeasible reasoning model of inductive concept learning from examples and communication.Santiago Ontañón, Pilar Dellunde, Lluís Godo & Enric Plaza - 2012 - Artificial Intelligence 193 (C):129-148.details
|
|
|
Augmenting tractable fragments of abstract argumentation.Wolfgang Dvořák, Sebastian Ordyniak & Stefan Szeider - 2012 - Artificial Intelligence 186 (C):157-173.details
|
|
|
Towards fixed-parameter tractable algorithms for abstract argumentation.Wolfgang Dvořák, Reinhard Pichler & Stefan Woltran - 2012 - Artificial Intelligence 186 (C):1-37.details
|
|
|
Dynamics of argumentation systems: A division-based method.Beishui Liao, Li Jin & Robert C. Koons - 2011 - Artificial Intelligence 175 (11):1790-1814.details
|
|
|
Characterizing strong equivalence for argumentation frameworks.Emilia Oikarinen & Stefan Woltran - 2011 - Artificial Intelligence 175 (14-15):1985-2009.details
|
|
|
Instantiating abstract argumentation with classical logic arguments: Postulates and properties.Nikos Gorogiannis & Anthony Hunter - 2011 - Artificial Intelligence 175 (9-10):1479-1497.details
|
|
|
Algorithms and complexity results for persuasive argumentation.Eun Jung Kim, Sebastian Ordyniak & Stefan Szeider - 2011 - Artificial Intelligence 175 (9-10):1722-1736.details
|
|
|
On the resolution-based family of abstract argumentation semantics and its grounded instance.P. Baroni, P. E. Dunne & M. Giacomin - 2011 - Artificial Intelligence 175 (3-4):791-813.details
|
|
|
A general framework for explaining the results of a multi-attribute preference model.Christophe Labreuche - 2011 - Artificial Intelligence 175 (7-8):1410-1448.details
|
|
|
Weighted argument systems: Basic definitions, algorithms, and complexity results.Paul E. Dunne, Anthony Hunter, Peter McBurney, Simon Parsons & Michael Wooldridge - 2011 - Artificial Intelligence 175 (2):457-486.details
|
|
|
Defeasible inheritance with doubt index and its axiomatic characterization.Erik Sandewall - 2010 - Artificial Intelligence 174 (18):1431-1459.details
|
|
|
Encoding deductive argumentation in quantified Boolean formulae.Philippe Besnard, Anthony Hunter & Stefan Woltran - 2009 - Artificial Intelligence 173 (15):1406-1423.details
|
|
|
The computational complexity of ideal semantics.Paul E. Dunne - 2009 - Artificial Intelligence 173 (18):1559-1591.details
|
|
|
Dialogue games that agents play within a society.Nishan C. Karunatillake, Nicholas R. Jennings, Iyad Rahwan & Peter McBurney - 2009 - Artificial Intelligence 173 (9-10):935-981.details
|
|
|
Reasoning about preferences in argumentation frameworks.Sanjay Modgil - 2009 - Artificial Intelligence 173 (9-10):901-934.details
|
|
|
Using arguments for making and explaining decisions.Leila Amgoud & Henri Prade - 2009 - Artificial Intelligence 173 (3-4):413-436.details
|
|
|
An executable specification of a formal argumentation protocol.Alexander Artikis, Marek Sergot & Jeremy Pitt - 2007 - Artificial Intelligence 171 (10-15):776-804.details
|
|
|
On principle-based evaluation of extension-based argumentation semantics.Pietro Baroni & Massimiliano Giacomin - 2007 - Artificial Intelligence 171 (10-15):675-700.details
|
|
|
On the merging of Dung's argumentation systems.Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex & Pierre Marquis - 2007 - Artificial Intelligence 171 (10-15):730-753.details
|
|
|
Computing ideal sceptical argumentation.P. M. Dung, P. Mancarella & F. Toni - 2007 - Artificial Intelligence 171 (10-15):642-674.details
|
|
|
An application of formal argumentation: Fusing Bayesian networks in multi-agent systems.Søren Holbech Nielsen & Simon Parsons - 2007 - Artificial Intelligence 171 (10-15):754-775.details
|
|
|
Subjective logic and arguing with evidence.Nir Oren, Timothy J. Norman & Alun Preece - 2007 - Artificial Intelligence 171 (10-15):838-854.details
|
|
|
Laying the foundations for a World Wide Argument Web.Iyad Rahwan, Fouad Zablith & Chris Reed - 2007 - Artificial Intelligence 171 (10-15):897-921.details
|
|
|
On the evaluation of argumentation formalisms.Martin Caminada & Leila Amgoud - 2007 - Artificial Intelligence 171 (5-6):286-310.details
|
|
|
Computational properties of argument systems satisfying graph-theoretic constraints.Paul E. Dunne - 2007 - Artificial Intelligence 171 (10-15):701-729.details
|
|
|
Audiences in argumentation frameworks.Trevor J. M. Bench-Capon, Sylvie Doutre & Paul E. Dunne - 2007 - Artificial Intelligence 171 (1):42-71.details
|
|
|
Dialectic proof procedures for assumption-based, admissible argumentation.P. M. Dung, R. A. Kowalski & F. Toni - 2006 - Artificial Intelligence 170 (2):114-159.details
|
|
|
SCC-recursiveness: a general schema for argumentation semantics.Pietro Baroni, Massimiliano Giacomin & Giovanni Guida - 2005 - Artificial Intelligence 168 (1-2):162-210.details
|
|
|
Self-stabilizing defeat status computation: dealing with conflict management in multi-agent systems.Pietro Baroni, Massimiliano Giacomin & Giovanni Guida - 2005 - Artificial Intelligence 165 (2):187-259.details
|
|
|
Artificial argument assistants for defeasible argumentation.Bart Verheij - 2003 - Artificial Intelligence 150 (1-2):291-324.details
|
|
|
Two party immediate response disputes: Properties and efficiency.Paul E. Dunne & T. J. M. Bench-Capon - 2003 - Artificial Intelligence 149 (2):221-250.details
|
|
|
Coherence in finite argument systems.Paul E. Dunne & T. J. M. Bench-Capon - 2002 - Artificial Intelligence 141 (1-2):187-203.details
|
|
|
Abstract argumentation systems.Gerard A. W. Vreeswijk - 1997 - Artificial Intelligence 90 (1-2):225-279.details
|
|
|
An abstract, argumentation-theoretic approach to default reasoning.A. Bondarenko, P. M. Dung, R. A. Kowalski & F. Toni - 1997 - Artificial Intelligence 93 (1-2):63-101.details
|
|
|
Reaching agreements through argumentation: a logical model and implementation.Sarit Kraus, Katia Sycara & Amir Evenchik - 1998 - Artificial Intelligence 104 (1-2):1-69.details
|
|
