Paper published in a book (Scientific congresses, symposiums and conference proceedings)
A Logic of Abstract Argumentation
Boella, Guido; Hulstijn, J.; VAN DER TORRE, Leon
2006 • In Argumentation in Multi-Agent Systems, Second International Workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised Selected and Invited Papers
[en] In this paper we introduce a logic of abstract argumentation capturing Dung’s theory of abstract argumentation, based on connectives for attack and defend. We extend it to a modal logic of abstract argumentation to generalize Dung’s theory and define variants of it. Moreover, we use the logic to relate Dung’s theory of abstract argumentation to more traditional conditional and comparative formalisms, and we illustrate how to reason about arguments in meta-argumentation
Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2009-113
Author, co-author :
Boella, Guido
Hulstijn, J.
VAN DER TORRE, Leon ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
A Logic of Abstract Argumentation
Publication date :
2006
Event name :
Argumentation in Multi-Agent Systems, Second International Workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised Selected and Invited Papers
Event date :
2006
Main work title :
Argumentation in Multi-Agent Systems, Second International Workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised Selected and Invited Papers
P. Besnard and S. Doutre. Checking the acceptability of a set of arguments. In Procs. of NMR04, pages 59-64, 2004.
A. Bochman. Collective argumentation and disjunctive logic programming. Journal of Logic and Computation, 13:405-428, 2003.
A. Bochman. A causal approach to nonmonotonic reasoning. Artificial Intelligence, 160(1-2): 105-143, 2004.
A. Bochman. A causal logic of logic programming. In Procs. of KR 2004, pages 427-437, 2004.
A. Bochman. Propositional argumentation and causal reasoning. In Procs. of IJCAI95, pages 388-393, 2005.
A. Bondarenko, P. Dung, R. Kowalski, and F. Toni. An abstract, argumentation based approach to default reasoning, Artificial Intelligence, 93(1-2):63-101, 1997.
P. Dung. On the acceptability of arguments and its fundamental role in non-monotonic reasoning, logic programming and n-person games. Artificial Intelligence, 76:321-358, 1995.
E. Hemaspaandra. The price of universality. Notre Dame Journal of Formal Logic, 37(2): 174-203, 1996.
J. Horty. Argument construction and reinsiatement in logics for defeasible reasoning. Artificial Intelligence and Law, 9:1-28, 2001.
D. Makinson and L. van der Torre. Input-output logics. Journal of Philosophical Logic, 29:383-408, 2000.
D. Makinson and L. van der Torre. Constraints for input-output logics. Journal of Philosophical Logic, 30(2): 155-185, 2001.
S. D. Parsons, C. Sierra, and N. R. Jennings. Agents that reason and negotiate by arguing. Journal of Logic and Computation, 8(3):261-292, 1998.
H. Prakken and G. Sartor. Modelling reasoning with precedents in a formal dialogue game. Artificial Intelligence and Law, 6:231-287, 1998.
H. Prakken and G. Vreeswijk. Logics for defeasible argumentation. In D. Gabbay and F. Guenthner, editors, Handbook of philosophical logic, pages 218-319. Kluwer, Dordrecht, 2002.
B. Verheij. Accrual of arguments in defeasible argumentation. In Proceedings of the Second Dutch/German Workshop on Nonmonotonic Reasoning, pages 217-224, 1995.
Georg Henrik Von Wright. The Logic of Preference: an Essay. Edinburgh University Press, 1963.
C. Wallon. Model checking agent dialogues. In Proceedings of DALT'04, LNCS, pages 132-147. Springer, 2005.
M. Wooldridge, P. McBurney, and S. Parsons. On the meta-logic of arguments. In Proceedings of AAMAS'05, pages 560-567, 2005.
