A Fast Algorithm for Consistency Checking Partially Ordered Time.
Leif ErikssonVictor LagerkvistPublished in: CoRR (2023)
Keyphrases
- consistency checking
- partially ordered
- partial order
- stochastic search
- temporal constraints
- totally ordered
- query answering
- partial ordering
- event calculus
- interval valued
- temporal reasoning
- total order
- possibilistic logic
- data exchange
- constraint satisfaction problems
- qualitative and quantitative
- data sets
- path consistency
- decision support
- multi dimensional
- objective function