Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs

6 August 2021

Papers citing "Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs"

2 / 2 papers shown

Title
IASCAR: Incremental Answer Set Counting by Anytime Refinement Johannes Fichte S. A. Gaggl Markus Hecher Dominik Rusovac 45 1 0 13 Nov 2023
Treewidth-aware Reductions of Normal ASP to SAT -- Is Normal ASP Harder than SAT after All? Markus Hecher 62 25 0 07 Oct 2022