55 citations · 277 across the 43 of their papers we have counts for
3 papers · 1 filter
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…
Weighted Abstract Dialectical Frameworks: Extended and Revised Report
Gerhard Brewka, Jörg Pührer, Hannes Strass +2
Abstract Dialectical Frameworks (ADFs) generalize Dung's argumentation frameworks allowing various relationships among arguments to be expressed in a systematic way. We further gen…
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…