Towards Answer Set Programming with Sorts

DOI10.1007/978-3-642-40564-8_14zbMATH Open1405.68042OpenAlexW39503642MaRDI QIDQ2851241FDOQ2851241

Yuanlin 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

Mathematics Subject Classification ID

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

Cited In (7)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851241)