Verification of Generalized Inconsistency-Aware Knowledge and Action Bases.

Diego Calvanese, Marco Montali, Ario Santoso

Browse the full IJCAI paper archive.