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

Devs

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