Dynamic scheduling in parallel answer set programming solvers.
Hung Viet LeEnrico PontelliPublished in: SpringSim (2) (2007)
Keyphrases
- answer set programming
- dynamic scheduling
- modulo theories
- declarative programming
- logic programs
- logic programming
- answer sets
- flexible manufacturing systems
- reasoning tasks
- process planning
- satisfiability modulo theories
- causal theories
- constraint logic programming
- general purpose
- stable model semantics
- answer set programs
- update semantics
- disjunctive logic programming
- haplotype inference
- sat solvers
- stable models
- knowledge representation
- search algorithm
- data model
- grid services
- databases
- orders of magnitude
- manufacturing systems