Look-back Techniques for ASP Programs with Aggregates.

Wolfgang Faber Nicola Leone Marco Maratea Francesco Ricca

Published in: Fundam. Informaticae (2011)

Keyphrases

answer set programming
answer set programs
web applications
answer sets
computer programs
automatic programming
stable model semantics
declarative programming
social networks
evolutionary algorithm
programming language
programming environment
aggregate functions
temporal aggregation