Exploiting Treewidth for Counting Projected Answer Sets

Johannes Klaus Fichte, Markus Hecher. Exploiting Treewidth for Counting Projected Answer Sets. In Michael Thielscher, Francesca Toni, Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. pages 639-640, AAAI Press, 2018. [doi]

Abstract

Abstract is missing.