Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs

Viktor Besin, Markus Hecher, Stefan Woltran

Extending the popular Answer Set Programming (ASP) paradigm by introspective reasoning capacities has received increasing interest within the last years. Particular attention is gi…