Search Results for author: Arne Meier

Found 3 papers, 0 papers with code

Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework

no code implementations23 Feb 2021 Yasir Mahmood, Arne Meier, Johannes Schmidt

Logic-based argumentation is a well-established formalism modelling nonmonotonic reasoning.

Counting Complexity for Reasoning in Abstract Argumentation

no code implementations28 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.

Abstract Argumentation

Strong Backdoors for Default Logic

no code implementations19 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.