Compilation of Tight ASP Programs.

Carmine Dodaro Giuseppe Mazzotta Francesco Ricca

Published in: ECAI (2023)

Keyphrases

answer set programming
lower bound
answer sets
upper bound
stable model semantics
worst case
answer set programs
web applications
computer programs
genetic algorithm
declarative programming
programs written
fixpoint
logic programs
expert systems
image sequences
case study
website
computer vision