Martin Caminada

According to our database, Martin Caminada authored at least 60 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

An Evaluation of Algorithms for Strong Admissibility.

Martin Caminada, Sri Harikrishnan

Proceedings of the Fifth International Workshop on Systems and Algorithms for Formal Argumentation co-located with 10th International Conference on Computational Models of Argument (COMMA 2024), 2024

2022

Strong Admissibility, a Tractable Algorithmic Approach (proofs).

Martin Caminada, Sri Harikrishnan

CoRR, 2022

Comparing logic programming and formal argumentation; the case of ideal and eager semantics.

Martin Caminada, Sri Harikrishnan, Samy Sá

Argument Comput., 2022

Strong Admissibility, a Tractable Algorithmic Approach.

Martin Caminada, Sri Harikrishnan

Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), 2022

2020

An Implementation of Argument-Based Discussion Using ASPIC-.

Martin Caminada, Sören Uebis

Proceedings of the Computational Models of Argument, 2020

Minimal Strong Admissibility: A Complexity Analysis.

Martin Caminada, Paul E. Dunne

Proceedings of the Computational Models of Argument, 2020

2019

Strong admissibility revisited: Theory and applications.

Martin Caminada, Paul E. Dunne

Argument Comput., 2019

2018

On the Equivalence between Assumption-Based Argumentation and Logic Programming (Extended Abstract).

Martin Caminada, Claudia Schulz

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

DISCO: A Web-Based Implementation of Discussion Games for Grounded and Preferred Semantics.

Richard Booth, Martin Caminada, Braden Marshall

Proceedings of the Computational Models of Argument, 2018

2017

Experimental Assessment of Aggregation Principles in Argumentation-Enabled Collective Intelligence.

Edmond Awad, Jean-François Bonnefon, Martin Caminada, Thomas W. Malone, Iyad Rahwan

ACM Trans. Internet Techn., 2017

Pareto optimality and strategy-proofness in group argument evaluation.

Edmond Awad, Martin W. A. Caminada, Gabriella Pigozzi, Mikolaj Podlaszewski, Iyad Rahwan

J. Log. Comput., 2017

On the Equivalence between Assumption-Based Argumentation and Logic Programming.

Martin Caminada, Claudia Schulz

J. Artif. Intell. Res., 2017

Rationality Postulates: Applying Argumentation Theory for Non-monotonic Reasoning.

Martin Caminada

FLAP, 2017

Argumentation Semantics as Formal Discussion.

Martin Caminada

FLAP, 2017

2016

Preferred semantics as socratic discussion.

Martin W. A. Caminada, Wolfgang Dvorák, Srdjan Vesic

J. Log. Comput., 2016

Experimental Assessment of Aggregation Rules in Argumentation-enabled Collective Intelligence.

Edmond Awad, Jean-François Bonnefon, Martin Caminada, Thomas W. Malone, Iyad Rahwan

CoRR, 2016

A Dialectical Approach for Argument-Based Judgment Aggregation.

Martin Caminada, Richard Booth

Proceedings of the Computational Models of Argument, 2016

2015

Introducing the Special Issue on 20 Years of Argument-Based Inference.

Martin W. A. Caminada, Massimiliano Giacomin

J. Log. Comput., 2015

On the equivalence between logic programming semantics and argumentation semantics.

Martin Caminada, Samy Sá, João F. L. Alcântara, Wolfgang Dvorák

Int. J. Approx. Reason., 2015

A formal account of dishonesty.

Chiaki Sakama, Martin Caminada, Andreas Herzig

Log. J. IGPL, 2015

On the Difference between Assumytion-Based Argumentation and Abstract Argumentation.

Martin Caminada, Samy Sá, João F. L. Alcântara, Wolfgang Dvorák

FLAP, 2015

A Discussion Game for Grounded Semantics.

Martin Caminada

Proceedings of the Theory and Applications of Formal Argumentation, 2015

On the Issue of Argumentation and Informedness.

Martin Caminada, Chiaki Sakama

Proceedings of the New Frontiers in Artificial Intelligence, 2015

2014

Preferences and Unrestricted Rebut.

Martin Caminada, Sanjay Modgil, Nir Oren

Proceedings of the Computational Models of Argument, 2014

Strong Admissibility Revisited.

Martin Caminada

Proceedings of the Computational Models of Argument, 2014

Complexity Properties of Critical Sets of Arguments.

Richard Booth, Martin Caminada, Paul E. Dunne, Mikolaj Podlaszewski, Iyad Rahwan

Proceedings of the Computational Models of Argument, 2014

Scrutable plan enactment via argumentation and natural language generation.

Martin W. A. Caminada, Roman Kutlák, Nir Oren, Wamberto Weber Vasconcelos

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

A QBF-based formalization of abstract argumentation semantics.

Ofer Arieli, Martin W. A. Caminada

J. Appl. Log., 2013

On the Equivalence between Logic Programming Semantics and Argumentation Semantics.

Martin Caminada, Samy Sá, João F. L. Alcântara

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2013

2012

Semi-stable semantics.

Martin W. A. Caminada, Walter Alexandre Carnielli, Paul E. Dunne

J. Log. Comput., 2012

Grounded Semantics as Persuasion Dialogue.

Martin Caminada, Mikolaj Podlaszewski

Proceedings of the Computational Models of Argument, 2012

A General QBF-based Formalization of abstract Argumentation Theory.

Ofer Arieli, Martin W. A. Caminada

Proceedings of the Computational Models of Argument, 2012

Quantifying disagreement in argument-based reasoning.

Richard Booth, Martin Caminada, Mikolaj Podlaszewski, Iyad Rahwan

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

An introduction to argumentation semantics.

Pietro Baroni, Martin Caminada, Massimiliano Giacomin

Knowl. Eng. Rev., 2011

A labelling approach for ideal and stage semantics.

Martin Caminada

Argument Comput., 2011

On judgment aggregation in abstract argumentation.

Martin Caminada, Gabriella Pigozzi

Auton. Agents Multi Agent Syst., 2011

Manipulation in Group Argument Evaluation.

Martin Caminada, Gabriella Pigozzi, Mikolaj Podlaszewski

Proceedings of the IJCAI 2011, 2011

An implementation of basic argumentation components.

Mikolaj Podlaszewski, Martin Caminada, Gabriella Pigozzi

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010

On the Profitability of Incompetence.

Eugen Staab, Martin Caminada

Proceedings of the Multi-Agent-Based Simulation XI - International Workshop, 2010

A Logical Account of Lying.

Chiaki Sakama, Martin Caminada, Andreas Herzig

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

An Algorithm for Stage Semantics.

Martin Caminada

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

2009

Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming.

Yining Wu, Martin Caminada, Dov M. Gabbay

Stud Logica, 2009

A Logical Account of Formal Argumentation.

Martin W. A. Caminada, Dov M. Gabbay

Stud Logica, 2009

An argument game for stable semantics.

Martin Caminada, Yining Wu

Log. J. IGPL, 2009

Assessing the Impact of Informedness on a Consultant's Profit

Eugen Staab, Martin Caminada

CoRR, 2009

An implementation of argument based discussion.

Patrizio Barbini, Yining Wu, Martin Caminada

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Proof Theories and Algorithms for Abstract Argumentation Frameworks.

Sanjay Modgil, Martin Caminada

Proceedings of the Argumentation in Artificial Intelligence, 2009

2008

A formal account of Socratic-style argumentation.

Martin Caminada

J. Appl. Log., 2008

Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks.

Paul E. Dunne, Martin Caminada

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

On the Issue of Contraposition of Defeasible Rules.

Martin Caminada

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008

2007

On the evaluation of argumentation formalisms.

Martin Caminada, Leila Amgoud

Artif. Intell., 2007

An Algorithm for Computing Semi-stable Semantics.

Martin Caminada

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

2006

On the Issue of Reinstatement in Argumentation.

Martin Caminada

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

On the Existence of Answer Sets in Normal Extended Logic Programs.

Martin Caminada, Chiaki Sakama

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Semi-Stable Semantics.

Martin Caminada

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2006, 2006

2005

Contamination in Formal Argumentation Systems.

Martin Caminada

Proceedings of the BNAIC 2005, 2005

An Axiomatic Account of Formal Argumentation.

Martin Caminada, Leila Amgoud

Proceedings of the Proceedings, 2005

2004

Dialogues and HY-arguments.

Martin Caminada

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

1998

Internet security incidents, a survey within Dutch organizations.

Martin Caminada, Reind P. van de Riet, Arjen van Zanten, Leendert van Doorn

Comput. Secur., 1998

Internet Security Incidents, a Survey within Dutch Organisations.

Martin Caminada, Reind P. van de Riet, Arjen van Zanten, Leendert van Doorn

Proceedings of WebNet 98, 1998