Partial Order and SOS Semantics for Linear Constraint Programs.
Eike BestFrank S. de BoerCatuscia PalamidessiPublished in: COORDINATION (1997)
Keyphrases
- partial order
- linear constraints
- declarative semantics
- partially ordered
- conceptual graphs
- total order
- constraint databases
- formal semantics
- logic programming
- preference relations
- nonlinear programming
- logic programming language
- lattice structure
- logical formulas
- deductive databases
- stable models
- totally ordered
- causal links
- temporal planning
- sequential patterns
- image restoration