BibTeX record conf/kr/PichlerRSW10

download as .bib file

@inproceedings{DBLP:conf/kr/PichlerRSW10,
  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},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
               Canada, May 9-13, 2010},
  year      = {2010},
  crossref  = {DBLP:conf/kr/2010},
  url       = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1368},
  timestamp = {Wed, 23 Jun 2010 11:56:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/PichlerRSW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2010,
  editor    = {Fangzhen Lin and
               Ulrike Sattler and
               Miroslaw Truszczynski},
  title     = {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},
  timestamp = {Wed, 23 Jun 2010 11:56:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics