DOI10.1007/978-3-319-34111-8_32zbMath1355.68243MaRDI QIDQ2814526
Aaron Hunter
Publication date: 22 June 2016 Published in: Advances in Artificial Intelligence (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-319-34111-8_32
Mathematics Subject Classification ID
68T27: Logic in artificial intelligence
68T30: Knowledge representation