SAFA2022

Keynote speaker

Johannes K. Fichte Database and Artificial Intelligence Group, Institute of Information Systems, TU Vienna, Austria Keynote title: Model Counting, its Relationship to Symbolic Quantitative AI, and a Glimpse into Practical Solving Keynote abstract: Model counting (#SAT) asks to compute the number of satisfying assignments for a propositional formula. The decision version (SAT) received widespread interest in computational complexity, formed many applications in modern combinatorial problem solving, and can be solved effectively for millions of variables on structured instances. #SAT is much harder than SAT and requires more elaborate solving techniques. In this talk, we revisit the problem, its complexity, and explain applications in symbolic quantitative AI, including its relation to Bayesian inference. We briefly overview solving techniques and explain a parameterized algorithm and implementation to tackle the problem. While purely parameterized approaches from theory often suffer practical limitations, we illustrate that a parameterized algorithm can be successful when combining it with modern hardware that takes advantage of parallelism.

Accepted papers

• Martin Caminada and Sri Harikrishnan: Strong Admissibility, a Tractable Algorithmic Approach
• Martin Diller, Sarah Alice Gaggl and Piotr Gorczyca: Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation
• Sylvie Doutre and Marie-Christine Lagasquie-Schiex: Computing the Labellings of Higher-Order Abstract Argumentation Frameworks
• Wolfgang Dvořák, Matthias König and Stefan Woltran: Deletion-Backdoors for Argumentation Frameworks with Collective Attacks
• Lukas Kinder, Matthias Thimm and Bart Verheij: A Labeling Based Backtracking Solver for Abstract Argumentation
• Kenneth Skiba, Matthias Thimm, Tjitze Rienstra, Jesse Heyninck and Gabriele Kern-Isberner: Realisability of Rankings-based Semantics
• Kazuko Takahashi: Odd or Even: Handling N-lemmas in a Dynamic Argumentation Framework
• Hao Wu, Bruno Yun and Nir Oren Improving Reasoning Efficiency in ASPIC+ with Backwards Chaining and Partial Arguments
• Andreas Xydis, Christopher Hampson, Sanjay Modgil and Elizabeth Black: A sound and complete dialogue system for handling misunderstandings

The proceedings of SAFA2022 are available at http://ceur-ws.org/Vol-3236/.

Detailed programme