On the Effectiveness of Looking Ahead in Search for Answer Sets.

Guohua Liu Jia-Huai You

Published in: LPNMR (2007)

Keyphrases

answer sets
logic programs
logic programming
search algorithm
search space
answer set programming
extended logic programs
artificial intelligence
search strategy
search strategies
normal logic programs
state space
programming language
information retrieval systems
search methods
loop formulas