DOI10.1007/978-3-642-29414-3_15zbMath1356.68032MaRDI QIDQ2900482
Steven O. Kimbrough, Andrew J. I. Jones
Publication date: 23 July 2012 Published in: Logic Programs, Norms and Action (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-642-29414-3_15
Mathematics Subject Classification ID
68T27: Logic in artificial intelligence
68N17: Logic programming