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

Add code
Apr 23, 2013

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: