Enhancing ASP Systems for Planning with Temporal Constraints

DOI10.1007/978-3-540-72200-7_31MaRDI QIDQ5425413zbMATH OpenOpenAlexFDO

Authors Veena S. Mellarkod, Michael Gelfond

Publication date 13 November 2007

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72200-7_31

Mathematics Subject Classification ID

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

Recommendations

• Integrating Answer Set Reasoning with Constraint Solving Techniques
• Temporal answer set programming
• A translational approach to constraint answer set solving
• Constraint answer set programming without grounding
• scientific article; zbMATH DE number 1234563

Cited in

(3)

• Integrating answer set programming and constraint logic programming
• Stable models and difference logic
• Integrating Answer Set Reasoning with Constraint Solving Techniques

This page was built for publication: Enhancing ASP Systems for Planning with Temporal Constraints

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