Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators.
Moreno FalaschiMaurizio GabbrielliKim MarriottCatuscia PalamidessiPublished in: Inf. Comput. (1997)
Keyphrases
- dynamic scheduling
- constraint logic programming
- closure operator
- fixed point
- constraint solving
- closed sets
- flexible manufacturing systems
- first order logic
- mining algorithm
- answer set programming
- logic programming
- formal concept analysis
- process planning
- constraint programming
- temporal reasoning
- constraint propagation
- grid services
- manufacturing systems
- artificial intelligence
- sufficient conditions
- binary data
- constraint satisfaction
- machine learning
- software engineering
- inductive inference
- global constraints
- database
- pattern mining