Showing cs.AIShow all
2 papers · 1 filter
cs.AI2021
Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework
Yasir Mahmood, Arne Meier, Johannes Schmidt
Logic-based argumentation is a well-established formalism modelling nonmonotonic reasoning. It has been playing a major role in AI for decades, now. Informally, a set of formulas i…
cs.AI2018
Counting Complexity for Reasoning in Abstract Argumentation
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. When asking for projected counts we are interested i…