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/}
}