Parallel Instantiation of ASP Programs: Techniques and Experiments
Simona PerriFrancesco RiccaMarco SirianniPublished in: CoRR (2011)
Keyphrases
- answer set programming
- web applications
- answer sets
- parallel processing
- answer set programs
- sorting algorithms
- parallel implementation
- neural network
- artificial intelligence
- logic programming
- multiscale
- massively parallel
- database
- user interface
- relational databases
- search algorithm
- decision trees
- shared memory
- website
- computer architecture
- fixpoint
- stable model semantics
- parallel hardware
- declarative programming