Keyphrases
- partial order
- default reasoning
- partially ordered
- conceptual graphs
- total order
- stable marriage
- declarative semantics
- partial ordering
- lattice structure
- causal links
- logical formulas
- semantic information
- preference relations
- game theory
- logic programming
- set theory
- dominance relation
- operational semantics
- sequential patterns
- resource allocation
- maximum weight
- formal semantics