Logical Difference Computation with CEX2.5

DOI10.1007/978-3-642-31365-3_29zbMATH Open1358.68258OpenAlexW23284373MaRDI QIDQ2908508FDOQ2908508

Authors: B. Konev, M. Ludwig, F. Wolter 

Publication date: 5 September 2012

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31365-3_29

Recommendations

• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Speeding up the constraint-based method in difference logic
• Differential methods in logic program analysis
• Publication:4940934
• scientific article; zbMATH DE number 3693166
• scientific article; zbMATH DE number 1292288
• Differential Refinement Logic
• scientific article; zbMATH DE number 1956566
• A two-level logic approach to reasoning about computations

zbMATH Keywords

description logicslogical differenceontology versioning

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cited In (4)

• Query inseparability for \(\mathcal{ALC}\) ontologies
• The Logical Difference Problem for Description Logic Terminologies
• Inseparability and conservative extensions of description logic ontologies: a survey
• The logical difference for the lightweight description logic \(\mathcal {EL}\)

Uses Software

• CEX

This page was built for publication: Logical Difference Computation with CEX2.5

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2908508)