Verification of Inconsistency−Aware Knowledge and Action Bases

Diego Calvanese‚ Evgeny Kharlamov‚ Marco Montali‚ Ario Santoso and Dmitriy Zheleznyakov