Verification of Inconsistency-Aware Knowledge and Action Bases.

Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov

Browse the full IJCAI paper archive.