ML Anthology

Verification of Generalized Inconsistency-Aware Knowledge and Action Bases

Diego Calvanese, Marco Montali, Ario Santoso
IJCAI 2015 pp. 2847-2853
/ijcai/2015/calvanese2015ijcai-verification/
IJCAI Semantic Scholar

Cite

Text

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

Markdown

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

BibTeX

@inproceedings{calvanese2015ijcai-verification,
  title     = {{Verification of Generalized Inconsistency-Aware Knowledge and Action Bases}},
  author    = {Calvanese, Diego and Montali, Marco and Santoso, Ario},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {2847-2853},
  url       = {https://mlanthology.org/ijcai/2015/calvanese2015ijcai-verification/}
}