Show simple item record

dc.contributor.authorCalvanese D
dc.contributor.authorKharlamov E
dc.contributor.authorMontali M
dc.contributor.authorSantoso A
dc.contributor.authorZheleznyakov D
dc.contributor.editorRossi F
dc.date.accessioned2018-08-01T08:32:17Z
dc.date.available2018-08-01T08:32:17Z
dc.date.issued2013
dc.identifier.isbn978-1-57735-633-2
dc.identifier.urihttp://dl.acm.org/citation.cfm?id=2540246
dc.identifier.urihttp://hdl.handle.net/10863/5353
dc.description.abstractDescription Logic Knowledge and Action Bases (KABs) have been recently introduced as a mechanism that provides a semantically rich representation of the information on the domain of interest in terms of a DL KB and a set of actions to change such information over time, possibly introducing new objects. In this setting, decidability of verification of sophisticated temporal properties over KABs, expressed in a variant of first-order µ-calculus, has been shown. However, the established framework treats inconsistency in a simplistic way, by rejecting inconsistent states produced through action execution. We address this problem by showing how inconsistency handling based on the notion of repairs can be integrated into KABs, resorting to inconsistency-tolerant semantics. In this setting, we establish decidability and complexity of verification.en_US
dc.language.isoenen_US
dc.publisherAAAI Pressen_US
dc.rights
dc.titleVerification of Inconsistency-Aware Knowledge and Action Basesen_US
dc.typeBook chapteren_US
dc.date.updated2018-05-16T07:36:32Z
dc.publication.titleProceedings of the 23rd international joint conference on Artificial Intelligence (IJCAI 2013)
dc.language.isiEN-GB
dc.description.fulltextopenen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record