Towards Answer Set Programming with Sorts

DOI10.1007/978-3-642-40564-8_14zbMath1405.68042OpenAlexW39503642MaRDI QIDQ2851241

Yuan Lin Zhang, Evgenii Balai, Michael Gelfond

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

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Related Items (5)

What do you really want to do? Towards a theory of intentions for human-robot collaboration ⋮ Introducing Computer Science to High School Students Through Logic Programming ⋮ onlineSPARC: A Programming Environment for Answer Set Programming ⋮ Testing in ASP: revisited language and programming environment ⋮ P-log: refinement and a new coherency condition

This page was built for publication: Towards Answer Set Programming with Sorts