DOI10.1613/jair.5260zbMath1405.68342MaRDI QIDQ2974510
Manuel Bodirsky, Peter Jonsson
Publication date: 10 April 2017 Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1613/jair.5260
Mathematics Subject Classification ID
68T27: Logic in artificial intelligence
03C35: Categoricity and completeness of theories