Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers

DOI10.1016/j.jalgor.2008.02.006zbMath1162.68668OpenAlexW2167808293MaRDI QIDQ3527695

Francesco Ricca, Nicola Leone, Wolfgang Faber, Marco Maratea

Publication date: 29 September 2008

Published in: Journal of Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jalgor.2008.02.006

zbMATH Keywords

heuristicsnonmonotonic reasoningknowledge representation and reasoning

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (5)

Anytime Computation of Cautious Consequences in Answer Set Programming ⋮ The Seventh Answer Set Programming Competition: Design and Results ⋮ Efficiently Coupling the I-DLV Grounder with ASP Solvers ⋮ Answer Set Programming: A Primer ⋮ On the relation among answer set solvers

Uses Software

• GNT
• Chaff
• BerkMin
• Quaffle

This page was built for publication: Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers