BibTeX record conf/kr/BateMGSH16

download as .bib file

@inproceedings{DBLP:conf/kr/BateMGSH16,
  author       = {Andrew Bate and
                  Boris Motik and
                  Bernardo Cuenca Grau and
                  Frantisek Simancik and
                  Ian Horrocks},
  editor       = {Chitta Baral and
                  James P. Delgrande and
                  Frank Wolter},
  title        = {Extending Consequence-Based Reasoning to {SRIQ}},
  booktitle    = {Principles of Knowledge Representation and Reasoning: Proceedings
                  of the Fifteenth International Conference, {KR} 2016, Cape Town, South
                  Africa, April 25-29, 2016},
  pages        = {187--196},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12882},
  timestamp    = {Tue, 12 Apr 2022 14:46:29 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/BateMGSH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics