Indeterminate Concurrent Constraint Programming: A Fixpoint Semantics for Non-Terminating Computations.
Sven-Olof NyströmBengt JonssonPublished in: ILPS (1993)
Keyphrases
- constraint programming
- fixpoint semantics
- logic programs
- deductive databases
- combinatorial problems
- fixpoint
- constraint satisfaction problems
- constraint propagation
- model theoretic
- datalog programs
- constraint satisfaction
- global constraints
- symmetry breaking
- logic programming
- search strategies
- constraint logic programming
- hard and soft constraints
- constraint solving
- data complexity
- arc consistency
- finite domain
- declarative semantics
- data mining
- inductive logic programming
- np hard