Skip to content

Dr Martin Caminada

Lecturer

School of Computer Science and Informatics

Email:
caminadam@cardiff.ac.uk
Telephone:
+44 (0)29 2087 0109
Location:
WX/3.06, Queen's Buildings - West Building Extension, 5 The Parade, Newport Road, Cardiff, CF24 3AA
Available for postgraduate supervision

Having (co-)authored four book chapters and numerous research papers, I am one of the key players in the field of Computational Argumentation, which aims to allow computers to make inferences based on possibly incomplete and conflicting information, in a way not dissimilar to how humans would reason. My work on argumentation semantics and rationality postulates is nowadays used by various other researchers as the basis of their work.

Cardiff University
School of Computer Science and Informatics
lecturer
since September 2015

University of Aberdeen
School of Natural and Computing Sciences
research fellow
September 2012 - September 2015

Université du Luxembourg
Computer Science and Communication Research Unit
research fellow
August 2007 - July 2012

Universiteit Utrecht
Intelligent Systems Group
research fellow
February 2004 - April 2007

Vrije Universiteit Amsterdam
Department of Computer Science and Mathematics
PhD student (salaried position)
March 1998 - August 2003

Honours and awards

Thesis Award (best Dutch computer science MSc thesis of 1998/1999) of Dutch Society of IT Professionals (www.ngi.nl)

Speaking engagements

  • A Brief Introduction to Formal Argumentation Theory
    Tutorial at EASSS (Barcelona, 2015)
  • A Brief Overview of Formal Argumentation
    Invited talk at Jurisin (Yokohama, 2013)
  • Argumentation as Inference vs Argumentation as Dialogue
    Invited talk at the Dagstuhl Seminar on Argumentation and Belief Revision (Schloß Dagstuhl, 2013)
  • Logical Definitions of Lying and Other Dishonest Attitudes
    Invited talk at The Logic and Culture of Lying symposium (Universität Regensburg, 2012)
  • Introduction to Formal Argumentation
    Tutorial at IJCAI (Pasadena, 2009)
  • Introduction to Formal Argumentation
    Tutorial at ESSLLI (Dublin, 2007)
  • Argumentation in Agent Systems
    Tutorial (together with Henry Prakken) at EASSS (Durham, 2007)
  • Nonmonotonic Reasoning and Argumentation for Agent Systems
    Tutorial (together with Henry Prakken) at EASSS (Annecy, 2006)

Committees and reviewing

  • COMMA 2018
    7th International Conference on Computational Models of Argument
  • IJCAI-ECAI 2018
    27th International Joint Conference on Artificial Intelligence
  • IJCAI 2017
    26th International Joint Conference on Artificial Intelligence
  • AAAI 2017
    31st AAAI Conference on Artificial Intelligence
  • TAFA 2017
    The 2017 International Workshop on Theory and Applications of Formal Argument
  • COMMA 2016
    6th International Conference on Computational Models of Argument
  • CAF 2016
    Cardiff Argumentation Forum 2016
  • IJCAI 2015
    24th International Joint Conference on Artificial Intelligence
  • AAA 2015
    2nd International Workshop on Argument for Agreement and Assurance
  • BNAIC 2015
    27th Benelux Conference on Artificial Intelligence
  • TAFA 2015
    The 2015 International Workshop on Theory and Applications of Formal Argument
  • ArgLP 2015
    First International Workshop on Argumentation and Logic Programming
  • IJCAI2015-PSC
    IJCAI 2015 workshop - Platforms for Social Computing
  • ECSQARU 2015
    Thirteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
  • AAAI-15
    Twenty-Ninth AAAI Conference on Artificial Intelligence
  • BNAIC 2014
    26th Benelux Artificial Intelligence Conference
  • ARD 2014
    Argumentation, Rationality and Decision
  • COMMA 2014
    Fifth International Conference on Computational Models of Argument
  • ECAI 2014
    21st European Conference on Artificial Intelligence
  • KR 2014
    14th International Conference on Principles of Knowledge Representation and Reasoning
  • IJCAI 2013
    23rd International Joint Conference on Artificial Intelligence
  • BNAIC 2013
    25th Benelux Conference on Artificial Intelligence
  • JLCloops13
    Journal of Logic and Computation: Special Issue on Loops in argumentation
  • AAA 2013
    1st International Workshop on Argument for Agreement and Assurance
  • AT 2013
    2nd International Conference on Agreeement Technologies
  • TAFA 2013
    Second International Workshop on Theory and Applications of Formal Argumentation
  • ECSQARU 2013
    12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
  • DoForm 2013 Enabling Domain Experts to use Formalised Reasoning – Symposium at the AISB Annual Convention 2013
  • COMMA 2012
    Fourth International Conference on Computational Models of Argument
  • BNAIC 2012
    The 24th Benelux Conference on Artificial Intelligence
  • KR 2012
    Principles of Knowledge Representation and Reasoning
  • COMSOC 2012
    4th International Workshop on Computational Social Choice
  • IJCAI 2011
    22nd International Joint Conference on Artificial Intelligence
  • JLCabi 2011
    Journal of Logic and Computation: Special Issue on 20 years of argument-based inference
  • TAFA 2011
    First International Workshop on Theory and Applications of Formal Argumentation
  • BNAIC 2011
    23rd Benelux Conference on Artificial Intelligence
  • IJCAI2011-DC
    Doctoral Consortium at IJCAI 2011
  • ArgMAS 2011
    8th International Workshop on Argumentation in Multi-Agent Systems
  • JAIRnm11
    Journal of Artificial Intelligence Research, Special Issue on Nonmonotonic Reasoning
  • AAMAS-2011-Demos
    Demonstrations Track at the 10th International Conference on Autonomous Agents and Multiagent Systems
  • LORI 2011
    Third International Workshop on Logic, Rationality and Interaction
  • ECAI 2010
    19th European Conference on Artificial Intelligence
  • JELIA 2010
    The 12th European Conference on Logics in Artificial Intelligence
  • BNAIC 2010
    22nd Benelux Conference on Artificial Intelligence
  • ARGAIP 2010
    1st Workshop on Argumentation in Artificial Intelligence and Philosophy: computational and philosophical perspectives
  • COMMA 2010
    Third International Conference on Computational Models of Argument
  • MABS 2010
    11th International Workshop on Multi-Agent-Based Simulation
  • KR 2010
    Twelfth International Conference on the Principles of Knowledge Representation and Reasoning
  • ESSLLI 2010
    22nd European Summer School in Logic, Language and Information
  • NMR2010-ADD
    13th international workshop on Non-Monotonic Reasoning, Sub-Workshop on Argument, Dialog and Decision
  • AAAI 2010 Tutorial Forum
    AAAI 2010 Tutorial Forum
  • NonMon at 30 (2010)
    Thirty Years of Nonmonotonic Reasoning
  • EUMAS 2010
    8th European Workshop on Multi-Agent Systems
  • IJCAI 2009
    21st International Joint Conference on Artificial Intelligence
  • BNAIC 2009
    The 21st Belgian-Netherlands Conference on Artificial Intelligence
  • ESSLLI 2009
    European Summer school in Logic, Language and Information 2009
  • JELIA 2008
    11th European Conference on Logics in Artificial Intelligence
  • CMNA 2008
    8th International Workshop on Computational Models of Natural Argument

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

  • Caminada, M. 2006. On the issue of reinstatement in argumentation. Lecture Notes in Computer Science 4160, pp. 111-123. (10.1007/11853886_11)
  • Caminada, M. and Sakama, C. 2006. On the existence of answer sets in normal extended logic programs. Presented at: ECAI 2006: 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, 29 Aug-1 Sept 2006 Presented at Brewka, G. et al. eds.ECAI 2006: 17th European Conference on Artificial Intelligence., August 29 - Spetember 1, Riva del Garda, Italy, Vol. 141. Amsterdam: IOS Press pp. 743-744.
  • Caminada, M. 2006. Semi-stable semantics. In: Dunne, P. E. and Bench-Capon, T. J. M. eds. Computational Models of Argument., Vol. 144. Frontiers in Artificial Intelligence and Applications IOS Press, pp. 121-130.

1998

  • CM1102 (Web Applications)
  • CM2303 (Algorithms and Data Structures)
  • CM2500 (UG placement)
  • CMT305 (PGT placement)
  • knowledge representation and reasoning
  • non-monotonic reasoning
  • computational models of argument

I currently have an open PhD position for self-funded students: Explaining AI using human-computer dialogue
See https://users.cs.cf.ac.uk/CaminadaM/phd_opportunities.html for details

Past projects

Before coming to Cardiff, I was the PhD supervisor of two PhD students in Luxembourg: Yining Wu and Mikolaj Podlaszewski. Both of them successfully obtained their PhD degree and published in high level venues.