Compositional Temporal Logic Based on Partial Order.
Adrianna AlexanderWolfgang ReisigPublished in: TIME (2004)
Keyphrases
- partial order
- partially ordered
- totally ordered
- temporal planning
- total order
- spatio temporal
- lattice structure
- partial ordering
- knowledge representation
- stable marriage
- temporal reasoning
- set theory
- multi dimensional
- vertex cover
- temporal constraints
- conceptual graphs
- temporal information
- dominance relation
- sequential patterns
- maximum weight
- reinforcement learning