1 citations · 1 across the 6 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
Strong Equivalence for Epistemic Logic Programs Made Easy (Extended Version)
Wolfgang Faber, Michael Morak, Stefan Woltran
Epistemic Logic Programs (ELPs), that is, Answer Set Programming (ASP) extended with epistemic operators, have received renewed interest in recent years, which led to a flurry of n…
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…