Integrating Answer Set Reasoning with Constraint Solving Techniques

DOI10.1007/978-3-540-78969-7_4zbMATH Open1137.68599OpenAlexW4244653005MaRDI QIDQ5458426FDOQ5458426

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

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

Mathematics Subject Classification ID

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

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

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)