b
Discover
Models
Search
About
Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)
2013
·
arXiv