Dr Martin Caminada

Biography

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

• An Introduction to Formal Argumentation Theory
  Tutorial at IJCAI (Macau, 2019)
• 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 2020
  8th International Conference on Computational Models of Argument
• ECAI 2020
  The 24th European Conference on Artificial Intelligence
• AAAI 2020
  The Thirty-Fourth AAAI Conference on Artificial Intelligence
• PRIMA 2019
  The 22nd International Conference on Principes and Practice of Multi-Agent Systems
• IJCAI 2019
  28th International Joint Conference on Artificial Intelligence
• SAC 2019
  The 34th ACM/SIGAPP Symposium on Applied Computing
• 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

Publications

We are currently unable to retrieve the list of publications. Visit our institutional repository.

Teaching

• CM1102 (Web Applications)
• CM2500 (UG placement)
• CMT305 (PGT placement)

• knowledge representation and reasoning
• non-monotonic reasoning
• computational models of argument

Supervision

I am currently supervisingb a PhD student (Sri Harikrishnan) in the field of formal argumentation.

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.