DOI10.1007/978-3-642-11486-1_32zbMath1274.68472OpenAlexW1537112436MaRDI QIDQ3402291
Thomas Studer
Publication date: 2 February 2010 Published in: Perspectives of Systems Informatics (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-642-11486-1_32
Mathematics Subject Classification ID
Logic in artificial intelligence (68T27) Knowledge representation (68T30)