\(\mathcal {BCDL}\): Basic constructive description logic
From MaRDI portal
Publication:972431
DOI10.1007/s10817-009-9160-7zbMath1197.03027OpenAlexW2014495597MaRDI QIDQ972431
Camillo Fiorentini, Guido Fiorino, Mauro Ferrari
Publication date: 26 May 2010
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-009-9160-7
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Attributive concept descriptions with complements
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
- A constructivism based on classical truth
- Semantical investigations in Heyting's intuitionistic logic
- From constructivism to computer science
- Abstract parametric classes and abstract data types defined by classical and constructive logical methods
- Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Actions Over a Constructive Semantics for Description Logics
- Snapshot Generation in a Constructive Object-Oriented Modeling Language
- Constructible falsity
This page was built for publication: \(\mathcal {BCDL}\): Basic constructive description logic