A parallel ASP instantiator based on DLV.
Simona PerriFrancesco RiccaMarco SirianniPublished in: DAMP (2010)
Keyphrases
- massively parallel
- answer set programming
- parallel computing
- logic programming
- answer sets
- logic programs
- web applications
- disjunctive logic programming
- answer set programs
- information retrieval
- image processing
- distributed memory machines
- real time
- stable model semantics
- parallel execution
- distributed memory
- parallel computation
- shared memory
- multiscale
- high level
- search engine
- data mining
- data sets