BibTeX record conf/kr/CabalarD14

download as .bib file

@inproceedings{DBLP:conf/kr/CabalarD14,
  author    = {Pedro Cabalar and
               Mart{\'{\i}}n Di{\'{e}}guez},
  editor    = {Chitta Baral and
               Giuseppe De Giacomo and
               Thomas Eiter},
  title     = {Strong Equivalence of Non-Monotonic Temporal Theories},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
               July 20-24, 2014},
  publisher = {{AAAI} Press},
  year      = {2014},
  url       = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7954},
  timestamp = {Tue, 09 Feb 2021 08:33:49 +0100},
  biburl    = {https://dblp.org/rec/conf/kr/CabalarD14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics