Logic Programming
From MaRDI portal
Publication:5313212
DOI10.1007/b99475zbMath1104.68375OpenAlexW2523427404MaRDI QIDQ5313212
Enrico Pontelli, Islam Elkabani, Tran Cao Son
Publication date: 26 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b99475
Related Items (6)
Constraint answer set solver EZCSP and why integration schemas matter ⋮ On relation between constraint answer set programming and satisfiability modulo theories ⋮ Relating constraint answer set programming languages and algorithms ⋮ Logic programs with abstract constraint atoms: the role of computations ⋮ Approximation of action theories and its application to conformant planning ⋮ An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
Uses Software
This page was built for publication: Logic Programming
