Optimizing Answer Set Computation via Heuristic-Based Decomposition.

Francesco Calimeri Simona Perri Jessica Zangari

Published in: CoRR (2018)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
answer set programs
stable models
stable model semantics
database systems
general purpose
normal logic programs
loop formulas