ML Anthology

Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence

Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond
AAAI 2015 pp. 1604-1610
doi:10.1609/AAAI.V29I1.9401 /aaai/2015/son2015aaai-exploring/
AAAI Semantic Scholar

Cite

Text

Son et al. "Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence." AAAI Conference on Artificial Intelligence, 2015. doi:10.1609/AAAI.V29I1.9401

Markdown

[Son et al. "Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence." AAAI Conference on Artificial Intelligence, 2015.](https://mlanthology.org/aaai/2015/son2015aaai-exploring/) doi:10.1609/AAAI.V29I1.9401

BibTeX

@inproceedings{son2015aaai-exploring,
  title     = {{Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence}},
  author    = {Son, Tran Cao and Pontelli, Enrico and Baral, Chitta and Gelfond, Gregory},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {1604-1610},
  doi       = {10.1609/AAAI.V29I1.9401},
  url       = {https://mlanthology.org/aaai/2015/son2015aaai-exploring/}
}