BibTeX record conf/kr/OrtizRS10

download as .bib file

@inproceedings{DBLP:conf/kr/OrtizRS10,
  author    = {Magdalena Ortiz and
               Sebastian Rudolph and
               Mantas Simkus},
  title     = {Worst-Case Optimal Reasoning for the Horn-DL Fragments of {OWL} 1
               and 2},
  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/1296},
  timestamp = {Wed, 23 Jun 2010 11:56:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/OrtizRS10},
  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