ML Anthology

The Complexity of Model Checking for Belief Revision and Update

Paolo Liberatore, Marco Schaerf
AAAI 1996 pp. 556-561
/aaai/1996/liberatore1996aaai-complexity/
PDF AAAI Semantic Scholar

Cite

Text

Liberatore and Schaerf. "The Complexity of Model Checking for Belief Revision and Update." AAAI Conference on Artificial Intelligence, 1996.

Markdown

[Liberatore and Schaerf. "The Complexity of Model Checking for Belief Revision and Update." AAAI Conference on Artificial Intelligence, 1996.](https://mlanthology.org/aaai/1996/liberatore1996aaai-complexity/)

BibTeX

@inproceedings{liberatore1996aaai-complexity,
  title     = {{The Complexity of Model Checking for Belief Revision and Update}},
  author    = {Liberatore, Paolo and Schaerf, Marco},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1996},
  pages     = {556-561},
  url       = {https://mlanthology.org/aaai/1996/liberatore1996aaai-complexity/}
}