BibTeX record conf/rr/KonigLMT12

• > Home > conf/rr/KonigLMT12

@inproceedings{DBLP:conf/rr/KonigLMT12,
  author       = {M{\'{e}}lanie K{\"{o}}nig and
                  Michel Lecl{\`{e}}re and
                  Marie{-}Laure Mugnier and
                  Micha{\"{e}}l Thomazo},
  editor       = {Markus Kr{\"{o}}tzsch and
                  Umberto Straccia},
  title        = {A Sound and Complete Backward Chaining Algorithm for Existential Rules},
  booktitle    = {Web Reasoning and Rule Systems - 6th International Conference, {RR}
                  2012, Vienna, Austria, September 10-12, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7497},
  pages        = {122--138},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33203-6\_10},
  doi          = {10.1007/978-3-642-33203-6\_10},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/rr/KonigLMT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}