A Decidable Constructive Description Logic

DOI10.1007/978-3-642-15675-5_7zbMath1306.68184OpenAlexW2124008746MaRDI QIDQ4930754

Guido Fiorino, Camillo Fiorentini, Mauro Ferrari, Loris Bozzato

Publication date: 1 October 2010

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15675-5_7

Mathematics Subject Classification ID

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

Related Items (1)

Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models

This page was built for publication: A Decidable Constructive Description Logic