b

DiscoverModelsSearch
About
Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)
2013
·
arXiv