A SAT-based polynomial space algorithm for answer set programming.

Enrico Giunchiglia Yuliya Lierler Marco Maratea

Published in: NMR (2004)

Keyphrases

answer set programming
logic programs
np hard
optimal solution
search space
answer sets
genetic algorithm
constraint logic programming
stable model semantics
artificial intelligence
relational databases
logic programming
semantic web
heuristic search
tree decomposition