The following publications are possibly variants of this publication:
- Verification of Generalized Inconsistency-Aware Knowledge and Action BasesDiego Calvanese, Marco Montali, Ario Santoso. IJCAI 2015: 2847-2853 [doi]
- Verification of Inconsistency-Aware Knowledge and Action BasesDiego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov. dlog 2013: 107-119 [doi]
- Verification of Description Logic Knowledge and Action BasesBabak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali. ecai 2012: 103-108 [doi]
- Verification of Context-Sensitive Knowledge and Action BasesDiego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso. jelia 2014: 514-528 [doi]
- Inconsistency Management in Generalized Knowledge and Action BasesDiego Calvanese, Marco Montali, Ario Santoso. dlog 2015: [doi]
- Inconsistency Tolerance in OWL 2 QL Knowledge and Action BasesDiego Calvanese, Evgeny Kharlamov, Marco Montali, Dmitriy Zheleznyakov. owled 2012: [doi]