BibTeX record conf/aaai/CarralU20

download as .bib file

@inproceedings{DBLP:conf/aaai/CarralU20,
  author    = {David Carral and
               Jacopo Urbani},
  title     = {Checking Chase Termination over Ontologies of Existential Rules with
               Equality},
  booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
               2020, The Thirty-Second Innovative Applications of Artificial Intelligence
               Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
               Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
               February 7-12, 2020},
  pages     = {2758--2765},
  publisher = {{AAAI} Press},
  year      = {2020},
  url       = {https://ojs.aaai.org/index.php/AAAI/article/view/5663},
  timestamp = {Mon, 07 Mar 2022 16:58:23 +0100},
  biburl    = {https://dblp.org/rec/conf/aaai/CarralU20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics