Experimenting with parallelism for the instantiation of ASP programs.

Francesco Calimeri Simona Perri Francesco Ricca

Published in: J. Algorithms (2008)

Keyphrases

answer set programming
answer sets
computer programs
answer set programs
web applications
stable model semantics
parallel processing
fixpoint
case study
automatic programming
data structure
end users
source code
parallel computing
java programs
declarative programming