Inconsistency Tolerance
From MaRDI portal
Publication:5464026
DOI10.1007/b104925zbMath1111.68662MaRDI QIDQ5464026
Marcelo Arenas, Wenfei Fan, Leonid O. Libkin
Publication date: 17 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b104925
68T27: Logic in artificial intelligence
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
On the Notion of an XML Key, On notions of regularity for data languages, Reasoning about XML update constraints, Reasoning about XML with temporal logics and automata, On pebble automata for data languages with decidable emptiness problem, Testing XML constraint satisfiability