Optimizing Answer Set Computation via Heuristic-Based Decomposition.

Francesco Calimeri Simona Perri Jessica Zangari

Published in: Theory Pract. Log. Program. (2019)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
normal logic programs
answer set programs
sat solvers
machine learning
high level
objective function
data model
counter examples