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

Pichler, Reinhard; Rümmele, Stefan; Szeider, Stefan; Woltran, Stefan

by Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran

Reference:

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

Bibtex Entry:

@inproceedings{PichlerRuemmeleSzeiderWoltran10,
  author    = {Reinhard Pichler and
               Stefan R{\"u}mmele and
               Stefan Szeider and
               Stefan Woltran},
  title     = {Tractable Answer-Set Programming with Weight Constraints:
               Bounded Treewidth Is not Enough},
  editor    = {Fangzhen Lin and
               Ulrike Sattler and
               Miroslaw Truszczynski},
  booktitle     = {Principles of Knowledge Representation and
                  Reasoning: Proceedings of the Twelfth International
                  Conference, KR 2010, Toronto, Ontario, Canada, May
                  9-13, 2010},
  publisher = {AAAI Press},
  year      = {2010}
}