DOI10.1007/978-3-319-48758-8_4zbMath1483.68364MaRDI QIDQ2835862
Franz Baader, Alexander Okhotin, Pavlos Marantidis
Publication date: 30 November 2016 Published in: Logics in Artificial Intelligence (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-319-48758-8_4
Mathematics Subject Classification ID
68T27: Logic in artificial intelligence
68T30: Knowledge representation