BibTeX record conf/aaai/SonPBG15

download as .bib file

@inproceedings{DBLP:conf/aaai/SonPBG15,
  author       = {Tran Cao Son and
                  Enrico Pontelli and
                  Chitta Baral and
                  Gregory Gelfond},
  editor       = {Blai Bonet and
                  Sven Koenig},
  title        = {Exploring the {KD45} Property of a Kripke Model After the Execution
                  of an Action Sequence},
  booktitle    = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
                  January 25-30, 2015, Austin, Texas, {USA}},
  pages        = {1604--1610},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {https://doi.org/10.1609/aaai.v29i1.9401},
  doi          = {10.1609/AAAI.V29I1.9401},
  timestamp    = {Mon, 18 Sep 2023 11:22:44 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SonPBG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics