Partial Compilation of ASP Programs.

Bernardo Cuteri Carmine Dodaro Francesco Ricca Peter Schüller

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

Keyphrases

answer set programming
answer sets
computer programs
answer set programs
web applications
stable model semantics
partial information
real world
genetic algorithm
video sequences
logic programming
declarative programming