Towards Answer Set Programming with Sorts
From MaRDI portal
Publication:2851241
DOI10.1007/978-3-642-40564-8_14zbMath1405.68042MaRDI QIDQ2851241
Yuan Lin Zhang, Michael Gelfond, Evgenii Balai
Publication date: 10 October 2013
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-40564-8_14