SAFA2018

Keynote speaker

Matti Järvisalo Department of Computer Science, University of Helsinki, Finland Title: SAT for Argumentation Abstract: I will give a personal account of success in harnessing modern Boolean satisfiability (SAT) solver technology to the development of practical reasoning systems for computational models of argumentation. SAT solvers and their incremental use play a central role in some of the best current argumentation systems for NP and beyond-NP "static" reasoning tasks, such as acceptance problems over argumentation frameworks, as highlighted by the ICCMA argumentation system competitions. Going beyond static problems, I will also overview recent progress in practical SAT-based algorithms for reasoning about forms of argumentation dynamics. If time permits, I will further shortly discuss applications of SAT for reasoning about acceptance in structured argumentation formalisms.

Accepted papers

• Stefano Bistarelli, Lars Kotthoff, Francesco Santini, Carlo Taticchi: Containerisation and Dynamic Frameworks in ICCMA'19
• Wolfgang Dvořák, Alexander Greßler, Stefan Woltran: Evaluating SETAFs via Answer-Set Programming
• Odinaldo Rodrigues, Elizabeth Black, Michael Luck, Josh Murphy: On Structural Properties of Argumentation Frameworks: Lessons from ICCMA
• Tastuki Kawasaki, Sosuke Moriguchi, Kazuko Takahashi: Transformation from PROLEG to a Bipolar Argumentation Framework
• Grzegorz Lisowski, Sylvie Doutre, Umberto Grandi: Preventing Manipulation in Aggregating Audiences in Value-Based Argumentation Frameworks
• Sosuke Moriguchi, Kazuko Takahashi: Expressing the Characteristics of an Argumentation Framework

The proceedings of SAFA2018 are available at http://ceur-ws.org/Vol-2171.

Detailed programme

The workshop will take place at Palac Staszica, Nowy Swiat 72, room 273 (second floor). The registration desk is located near room 144 (first floor).

Schedule: