A Control Strategy Based on Heuristic Techniques for the Parallel Execution of Logic Programs.
Gitu JainBalkrishna RamkumarJon G. KuhlPublished in: IPPS (1994)
Keyphrases
- logic programs
- control strategy
- parallel execution
- logic programming
- control system
- mathematical model
- answer sets
- parallel processing
- data partitioning
- fixpoint
- cost model
- stable models
- answer set programming
- parallel computing
- computational properties
- partial deduction
- normal logic programs
- query execution
- dynamic programming
- query processing
- optimal solution
- query optimization
- loop formulas
- shared memory
- reinforcement learning
- databases
- real time
- database