News
Paper accepted for IJCAI 2025
[03.07.2025]The paper "Initial Models and Serialisability in Abstract Dialectical Frameworks" by Lars Bengel and Matthias Thimm has been accepted at IJCAI 2025.
Abstract of the paper
Initial Models and Serialisability in Abstract Dialectical Frameworks
by Lars Bengel and Matthias Thimm
We introduce initial models for abstract dialectical frameworks (ADFs) as a notion of minimal justifiable valuations and based on that, generalise the concept of serialisability of argumentation semantics to ADFs. In particular, we show that the characteristic operator-based semantics for ADFs can be characterised through serialisation sequences, which are, essentially, decompositions of a model into a series of initial models, representing a more fine-grained view into why a model is acceptable wrt. the semantics. We also analyse the computational complexity of tasks related to initial models.