Logic Programming

DOI10.1007/11562931zbMath1165.68488OpenAlexW2104948204MaRDI QIDQ5475768

Marco Maratea, Enrico Giunchiglia

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

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items

Answer set programming based on propositional satisfiability, Disjunctive answer set solvers via templates, What is answer set programming to propositional satisfiability, On the relation among answer set solvers, Abstract Answer Set Solvers

Uses Software

• ASSAT
• Cmodels
• Chaff