7th International Conference on Computational Models of Argument

11th - 14th September 2018

Program


Wednesday 12th

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:30 COMMA Community Business
16:15-16:40 Break
16:15-18:15 Demo Session
18:30 Opening Reception

 

Thursday 13th

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: TBD
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:25 Break
16:25-17:30 Session: Applications Chair: TBD
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:30-19:15 Industry Afternoon
20:00 Conference Dinner

 

Friday 14th

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

Invited Speakers

Marcello D’Agostino, Department of Philosophy, University of Milan Italy

Marcello D’Agostino is currently Professor of Logic at the Dept. of Philosophy, University of Milan, Italy. From 1987 to 1991 he was a doctoral student at the Computing Laboratory, University of Oxford where received his Ph.D. with a thesis on the computational complexity of logical calculi. After his PhD he was employed with research positions at the Department of Computing, Imperial College, London (1991-1995), in the Logic and Computation Group directed by D.M. Gabbay. He then moved to the University of Ferrara in 1996 as assistant professor and qualified as full professor in 2001. In 2015 he moved to the University of Milan where he is now Director of the Doctoral school in Philosophy and human sciences.

Noam Slonim, IBM Haifa Research Lab Israel

Noam Slonim completed his PhD at the Interdisciplinary Center for Neural Computation (ICNC) at the Hebrew University in 2002. After a few years as an Associate Research Scholar at the Lewis-Sigler Institute for Integrative Genomics at Princeton University, he joined IBM Research in 2007. Today, he is a Senior Technical Staff Member (STSM) at IBM Research AI. He serves as the IBM Research technical lead of topics related to debate technologies, leading a team of more than 40 researches from several different IBM Research labs around the world. His main research interest is in developing innovative applications that can enhance, support, and engage with human debating. Correspondingly, he is actively pursuing specific research questions around that area, mainly in the context of developing advanced text analysis applications. From a theoretical perspective, his research over the years has led to the development of various Machine Learning techniques for the analysis of textual and genomic data, that often stem from Information Theoretic concepts and algorithms. Noam has recently published at ACL, EMNLP, LREC, and COLING. He has been a co-organizer of the Dagstuhl “Debating Technologies” seminar in 2015; the ACL tutorial on “NLP Approaches to Computational Argumentation”; and the Argument Mining workshop series since 2016.

Francesca Toni, Department of Computing, Imperial College London UK

Francesca Toni is Professor in Computational Logic in the Department of Computing, Imperial College London, UK, and the funder and leader of the CLArg (Computational Logic and Argumentation) research group. Her research interests lie within the broad area of Knowledge Representation and Reasoning in Artificial Intelligence, and in particular include Argumentation, Logic-Based Multi-Agent Systems, Logic Programming for Knowledge Representation and Reasoning, Non-monotonic and Default Reasoning. She graduated, summa cum laude, in Computing at the University of Pisa, Italy, in 1990, and received her PhD in Computing in 1995, from Imperial College London. She has coordinated two EU projects, received funding from EPSRC and the EU, and awarded a Senior Research Fellowship from The Royal Academy of Engineering and the Leverhulme Trust. She is currently Technical Director of the ROAD2H EPSRC-funded project. She has co-chaired ICLP2015 (the 31st International Conference on Logic Programming), is currently co-chair of KR 2018 (the 16th Conference on Principles of Knowledge Representation and Reasoning). She is a member of the steering committe of AT (Agreement Technologies), the Executive Committee of the Board of ALP (the Association for Logic Programming), corner editor on Argumentation for the Journal of Logic and Computation, and in the editorial board of the Argument and Computation journal and the AI journal.

Demo Session

A session will be organised for the demonstration of innovative working applications and tools. Demo session will take place during the first day of the conference, 12 Sept. For more information, see here.

Industry Afternoon

A session will be organised for the demonstration of industry interested in innovative argument technology. Industry afternoon will take place during the second day of the conference, 13 Sept. For more information, see here.

Accepted papers

A list of long and short papers can be found here.

Conference Schedule

The information will be available shortly.

Best Student Paper Prize

 

A Best Student Paper Prize will be awarded and announced at the COMMA 2018 Conference. The 100 EUR award is sponsored by IOS Press.

Program Committee

 

COMMA Anti-Harassment Policy