Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)

Devs

Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version) | Read Paper on Bytez