- An executable specification of a formal argumentation protocol.Alexander Artikis, Marek Sergot & Jeremy Pitt - 2007 - Artificial Intelligence 171 (10-15):776-804.details
|
|
SCC-recursiveness: a general schema for argumentation semantics.Pietro Baroni, Massimiliano Giacomin & Giovanni Guida - 2005 - Artificial Intelligence 168 (1-2):162-210.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
|
|
Artificial argument assistants for defeasible argumentation.Bart Verheij - 2003 - Artificial Intelligence 150 (1-2):291-324.details
|
|
Coherence in finite argument systems.Paul E. Dunne & T. J. M. Bench-Capon - 2002 - Artificial Intelligence 141 (1-2):187-203.details
|
|
Default reasoning using classical logic.Rachel Ben-Eliyahu & Rina Dechter - 1996 - Artificial Intelligence 84 (1-2):113-150.details
|
|
Nonmonotonic reasoning, conditional objects and possibility theory.Salem Benferhat, Didier Dubois & Henri Prade - 1997 - Artificial Intelligence 92 (1-2):259-276.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
|
|
Persuasive argumentation in negotiation.Katia P. Sycara - 1990 - Theory and Decision 28 (3):203-242.details
|
|
Defeasible Reasoning.John L. Pollock - 1987 - Cognitive Science 11 (4):481-518.details
|
|
Arguments and cases: An inevitable intertwining. [REVIEW]David B. Skalak & Edwina L. Rissland - 1992 - Artificial Intelligence and Law 1 (1):3-44.details
|
|
(1 other version)Towards a formal account of reasoning about evidence: Argumentation schemes and generalisations. [REVIEW]Floris Bex, Henry Prakken, Chris Reed & Douglas Walton - 2003 - Artificial Intelligence and Law 11 (2-3):125-165.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
|
|
Computational properties of argument systems satisfying graph-theoretic constraints.Paul E. Dunne - 2007 - Artificial Intelligence 171 (10-15):701-729.details
|
|
Argument based machine learning.Martin Možina, Jure Žabkar & Ivan Bratko - 2007 - Artificial Intelligence 171 (10-15):922-937.details
|
|
Audiences in argumentation frameworks.Trevor J. M. Bench-Capon, Sylvie Doutre & Paul E. Dunne - 2007 - Artificial Intelligence 171 (1):42-71.details
|
|
Generating and evaluating evaluative arguments.Giuseppe Carenini & Johanna D. Moore - 2006 - Artificial Intelligence 170 (11):925-952.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
|
|
A mathematical treatment of defeasible reasoning and its implementation.Guillermo R. Simari & Ronald P. Loui - 1992 - Artificial Intelligence 53 (2-3):125-157.details
|
|
How to reason defeasibly.John L. Pollock - 1992 - Artificial Intelligence 57 (1):1-42.details
|
|
Abstract argumentation systems.Gerard A. W. Vreeswijk - 1997 - Artificial Intelligence 90 (1-2):225-279.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
|
|
Computational Representation of Practical Argument.Katie Atkinson, Trevor Bench-Capon & Peter McBurney - 2006 - Synthese 152 (2):157-206.details
|
|
E-motion: Moving Toward the Utilization of Artificial Emotion.Michael A. Gilbert & T. J. M. Bench-Capon - 2002 - Informal Logic 22 (3).details
|
|
Logical Models of Argument.Ronald Prescott Loui, Carlos Ivan Ches~Nevar & Ana Gabriela Maguitman - 2000 - ACM Computing Surveys 32 (4):337-383.details
|
|
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.details
|
|
Argument based machine learning applied to law.Martin Možina, Jure Žabkar, Trevor Bench-Capon & Ivan Bratko - 2005 - Artificial Intelligence and Law 13 (1):53-73.details
|
|
Rationales and argument moves.R. P. Loui & Jeff Norman - 1995 - Artificial Intelligence and Law 3 (3):159-189.details
|
|
The relative efficiency of propositional proof systems.Stephen A. Cook & Robert A. Reckhow - 1979 - Journal of Symbolic Logic 44 (1):36-50.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 computational complexity of assumption-based argumentation for default reasoning.Yannis Dimopoulos, Bernhard Nebel & Francesca Toni - 2002 - Artificial Intelligence 141 (1-2):57-78.details
|
|
On the complexity of choosing the branching literal in DPLL.Paolo Liberatore - 2000 - Artificial Intelligence 116 (1-2):315-326.details
|
|
(1 other version)Generation and evaluation of user tailored responses in multimodal dialogue.M. A. Walker, S. J. Whittaker, A. Stent, P. Maloor, J. Moore, M. Johnston & G. Vasireddy - 2004 - Cognitive Science 28 (5):811-840.details
|
|
Subjective logic and arguing with evidence.Nir Oren, Timothy J. Norman & Alun Preece - 2007 - Artificial Intelligence 171 (10-15):838-854.details
|
|
Law, learning and representation.Kevin D. Ashley & Edwina L. Rissland - 2003 - Artificial Intelligence 150 (1-2):17-58.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
|
|
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
|
|
(1 other version)The Carneades model of argument and burden of proof.Thomas F. Gordon, Henry Prakken & Douglas Walton - 2007 - Artificial Intelligence 171 (10-15):875-896.details
|
|
Nonmonotonic causal theories.Joohyung Lee, Vladimir Lifschitz & Hudson Turner - 2004 - Artificial Intelligence 153 (1-2):49-104.details
|
|
A Formal Model of Legal Argumentation.Giovanni Sartor - 1994 - Ratio Juris 7 (2):177-211.details
|
|
Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.details
|
|
Games that agents play: A formal framework for dialogues between autonomous agents. [REVIEW]Peter McBurney & Simon Parsons - 2002 - Journal of Logic, Language and Information 11 (3):315-334.details
|
|
On the evaluation of argumentation formalisms.Martin Caminada & Leila Amgoud - 2007 - Artificial Intelligence 171 (5-6):286-310.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
|
|
Practical reasoning as presumptive argumentation using action based alternating transition systems.Katie Atkinson & Trevor Bench-Capon - 2007 - Artificial Intelligence 171 (10-15):855-874.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
|
|
Negotiating using rewards.Sarvapali D. Ramchurn, Carles Sierra, Lluís Godo & Nicholas R. Jennings - 2007 - Artificial Intelligence 171 (10-15):805-837.details
|
|
More on non-cooperation in dialogue logic.D. Gabbay & J. Woods - 2001 - Logic Journal of the IGPL 9 (2):305-324.details
|
|
(1 other version)Towards a Formal Account of Reasoning about Evidence: Argumentation Schemes and Generalisations.Bex Floris, Prakken Henry, Reed Chris & Walton Douglas - 2003 - Artificial Intelligence and Law 11 (2-3):125-165.details
|
|