A Hybrid Architecture and Adaptive Scheduling for Parallel Execution of Logic Programs.
Surapong AuwatanamongkolPrasenjit BiswasPublished in: ICPP (1) (1991)
Keyphrases
- logic programs
- hybrid architecture
- parallel execution
- logic programming
- answer sets
- stable models
- data partitioning
- fixpoint
- answer set programming
- scheduling problem
- cost model
- parallel computing
- parallel processing
- process management
- massively parallel
- parallel machines
- query execution
- expert systems
- query processing