KI 2005: Advances in Artificial Intelligence

DOI10.1007/11551263zbMath1137.68589OpenAlexW2503248537MaRDI QIDQ5897739

Sebastian F. Brandt, Jörg Model

Publication date: 13 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11551263

Mathematics Subject Classification ID

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

Related Items (2)

Matching in Hybrid Terminologies ⋮ A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in $\cal EL$ w.r.t. Hybrid TBoxes

This page was built for publication: KI 2005: Advances in Artificial Intelligence