Nonmonotonic Temporal Reasoning: Persistence, Justified Causation and Event Minimization.
Sven LorenzPublished in: ISMIS (1991)
Keyphrases
- temporal reasoning
- temporal relations
- temporal constraints
- temporal information
- temporal intervals
- qualitative and quantitative
- spatial reasoning
- constraint networks
- truth maintenance systems
- reasoning tasks
- temporal patterns
- uncertainty management
- temporal constraint networks
- temporal knowledge
- event calculus
- logic programming
- path consistency
- interval algebra
- simple temporal
- nonmonotonic reasoning
- default logic
- nonmonotonic logics
- series parallel
- complex event processing
- constraint reasoning
- objective function
- temporal relationships
- modal logic
- np complete
- description logics