KALC: a constructive semantics for ALC
From MaRDI portal
Publication:2901214
DOI10.3166/jancl.21.233-255zbMath1242.68304OpenAlexW2019636538MaRDI QIDQ2901214
Publication date: 17 July 2012
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3166/jancl.21.233-255
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
- Optimization techniques for propositional intuitionistic logic and their implementation
- Towards constructive DL for abstraction and refinement
- \(\mathcal {BCDL}\): Basic constructive description logic
- An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic
- Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic
This page was built for publication: KALC: a constructive semantics for ALC