Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough

Reinhard Pichler, Stefan R{ü}mmele, Stefan Szeider, Stefan Woltran
January 2010
bib

Abstract

Full Citation:

Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran. Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough. Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010 (Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski), 2010, AAAI Press.

Type
Conference Paper
Stefan Szeider
Stefan Szeider
Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.