Experimenting with Look-Back Heuristics for Hard ASP Programs

DOI10.1007/978-3-540-72200-7_11zbMath1149.68330OpenAlexW1581598469MaRDI QIDQ5425402

Wolfgang Faber, Marco Maratea, Francesco Ricca, Nicola Leone

Publication date: 13 November 2007

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72200-7_11

Mathematics Subject Classification ID

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

Related Items

On look-ahead heuristics in disjunctive logic programming

Uses Software

• GNT
• BerkMin