ML Anthology

Belief Revision on Computation Tree Logic

Paulo T. Guerra, Renata Wassermann
IJCAI 2011 pp. 2810-2811
doi:10.5591/978-1-57735-516-8/IJCAI11-477 /ijcai/2011/guerra2011ijcai-belief/
IJCAI Semantic Scholar

Cite

Text

Guerra and Wassermann. "Belief Revision on Computation Tree Logic." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-477

Markdown

[Guerra and Wassermann. "Belief Revision on Computation Tree Logic." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/guerra2011ijcai-belief/) doi:10.5591/978-1-57735-516-8/IJCAI11-477

BibTeX

@inproceedings{guerra2011ijcai-belief,
  title     = {{Belief Revision on Computation Tree Logic}},
  author    = {Guerra, Paulo T. and Wassermann, Renata},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {2810-2811},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-477},
  url       = {https://mlanthology.org/ijcai/2011/guerra2011ijcai-belief/}
}