Situated Nonmonotonic Temporal Reasoning with BABY-SIT.
Erkan TinVarol AkmanPublished in: AI Commun. (1997)
Keyphrases
- temporal reasoning
- temporal constraints
- truth maintenance systems
- nonmonotonic logics
- temporal information
- logic programming
- event calculus
- qualitative and quantitative
- temporal constraint networks
- temporal knowledge
- path consistency
- uncertainty management
- reasoning tasks
- nonmonotonic reasoning
- modal logic
- spatial reasoning
- simple temporal
- temporal relations
- series parallel
- constraint networks
- constraint reasoning
- default logic
- temporal intervals
- spatial information