BibTeX record conf/aaai/KaiserS11

download as .bib file

@inproceedings{DBLP:conf/aaai/KaiserS11,
  author    = {Lukasz Kaiser and
               Lukasz Stafiniak},
  editor    = {Wolfram Burgard and
               Dan Roth},
  title     = {First-Order Logic with Counting for General Game Playing},
  booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
               {AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
  publisher = {{AAAI} Press},
  year      = {2011},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3727},
  timestamp = {Tue, 09 Aug 2011 08:42:17 +0200},
  biburl    = {https://dblp.org/rec/conf/aaai/KaiserS11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics