Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures.
Giuliano GrossiMassimo MarchiEnrico PontelliAlessandro ProvettiPublished in: J. Log. Comput. (2009)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- parallel computation
- parallel computers
- answer set semantics
- distributed systems
- heterogeneous environments
- normal logic programs
- interconnection networks
- multi core processors
- parallel processing
- loop formulas
- programming language
- answer set programs
- shared memory
- stable models
- artificial intelligence
- np complete
- description logics
- database systems