Programme

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.

Technical programme

The technical programme will be announced later