Inconsistency Tolerance
From MaRDI portal
Publication:5464026
DOI10.1007/b104925zbMath1111.68662OpenAlexW2914880889MaRDI 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
Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
On notions of regularity for data languages ⋮ On pebble automata for data languages with decidable emptiness problem ⋮ Reasoning about XML update constraints ⋮ Reasoning about XML with temporal logics and automata ⋮ On the Notion of an XML Key ⋮ Testing XML constraint satisfiability
This page was built for publication: Inconsistency Tolerance