An executable specification of a formal argumentation protocol
- 31 October 2007
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 171 (10-15) , 776-804
- https://doi.org/10.1016/j.artint.2007.04.008
Abstract
No abstract availableKeywords
This publication has 43 references indexed in Scilit:
- Formal systems for persuasion dialogueThe Knowledge Engineering Review, 2006
- Coherence and Flexibility in Dialogue Games for ArgumentationJournal of Logic and Computation, 2005
- Representing the Zoo World and the Traffic World in the language of the Causal CalculatorArtificial Intelligence, 2004
- Properties and Complexity of Some Formal Inter-agent DialoguesJournal of Logic and Computation, 2003
- Logical models of argumentACM Computing Surveys, 2000
- Law-governed interactionACM Transactions on Software Engineering and Methodology, 2000
- An abductive event calculus plannerThe Journal of Logic Programming, 2000
- On computational social laws for dynamic non-homogeneous social structures*Journal of Experimental & Theoretical Artificial Intelligence, 1995
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person gamesArtificial Intelligence, 1995
- A LOGIC OF ARGUMENTATION FOR REASONING UNDER UNCERTAINTYComputational Intelligence, 1995