BibTeX record conf/ijcai/BotoevaLRWZ16

download as .bib file

@inproceedings{DBLP:conf/ijcai/BotoevaLRWZ16,
  author       = {Elena Botoeva and
                  Carsten Lutz and
                  Vladislav Ryzhikov and
                  Frank Wolter and
                  Michael Zakharyaschev},
  editor       = {Subbarao Kambhampati},
  title        = {Query-Based Entailment and Inseparability for {ALC} Ontologies},
  booktitle    = {Proceedings of the Twenty-Fifth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
                  2016},
  pages        = {1001--1007},
  publisher    = {{IJCAI/AAAI} Press},
  year         = {2016},
  url          = {http://www.ijcai.org/Abstract/16/146},
  timestamp    = {Tue, 20 Aug 2019 16:19:21 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BotoevaLRWZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}