ML Anthology

Model Checking for Nonmonotonic Logics: Algorithms and Complexity

Riccardo Rosati
IJCAI 1999 pp. 76-83
/ijcai/1999/rosati1999ijcai-model/
PDF IJCAI Semantic Scholar

Cite

Text

Rosati. "Model Checking for Nonmonotonic Logics: Algorithms and Complexity." International Joint Conference on Artificial Intelligence, 1999.

Markdown

[Rosati. "Model Checking for Nonmonotonic Logics: Algorithms and Complexity." International Joint Conference on Artificial Intelligence, 1999.](https://mlanthology.org/ijcai/1999/rosati1999ijcai-model/)

BibTeX

@inproceedings{rosati1999ijcai-model,
  title     = {{Model Checking for Nonmonotonic Logics: Algorithms and Complexity}},
  author    = {Rosati, Riccardo},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1999},
  pages     = {76-83},
  url       = {https://mlanthology.org/ijcai/1999/rosati1999ijcai-model/}
}