On the relation among answer set solvers.

Enrico Giunchiglia Nicola Leone Marco Maratea

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

Keyphrases

answer set solvers
answer set programming
answer sets
answer set programs
heuristic search
machine learning
high level
relational databases
transitive closure