Showing 2018Show all
3 papers · 1 filter
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…
cs.LO2018
Enumeration in Incremental FPT-Time
Arne Meier
In this paper, we study the relationship of parametrised enumeration complexity classes defined by Creignou et al. (MFCS 2013). Specifically, we introduce two hierarchies (IncFPTa…
cs.LO2018
Probabilistic team semantics
Arnaud Durand, Miika Hannula, Juha Kontinen +2
Team semantics is a semantical framework for the study of dependence and independence concepts ubiquitous in many areas such as databases and statistics. In recent works team seman…