Optimizing the Computation of Heuristics for Answer Set Programming Systems.

Wolfgang Faber Nicola Leone Gerald Pfeifer

Published in: LPNMR (2001)

Keyphrases

answer set programming
logic programs
logic programming
answer set solvers
answer sets
constraint logic programming
stable model semantics
artificial intelligence
search space
np complete
search strategies
update semantics
causal theories
answer set programs