DOI10.1007/978-3-642-15240-5_16zbMath1207.68370MaRDI QIDQ3163885
Gert Smolka, Mark Kaminski
Publication date: 27 October 2010 Published in: IFIP Advances in Information and Communication Technology (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-642-15240-5_16
zbMATH Keywords
decidability; description logic; tableau calculus
Mathematics Subject Classification ID
68T27: Logic in artificial intelligence
03B25: Decidability of theories and sets of sentences