Logic Programming
From MaRDI portal
Publication:5475770
DOI10.1007/11562931zbMath1165.68486OpenAlexW2104948204MaRDI QIDQ5475770
Enrico Pontelli, Andrea Formisano, Agostino Dovier
Publication date: 27 June 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11562931
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Logic programming (68N17)
Related Items (4)
Constraint Answer Set Programming without Grounding ⋮ Evaluating ASP and commercial solvers on the CSPLib ⋮ Preface ⋮ An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
This page was built for publication: Logic Programming
