Time and Gödel: Fuzzy Temporal Reasoning in PSPACE.
Juan P. AguileraMartín DiéguezDavid Fernández-DuqueBrett McLeanPublished in: WoLLIC (2022)
Keyphrases
- temporal reasoning
- temporal constraints
- qualitative and quantitative
- constraint networks
- temporal information
- temporal knowledge
- reasoning tasks
- fuzzy sets
- event calculus
- spatial reasoning
- series parallel
- uncertainty management
- path consistency
- temporal constraint networks
- temporal relations
- simple temporal
- constraint reasoning