7th International Conference on Computational Models of Argument

11th - 14th September 2018

Conference Schedule

Conference Proceedings

The conference proceedings are available here.

Location of Social Events

Further details and a map with all locations are available in the Local Info page.

Wednesday 12th (room 144, first floor)

8:45-9:05 Welcome and Opening
9:05-10:05 Invited Talk: Francesca Toni From data and rules to argumentation frameworks

Argumentation frameworks have been widely studied both in terms of formal properties they exhibit under di fferent semantics and in terms of applications they can support. But where are argumentation frameworks coming from, and how can argumentation, a model-based approach to AI, benefi cially integrate with the nowadays-much-widespread data-centric AI perspective? In this talk I will overview applications empowered by a variety of (extension-based and gradual) semantics for abstract and bipolar argumentation frameworks automatically obtained from data (including but not limited to text) and from logical rules. Some of these applications require the integration of argumentation and machine learning, and result in a mixed model-based and data-centric pipeline. For some applications, the semantics informs the defi nition of the frameworks rather than, as is conventionally the case, being enforced on frameworks a posteriori.

10:05-11:00 Session: Abstract Argumentation and Semantics 1 Chair: Sylwia Polberg
Jesse Heyninck and Ofer Arieli On the Semantics of Simple Contrapositive Assumption-Based Argumentation Frameworks (F)
Beishui Liao and Leendert van der Torre Representation Equivalences Among Argumentation Frameworks (S)
Claudette Cayrol, Jorge Fandinno, Luis Farinas Del Cerro and Marie-Christine Lagasquie Structure-based semantics of argumentation frameworks with higher-order attacks and supports (S)
11:00-11:30 Break
11:30-13:10 Session: Abstract Argumentation and Semantics 1 (continued) Chair: Peter Young
Matthias Thimm, Sylwia Polberg and Anthony Hunter Epistemic Attack Semantics (F)
Wolfgang Dvořák, Jorge Fandinno and Stefan Woltran On the Expressive Power of Collective Attacks (F)
Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler and Stefan Woltran Investigating Subclasses of Abstract Dialectical Frameworks (F)
Johannes P. Wallner Structural Constraints for Dynamic Operators in Abstract Argumentation (F)
13:10-14:30 Lunch
14:30-16:15 Session: Structured Argumentation Chair: Martin Caminada
Henry Prakken and Michiel de Winte Abstraction in Argumentation: Necessary but Dangerous (F)
Anthony P. Young, Nadin Kokciyan, Isabel Sassoon, Sanjay Modgil and Simon Parsons Instantiating Metalevel Argumentation Frameworks (F)
Katie Atkinson and Trevor Bench-Capon Relating the ANGELIC Methodology to ASPIC+ (S)
Pietro Baroni, George Drivas and Massimiliano Giacomin Modelling the “Laboratory of Dilemmas”: challenges and suggestions for argument-based decision making (F)
Annemarie Borg Equipping sequent-based argumentation with defeasible assumptions (S)
16:15-16:25 COMMA Community Business
16:25-16:45 Break
16:45-17:45 Demo Session I (room 273, 2nd floor)
18:00 Opening Reception


Thursday 13th (room 144, first floor)

9:00-10:00 Invited Talk: Noam Slonim Project Debater

Project Debater is the fi rst AI system that was shown to debate humans in a meaningful manner in a full live debate. Developing this system started in 2012, as the next AI Grand Challenge pursued by IBM Research, following the demonstration of Deep Blue in Chess in 1997, and Watson in Jeopardy! In 2011. The Project Debater system was demonstrated for the fi rst time in San Francisco in June 2018, in two full live debates vs. expert human debaters, and correspondingly received massive media attention. This talk will present the challenges in developing this system, its current capabilities and present limitations, as well as how we envision its future.

10:00-11:05 Session: Argument Mining and Analysis 1 Chair: Patrick Saint-Dizier
Tobias Mayer, Elena Cabrio, Marco Lippi, Paolo Torroni and Serena Villata Argument Mining on Clinical Trials (F)
Lisa Andreevna Chalaguine, Anthony Hunter, Henry Potts and Fiona Hamilton Argument Harvesting Using Chatbots (F)
Rory Duthie and Katarzyna Budzynska Classifying Types of Ethos Support and Attack (S)
11:05-11:30 Break
11:30-13:00 Session: Computing extensions and graphs Chair: Johannes Wallner
Matthias Thimm Stochastic Local Search Algorithms for Abstract Argumentation under Stable Semantics (F)
Dorothea Baumeister, Daniel Neugebauer and Jörg Rothe Credulous and Skeptical Acceptance in Incomplete Argumentation Frameworks (F)
Tuomo Lehtonen, Andreas Niskanen and Matti Järvisalo SAT-based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks (F)
Bruno Yun, Srdjan Vesic and Madalina Croitoru Toward a More Efficient Generation of Structured Argumentation Graphs (S)
13:00-13:10 International Competition on Computational Models of Argumentation (ICCMA) presentation
13:10-14:30 Lunch
14:30-15:55 Session: Argumentation in Dialogue and Multiagent Systems 1 Chair: Henry Prakken
Niklas Rach, Wolfgang Minker and Stefan Ultes Markov Games for Persuasive Dialogue (S)
Josh Murphy, Alexandru Burdusel, Michael Luck, Steffen Zschaler and Elizabeth Black Deriving Persuasion Strategies Using Search-Based Model Engineering (F)
Emmanuel Hadoux, Anthony Hunter and Sylwia Polberg Biparty Decision Theory for Dialogical Argumentation (S)
Dimitra Zografistou, Giorgos Flouris, Theodore Patkos and Dimitris Plexousakis Implementing the ArgQL Query Language (S)
Emmanuel Hadoux, Aurélie Beynier, Nicolas Maudet and Paul Weng Mediation of Debates with Dynamic Argumentative Behaviors (S)
15:55-16:15 Break
16:15-17:20 Session: Applications Chair: Emmanuel Hadoux
Alexander Schneider, Christian Meter and Martin Mauve EDEN: Extensible Discussion Entity Network (F)
Federico Cerutti, Timothy Norman, Alice Toniolo and Stuart Middleton CISpaces.org: from Fact Extraction to Report generation (F)
Nadira Boudjani, Abdelkader Gouaich and Souhila Kaci CLEAR: Argumentation Frameworks for Constructing and Evaluating Deductive Mathematical Proofs (S)
17:20-18:20 Demo Session II (room 273, 2nd floor)
18:30-20:00 Sightseeing Tour Sponsored by Warsaw Convention Bureau

20:00 Conference Dinner


Friday 14th (room 144, first floor)

9:00-10:00 Invited Talk: Marcello D’Agostino Formal Argumentation and Epistemic Entrenchment

The argumentation turn in logic paves the way for importing problems and ideas from general philosophy of science into logical formalisms. The main problems are: when faced with an inconsistency, how do we choose the hypotheses/beliefs that are the most plausible candidates for revision? Do we really need to react to each single inconsistency or should we focus on predictive success and temporarily ignore “minor” inconsistencies? How do we distinguish ad hoc adjustments from heuristically fruitful revisions? These questions call for a sophisticated notion of “epistemic entrenchment”. The basic idea has played an important role both in the area of belief revision (Gardenfors and Makinson) and, under di fferent denominations, in that of general philosophy of science (Quine, Kuhn, Lakatos), with little or no interaction between them. The main aim of this talk is to bring the philosophical debate on this notion to the attention of the formal argumentation community and suggest how this interaction could lead to substantial advances in the fi eld.

10:00-11:15 Session: Argument Mining and Analysis 2 Chair: Serena Villata
Saint Dizier Patrick A Knowledge-Based Approach to Warrant Induction (F)
Paul Dunne Unconscious patterns in argument: fractal dimension in oratory (F)
Jacky Visser, John Lawrence, Jean Wagemans and Chris Reed Revisiting Computational Models of Argument Schemes: Classification, Annotation, Comparison (F)
11:15-11:45 Break
11:45-13:10 Session: Argumentation in Dialogue and Multiagent Systems 2 Chair: Elizabeth Black
Tobias Krauthoff, Christian Meter, Michael Baurmann, Gregor Betz and Martin Mauve D-BAS – A Dialog-Based Online Argumentation System (F)
Mark Snaith, Dominic De Franco, Tessa Beinema, Harm Op den Akker and Alison Pease A dialogue game for multi-party goal-setting in health coaching (S)
Alison R. Panisson, Simon Parsons, Peter McBurney and Rafael H. Bordini Choosing Appropriate Arguments from Trustworthy Sources (S)
Ryuta Arisaka and Stefano Bistarelli Defence Outsourcing in Argumentation (S)
Alison R. Panisson, Asad Ali, Peter McBurney and Rafael H. Bordini Argumentation Schemes for Data Access Control (S)
13:10-14:30 Lunch
14:30-16:00 Session: Abstract Argumentation and Semantics 2 Chair: Massimiliano Giacomin
Matthias Thimm, Federico Cerutti and Tjitze Rienstra Probabilistic Graded Semantics (F)
Bruno Yun, Madalina Croitoru, Srdjan Vesic and Pierre Bisquert Viewpoints using ranking based argumentation semantics (F)
Tjitze Rienstra and Matthias Thimm Ranking Functions over Labellings (F)
Souhila Kaci, Leon van der Torre and Serena Villata Preference in Abstract Argumentation (S)
16:00-16:35 Break
16:30-17:35 Session: Abstract Argumentation and Semantics 2 (continued) Chair: Matthias Thimm
Marcos Cramer and Mathieu Guillaume Empirical Cognitive Study on Abstract Argumentation Semantics (F)
Weiwei Chen and Ulle Endriss Aggregating Alternative Extensions of Abstract Argumentation Frameworks: Preservation Results for Quota Rules (F)
Jeremie Dauphin, Marcos Cramer and Leon van der Torre Abstract and concrete decision graphs for choosing extensions of argumentation frameworks (S)
17:35-18:00 Closing Session