no code implementations • 23 Feb 2021 • Yasir Mahmood, Arne Meier, Johannes Schmidt
Logic-based argumentation is a well-established formalism modelling nonmonotonic reasoning.
no code implementations • 28 Nov 2018 • Johannes K. Fichte, Markus Hecher, Arne Meier
In this paper, we consider counting and projected model counting of extensions in abstract argumentation for various semantics.
no code implementations • 19 Feb 2016 • Johannes K. Fichte, Arne Meier, Irina Schindler
In this paper, we introduce a notion of backdoors to Reiter's propositional default logic and study structural properties of it.