Martin Caminada's Homepage

Publications

The publication list below contains only the publications since I finished my PhD thesis (2004)

Journal Articles

M.W.A. Caminada and Dov M. Gabbay. A Logical Account of Formal Argumentation. Studia Logica 93(2-3):109-145 (2009)
The original publication is available on www.springerlink.com (DOI: 10.1007/s11225-009-9218-x)
Y. Wu, M.W.A. Caminada and Dov Gabbay. Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming. Studia Logica 93(2-3):383-403 (2009)
The original publication is available on www.springerlink.com (DOI: 10.1007/s11225-009-9210-5)
M.W.A. Caminada and G. Pigozzi. On Judgment Aggregation in Abstract Argumentation. JAAMAS special issue on Computational Social Choice (to appear).
The original publication is available at www.springerlink.com (DOI: 10.1007/s10458-009-9116-7)
M.W.A. Caminada and Y. Wu. An Argument Game for Stable Semantics. Logic Journal of the IGPL 17(1):77-90 (2009)
M.W.A. Caminada. A formal account of Socratic-style argumentation. Journal of Applied Logic 6(1):109-132 (2008)
M.W.A. Caminada and L. Amgoud. On the evaluation of argumentation formalisms. Artificial Intelligence 171(5-6):286-310 (2007)

Book Chapters

S. Modgil and M.W.A. Caminada. Proof Theories and Algorithms for Abstract Argumentation Frameworks book chapter in I. Rahwan and G. Simari (eds.) Argumentation in Artificial Intelligence

Conference and Workshop Papers

Y. Wu and M.W.A. Caminada. Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming. BNAIC 2009, pages 51-57.
M.W.A. Caminada. Truth, Lies and BS; distinguishing classes of dishonesty. BNAIC 2009, pages 301-302 (short paper).
E. Staab and M.W.A. Caminada. Simulating Knowledge and Dishonesty in a Client-Consultant Setting. BNAIC 2009, pages 397-398 (demonstrator).
M.W.A. Caminada. Truth, Lies and Bullshit; distinguishing classes of dishonesty. Proceedings SS@IJCAI 2009 (Workshop on Social Simulation) pages 39-50.
P. Barbini, Yining Wu and Martin Caminada. An Implementation of Argument Based Discussion. AAMAS 2009. (demonstrator, see the homepage of Yining Wu for sources and executable)
M.W.A. Caminada and Y. Wu. Towards an Argument Game for Stable Semantics. CMNA 2008.
P.E. Dunne and M.W.A. Caminada. Computational Complexity of Semi-Stable Semantics in Abstract Argumentation Frameworks. JELIA 2008, pages 153-165.
M.W.A. Caminada. On the Issue of Contraposition of Defeasible Rules. COMMA 2008, pages 109-115.
M.W.A. Caminada. Comparing Two Unique Extension Semantics for Formal Argumentation: Ideal and Eager BNAIC 2007, pages 81-87.
M.W.A. Caminada. An Algorithm for Computing Semi-Stable Semantics. ECSQARU 2007, pages 222-234.
M.W.A. Caminada and Ch. Sakama. On the Existence of Answer Sets in Normal Extended Logic Programs. NRAC 2007.
M.W.A. Caminada. The Formalization of Socratic Dialogue. Proceedings of the Sixth Conference of the International Society for the Study of Argumentation (ISSA), pages 201-205 (2007)
M.W.A. Caminada. On the Issue of Reinstatement in Argumentation. JELIA 2006, pages 111-123.
M.W.A. Caminada. Semi-Stable Semantics COMMA 2006, pages 121-130.
M.W.A. Caminada and Ch. Sakama. On the Existance of Answer Sets in Normal Extended Logic Programs. ECAI 2006, pages 743-744 (short paper)
M.W.A. Caminada. Well-Founded semantics for Semi-Normal Extended Logic Programs. NMR 2006, pages 103-108.
M.W.A. Caminada. Contamination in Formal Argumentation Systems. BNAIC 2005), pages 59-65
M.W.A. Caminada and L. Amgoud. An Axiomatic Account of Formal Argumentation. Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05). Pittsburgh PA, pages 608-613 (2005)
M.W.A. Caminada. Dialogues and HY-arguments International Workshop on Nonmonotonic Reasoning (NMR2004); Argument Dialogue and Decision. Whistler BC, Canada (2004)

Technical Reports

E. Staab and M.W.A. Caminada. Assessing the Impact of Informedness on a Consultant's Profit. University of Luxembourg. ISBN 978-2-87971-027-3
M.W.A. Caminada. An Algorithm for Computing Semi-Stable Semantics. Technical Report UU-CS-2007-010, Utrecht University (2007)
M.W.A. Caminada and Jonathan Ben-Naim. Postulates for Paraconsistent Reasoning and Fault Tolerant Logic Programming. Technical Report UU-CS-2007-004, Utrecht University (2007)
M.W.A. Caminada. On the Issue of Reinstatement in Argumentation. Technical Report UU-CS-2006-023, Utrecht University (2006)
M.W.A. Caminada. Collapse in Formal Argumentation Systems. Technical report UU-CS-2005-023. Utrecht University (2005)
M.W.A. Caminada and L. Amgoud. An axiomatic account of formal argumentation. Technical report (2005)

Other Publications

M.W.A. Caminada. An Introduction to Formal Argumentation. Tutorial IJCAI 2009. (similar lectures were given also at EASSS 2006, EASSS 2007 and ESSLLI 2007)
M.W.A. Caminada. A Gentle Introduction to Argumentation Semantics. (lecture material)
M.W.A. Caminada. For the Sake of the Argument; explorations into argument-based reasoning. PhD thesis Vrije Universiteit Amsterdam (2004)