79 citations · 126 across the 29 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.AI2018
Proceedings of the eleventh Workshop on Answer Set Programming and Other Computing Paradigms 2018
Jorge Fandinno, Johannes Fichte
This is the Proceedings of the eleventh Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2018, which was held in Oxford, UK, July 18th, 2018.
cs.AI2018★ 1 cited
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.AI2018
Exploiting Treewidth for Projected Model Counting and its Limits
Johannes K. Fichte, Michael Morak, Markus Hecher +1
In this paper, we introduce a novel algorithm to solve projected model counting (PMC). PMC asks to count solutions of a Boolean formula with respect to a given set of projected var…