ML Anthology

Verification of Inconsistency-Aware Knowledge and Action Bases

Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov
IJCAI 2013 pp. 810-816
/ijcai/2013/calvanese2013ijcai-verification/
IJCAI Semantic Scholar

Cite

Text

Calvanese et al. "Verification of Inconsistency-Aware Knowledge and Action Bases." International Joint Conference on Artificial Intelligence, 2013.

Markdown

[Calvanese et al. "Verification of Inconsistency-Aware Knowledge and Action Bases." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/calvanese2013ijcai-verification/)

BibTeX

@inproceedings{calvanese2013ijcai-verification,
  title     = {{Verification of Inconsistency-Aware Knowledge and Action Bases}},
  author    = {Calvanese, Diego and Kharlamov, Evgeny and Montali, Marco and Santoso, Ario and Zheleznyakov, Dmitriy},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {810-816},
  url       = {https://mlanthology.org/ijcai/2013/calvanese2013ijcai-verification/}
}