Keyphrases
- partial order
- default reasoning
- partially ordered
- total order
- partial ordering
- stable marriage
- reasoning systems
- logical formulas
- lattice structure
- reasoning process
- totally ordered
- knowledge representation
- automated reasoning
- dominance relation
- decision making
- sequential patterns
- special case
- objective function
- reinforcement learning