home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by drs. M.W.A. Caminada

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

drs. M.W.A. Caminada

• contact information
• my technical reports
• former member of group intelligent systems

some publications

Caminada, M. (2007). An Algorithm for Computing Semi-Stable Semantics. (UU-CS 2007-010). onbekend: UU WINFI Informatica en Informatiekunde.

Caminada, M. & Ben-Naim, J. (2007). Postulates for Paraconsistent Reasoning and Fault Tolerant Logic Programming. (UU-CS 2007-004). onbekend: UU WINFI Informatica en Informatiekunde.

Amgoud, L., Bodenstaff, L., Caminada, M., McBurney, P., Parsons, S., Prakken, H., Veenen, J. & Vreeswijk, G.A.W. (2006). Final Review and Report on Formal Argumentation System. : ASPIC Consortium.

Amgoud, L., Bodenstaff, L., Caminada, M., McBurney, S., Prakken, H., Veenen, J. & Vreeswijk, G.A.W. (2006). Final Review and Report on Formal Argumentation System. : ASPIC Consortium.

Caminada, M. & Sakama, Ch. (2006). On the Existance of Answer Sets in Normal Extended Logic Programs. In G. Brewka, S. Coradeschi, Perini A. & Traverso P. (Eds.), ECAI 2006, 17th European Conference on Artificial Intelligence (pp. 743-744). IOS Press.

Caminada, M. (2006). On the Issue of Reinstatement in Argumentation. onbekend: UU WINFI Informatica en Informatiekunde.

Caminada, M. (2006). On the Issue of reinstatement in Argumentation. In M. Fischer, W. van der Hoek, B. Konev & A. Lisitsa (Eds.), Logics in Artificial Intelligence; 10th European Conference, JELIA 2006 (pp. 111-123). Springer.

Caminada, M. (2006). Semi-Stable Semantics. In P.E. Dunne & TJ.M. Bench-Capon (Eds.), Computational Models of Argument; Proceedings of COMMA 2006 (pp. 121-130). IOS Press.

Caminada, M. (2006). Using Closed Sets of Rules for the Entailment of Literals. onbekend: UU WINFI Informatica en Informatiekunde.

Caminada, M. (2006). Well-founded semantics for semi-normal extended logic programs. In J Dix & A. Hunter (Eds.), Proceedings of the 11th International Workshop of Nonmonotonic Reasoning, special session on answer set programming (pp. 103-108).

Caminada, M. & Amgoud, L. (2005). An Axiomatic Account of Formal Argumentation. In Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI 2005). American Association for Artificial Intelligence.

Caminada, M. (2005). Collapse in formal argumentation systems. (UU-CS 2005-023). onbekend: UU WINFI Informatica en Informatiekunde.

Caminada, M. (2005). Contamination in Formal Argumentation Systems. In K. Verbeeck, K. Tuyls, A. Nowé, B. Manderick & B. Kuijpers (Eds.), Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2005). BNVKI.

Caminada, M. (2005). On the Issue of Reinstatement in Argumentation. (UU-CS 2005-045). onbekend: UU WINFI Informatica en Informatiekunde.

Amgoud, L., Caminada, M., Cayrol, C., Doutre, S., Lagasquie-Schiex, M.-C., Modgil, S., Prakken, H. & Vreeswijk, G.A.W. (2004). Argument-Based Inference. In J. Fox (Ed.), Theoretical Framework for Argumentation (pp. 3-46). ASPIC Consortium.

Caminada, M. (2004). Dialogues and HY-arguments. In Proceedings of the Tenth International Workshop on Nonmonotonic Reasoning. Whistler, Canada.

Fox, J., Caminada, M. & Modgil, S. (2004). From formal theory of argumentation to practical technologies. In J. Fox (Ed.), A Review of Methods for Prototyping and Testing ASPIC Technology (pp. 5-9). ASPIC Consortium.

Caminada, M., Doutre, S., McBurney, P., Modgil, S. & Bench-Capon, T. (2004). Implementations of argument-based dialogues. In J. Fox (Ed.), Review of Argumentation Technology: State of the Art, Technical and User requirements (pp. 22-28). ASPIC Consortium.

Caminada, M., Doutre, S., Modgil, S., Prakken, H. & Vreeswijk, G.A.W. (2004). Implementations of argument-based inference. In J. Fox (Ed.), Review of Argumentation Technology: State of the Art, Technical and User requirements (pp. 2-13). ASPIC Consortium.

Amgoud, L. & Caminada, M. (2004). Quality aspects. In J. Fox (Ed.), Draft Formal Semantics for Inference and Decision-Making (pp. 19-22). ASPIC Consortium.

Amgoud, L., Caminada, M., Cayrol, C., Doutre, S., Lagasquie-Schiex, M.-C., Prakken, H. & Vreeswijk, G.A.W. (2004). Towards a Consensual Formal Model: inference part. In J. Fox (Ed.), Draft Formal Semantics for Inference and Decision-Making (pp. 1-54). ASPIC Consortium.