On look-ahead heuristics in disjunctive logic programming.

Wolfgang Faber Nicola Leone Gerald Pfeifer Francesco Ricca

Published in: Ann. Math. Artif. Intell. (2007)

Keyphrases

disjunctive logic programming
logic programming
tree search
polynomial hierarchy
search algorithm
answer set programming
heuristic search
knowledge representation and reasoning
machine learning
logic programs
np complete
concept learning