Nonmonotonic Temporal Reasoning: a Logic-based Approach to Declarative Modeling.
Craig K. MacNishPublished in: Cybern. Syst. (1998)
Keyphrases
- temporal reasoning
- truth maintenance systems
- temporal constraints
- nonmonotonic logics
- qualitative and quantitative
- temporal constraint networks
- modal logic
- uncertainty management
- temporal information
- autoepistemic logic
- logic programming
- nonmonotonic reasoning
- temporal knowledge
- constraint propagation
- defeasible logic
- event calculus
- constraint networks
- spatial reasoning
- default logic
- reasoning tasks
- simple temporal
- inference mechanism
- knowledge representation
- computational properties
- constraint reasoning
- temporal relations
- temporal intervals
- automated reasoning