Keyphrases
- partial order
- set theory
- partially ordered
- total order
- logical formulas
- partial ordering
- totally ordered
- default reasoning
- stable marriage
- vertex cover
- modal logic
- declarative semantics
- lattice structure
- conceptual graphs
- conditional independencies
- multi valued
- preference relations
- dynamic environments
- logic programming
- logic programs