BibTeX record conf/aaai/GebserKROSW13

download as .bib file

@inproceedings{DBLP:conf/aaai/GebserKROSW13,
  author    = {Martin Gebser and
               Benjamin Kaufmann and
               Javier Romero and
               Ram{\'{o}}n Otero and
               Torsten Schaub and
               Philipp Wanko},
  editor    = {Marie desJardins and
               Michael L. Littman},
  title     = {Domain-Specific Heuristics in Answer Set Programming},
  booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
               Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
  publisher = {{AAAI} Press},
  year      = {2013},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI13/paper/view/6278},
  timestamp = {Thu, 28 Aug 2014 14:01:37 +0200},
  biburl    = {https://dblp.org/rec/conf/aaai/GebserKROSW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics