- An abstract framework for argumentation with structured arguments.Henry Prakken - 2010 - Argument and Computation 1 (2):93-124.details
|
|
Justification and defeat.John L. Pollock - 1994 - Artificial Intelligence 67 (2):377-407.details
|
|
Non-cooperation in dialogue logic.Dov Gabbay & John Woods - 2001 - Synthese 127 (1-2):161 - 186.details
|
|
Audiences in argumentation frameworks.Trevor J. M. Bench-Capon, Sylvie Doutre & Paul E. Dunne - 2007 - Artificial Intelligence 171 (1):42-71.details
|
|
Answer-set programming encodings for argumentation frameworks.Uwe Egly, Sarah Alice Gaggl & Stefan Woltran - 2010 - Argument and Computation 1 (2):147-177.details
|
|
On completely recursively enumerable classes and their key arrays.H. G. Rice - 1956 - Journal of Symbolic Logic 21 (3):304-308.details
|
|
Effective coloration.Dwight R. Bean - 1976 - Journal of Symbolic Logic 41 (2):469-480.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
|
|
Instantiating abstract argumentation with classical logic arguments: Postulates and properties.Nikos Gorogiannis & Anthony Hunter - 2011 - Artificial Intelligence 175 (9-10):1479-1497.details
|
|
How to reason defeasibly.John L. Pollock - 1992 - Artificial Intelligence 57 (1):1-42.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
|
|
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games.Phan Minh Dung - 1995 - Artificial Intelligence 77 (2):321-357.details
|
|
Extending abstract argumentation systems theory.P. Baroni, M. Giacomin & G. Guida - 2000 - Artificial Intelligence 120 (2):251-270.details
|
|
Perceiving and reasoning about a changing world.John Pollock - unknowndetails
|
|
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
|
|
Reasoning about preferences in argumentation frameworks.Sanjay Modgil - 2009 - Artificial Intelligence 173 (9-10):901-934.details
|
|
A mathematical treatment of defeasible reasoning and its implementation.Guillermo R. Simari & Ronald P. Loui - 1992 - Artificial Intelligence 53 (2-3):125-157.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 informal exposition of proofs of gödel's theorems and church's theorem.Barkley Rosser - 1939 - Journal of Symbolic Logic 4 (2):53-60.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
|
|
More on non-cooperation in dialogue logic.D. Gabbay & J. Woods - 2001 - Logic Journal of the IGPL 9 (2):305-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
|
|
The computational complexity of ideal semantics.Paul E. Dunne - 2009 - Artificial Intelligence 173 (18):1559-1591.details
|
|
Reasoning with infinite stable models.Piero A. Bonatti - 2004 - Artificial Intelligence 156 (1):75-111.details
|
|
Erratum to: Reasoning with infinite stable models [Artificial Intelligence 156 (1) (2004) 75–111].Piero A. Bonatti - 2008 - Artificial Intelligence 172 (15):1833-1835.details
|
|
On the existence of semi-stable extensions.Martin Caminada & Bart Verheij - unknowndetails
|
|