- Complexity of logic-based argumentation in Post's framework.Nadia Creignou, Johannes Schmidt, Michael Thomas & Stefan Woltran - 2011 - Argument and Computation 2 (2-3):107 - 129.details
|
|
(2 other versions)Logic for Problem Solving.Donald W. Loveland - 1982 - Journal of Symbolic Logic 47 (2):477-478.details
|
|
Instantiating abstract argumentation with classical logic arguments: Postulates and properties.Nikos Gorogiannis & Anthony Hunter - 2011 - Artificial Intelligence 175 (9-10):1479-1497.details
|
|
On principle-based evaluation of extension-based argumentation semantics.Pietro Baroni & Massimiliano Giacomin - 2007 - Artificial Intelligence 171 (10-15):675-700.details
|
|
How to reason defeasibly.John L. Pollock - 1992 - Artificial Intelligence 57 (1):1-42.details
|
|
Defeasible Reasoning.John L. Pollock - 1987 - Cognitive Science 11 (4):481-518.details
|
|
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.details
|
|
Dynamics of argumentation systems: A division-based method.Beishui Liao, Li Jin & Robert C. Koons - 2011 - Artificial Intelligence 175 (11):1790-1814.details
|
|
Logic for Problem Solving.Donald W. Loveland - 1979 - Ediciones Díaz de Santos.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
|
|
Encoding deductive argumentation in quantified Boolean formulae.Philippe Besnard, Anthony Hunter & Stefan Woltran - 2009 - Artificial Intelligence 173 (15):1406-1423.details
|
|
A logic-based theory of deductive arguments☆☆This is an extended version of a paper entitled “Towards a logic-based theory of argumentation” published in the Proceedings of the National Conference on Artificial Intelligence (AAAI'2000), Austin, TX, MIT Press, Cambridge, MA, 2000. [REVIEW]Philippe Besnard & Anthony Hunter - 2001 - Artificial Intelligence 128 (1-2):203-235.details
|
|
Elements of Argumentation.Philippe Besnard & Anthony Hunter - 2009 - Studia Logica 93 (1):97-103.details
|
|