Automated Reasoning About Metric and Topology
From MaRDI portal
Publication:3533154
DOI10.1007/11853886_44zbMath1152.68523OpenAlexW1489969750MaRDI QIDQ3533154
Frank Wolter, Dmitry Tishkovsky, Ullrich Hustadt, Michael Zakharyashchev
Publication date: 30 October 2008
Published in: Logics in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11853886_44
Related Items
CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity ⋮ $\textsc{Met\hspace{-.5pt}TeL}$ : A Tableau Prover with Logic-Independent Inference Engine ⋮ Using tableau to decide description logics with full role negation and identity
Uses Software
