Integrating Answer Set Reasoning with Constraint Solving Techniques

DOI10.1007/978-3-540-78969-7_4zbMath1137.68599OpenAlexW4244653005MaRDI QIDQ5458426

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)

Related Items (3)

Clingcon: The next generation ⋮ Constraint Answer Set Solving ⋮ The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments

Uses Software

• Smodels

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