Towards answer set programming with sorts

DOI10.1007/978-3-642-40564-8_14MaRDI QIDQ2851241zbMATH OpenOpenAlexFDO

Authors Evgenii Balai, Yuanlin Zhang, 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

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

Recommendations

• Knowledge Representation, Reasoning and Declarative Problem Solving
• Answer Set Programming: A Primer
• Answer set programming
• Towards a Type Discipline for Answer Set Programming
• Extensions of answer set programming

Cited in

(8)

• What do you really want to do? Towards a theory of intentions for human-robot collaboration
• Testing in ASP: revisited language and programming environment
• P-log: refinement and a new coherency condition
• scientific article; zbMATH DE number 512377 (Why is no real title available?)
• scientific article; zbMATH DE number 1931680 (Why is no real title available?)
• Introducing computer science to high school students through logic programming
• onlineSPARC: a programming environment for answer set programming
• Knowledge-based reasoning and learning under partial observability in ad hoc teamwork

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)