Time and Gödel: Fuzzy temporal reasoning in PSPACE.
Juan Pablo Aguilera OzunaMartín DiéguezDavid Fernández-DuqueBrett McLeanPublished in: CoRR (2022)
Keyphrases
- temporal reasoning
- temporal constraints
- qualitative and quantitative
- temporal information
- temporal knowledge
- constraint networks
- spatial reasoning
- reasoning tasks
- uncertainty management
- temporal constraint networks
- path consistency
- event calculus
- simple temporal
- series parallel
- temporal relations
- temporal logic
- constraint reasoning
- temporal intervals
- disjunctive temporal
- computer vision
- fuzzy sets