Integrating Answer Set Reasoning with Constraint Solving Techniques
From MaRDI portal
Publication:5458426
DOI10.1007/978-3-540-78969-7_4zbMath1137.68599MaRDI 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
Related Items
Clingcon: The next generation, Constraint Answer Set Solving, The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
Uses Software