Verification of Inconsistency-Aware Knowledge and Action Bases

Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov. Verification of Inconsistency-Aware Knowledge and Action Bases. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 810-816, IJCAI/AAAI, 2013. [doi]

Abstract

Abstract is missing.