Showing 2021Show all
2 papers · 1 filter
cs.LO2021
A Parameterized View on the Complexity of Dependence Logic
Juha Kontinen, Arne Meier, Yasir Mahmood
In this paper, we investigate the parameterized complexity of model checking for Dependence Logic which is a well studied logic in the area of Team Semantics. We start with a list…
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…