[Zurück]

R. Pichler, St. Rümmele, St. Szeider, S. Woltran:
"Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough";
Vortrag: Principles of Knowledge Representation and Reasoning (KR), Toronto, Kanda; 09.05.2010 - 13.05.2010; in: "Proc. of KR 2010", F. Lin, U. Sattler, M. Truszczynski (Hrg.); AAAI Press, (2010), ISBN: 978-1-57735-452-9; Paper-Nr. 71, 10 S.

Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks related to programs with cardinality or weight constraints (PWCs) - like checking the consistency of a program - are intractable. Many intractable problems in the area of knowledge representation and reasoning have been shown to become tractable if the treewidth of the programs or formulas under consideration is bounded by some constant. The goal of this paper is to apply the notion of treewidth to PWCs and to identify
tractable fragments. It will turn out that the straightforward
application of treewidth to PWCs does not suffice to obtain tractability. However, by imposing further restrictions, tractability can be achieved.

Projektleitung Stefan Szeider:
The Parameterized Complexity of Reasoning Problems

Projektleitung Stefan Woltran:
Neue Methoden für Analyse, Vergleich und Lösung von Argumentationsproblemen