Partial Compilation of ASP Programs.

Bernardo Cuteri Carmine Dodaro Francesco Ricca Peter Schüller

Published in: CoRR (2019)

Keyphrases

answer set programming
answer sets
answer set programs
logic programs
web applications
stable model semantics
declarative programming
stable models
database
real time
information retrieval
end users
logic programming
computer programs
fixpoint