@proceedings{ dblp2109719,
  title = {Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada},
  author = {Jörg Hoffmann 0001 and Bart Selman},
  author_short = {Hoffmann 0001, J. and Selman, B.},
  bibtype = {proceedings},
  type = {proceedings},
  year = {2012},
  key = {dblp2109719},
  id = {dblp2109719},
  biburl = {http://www.dblp.org/rec/bibtex/conf/aaai/2012},
  url = {},
  conference = {AAAI},
  text = {AAAI 2012},
  booktitle = {Proceedings of National Conference on Artificial Intelligence (AAAI)}
}

{"_id":"HxTJMHxJjkunzNS4h","bibbaseid":"hoffmann0001-selman-proceedingsofthetwentysixthaaaiconferenceonartificialintelligencejuly22262012torontoontariocanada-2012","downloads":0,"creationDate":"2015-06-11T14:05:15.940Z","title":"Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada","author_short":["Hoffmann 0001, J.","Selman, B."],"year":2012,"bibtype":"proceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/aaai/2012","bibdata":{"title":"Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada","author":["Jörg Hoffmann 0001","Bart Selman"],"author_short":["Hoffmann 0001, J.","Selman, B."],"bibtype":"proceedings","type":"proceedings","year":"2012","key":"dblp2109719","id":"dblp2109719","biburl":"http://www.dblp.org/rec/bibtex/conf/aaai/2012","url":"","conference":"AAAI","text":"AAAI 2012","booktitle":"Proceedings of National Conference on Artificial Intelligence (AAAI)","bibtex":"@proceedings{ dblp2109719,\n title = {Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada},\n author = {Jörg Hoffmann 0001 and Bart Selman},\n author_short = {Hoffmann 0001, J. and Selman, B.},\n bibtype = {proceedings},\n type = {proceedings},\n year = {2012},\n key = {dblp2109719},\n id = {dblp2109719},\n biburl = {http://www.dblp.org/rec/bibtex/conf/aaai/2012},\n url = {},\n conference = {AAAI},\n text = {AAAI 2012},\n booktitle = {Proceedings of National Conference on Artificial Intelligence (AAAI)}\n}","bibbaseid":"hoffmann0001-selman-proceedingsofthetwentysixthaaaiconferenceonartificialintelligencejuly22262012torontoontariocanada-2012","role":"author","urls":{},"downloads":0},"search_terms":["proceedings","twenty","sixth","aaai","conference","artificial","intelligence","july","2012","toronto","ontario","canada","hoffmann 0001","selman"],"keywords":[],"authorIDs":[],"dataSources":["R63AFwXwtu2m3tjJB"]}