Parallel instantiation of ASP programs: techniques and experiments.

Simona Perri Francesco Ricca Marco Sirianni

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

Keyphrases

answer set programming
answer sets
answer set programs
web applications
parallel processing
sorting algorithms
parallel implementation
data sets
parallel computation
general purpose
neural network
expert systems
clustering algorithm
stable model semantics
databases
real time
high level programming language