Integrating Answer Set Reasoning with Constraint Solving Techniques

DOI10.1007/978-3-540-78969-7_4MaRDI QIDQ5458426zbMATH OpenOpenAlexFDO

Authors Veena S. Mellarkod, Michael Gelfond

Publication date 11 April 2008

Published in Functional and Logic Programming (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• Integrating answer set programming and constraint logic programming
• Enhancing ASP Systems for Planning with Temporal Constraints
• Constraint Answer Set Solving
• Representing constraint satisfaction problems in answer set programming
• Logic Programming

Cited in

(9)

• Integrating answer set programming and constraint logic programming
• Logic Programming
• On relation between constraint answer set programming and satisfiability modulo theories
• Enhancing ASP Systems for Planning with Temporal Constraints
• Integrating finite domain and set constraints into a set-based constraint language
• Constraint answer set solver EZCSP and why integration schemas matter
• The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
• Constraint Answer Set Solving
• \textit{clingcon}: the next generation

Describes a project that uses

Uses Software

• Smodels

This page was built for publication: Integrating Answer Set Reasoning with Constraint Solving Techniques

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