Keyphrases
- partial order
- default reasoning
- partially ordered
- conceptual graphs
- total order
- partial ordering
- lattice structure
- declarative semantics
- preference relations
- formal semantics
- logical formulas
- stable marriage
- causal links
- data mining
- dominance relation
- semantic information
- bayesian networks
- maximum weight
- operational semantics
- logic programming
- high dimensional
- vertex cover
- data streams