DOI10.1613/jair.5271zbMath1405.68378MaRDI QIDQ2974513
Da you Liu, Minghao Yin, Yong Lai
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.5271
Mathematics Subject Classification ID
68N20: Theory of compilers and interpreters
68T30: Knowledge representation