A Qualitative Temporal Extension of Here-and-There Logic.
Thomas EiterPatrik SchneiderPublished in: LPNMR (2022)
Keyphrases
- order of magnitude reasoning
- linear temporal logic
- qualitative reasoning
- spatio temporal
- temporal information
- logic programming
- linear time temporal logic
- spatial and temporal
- interval algebra
- temporal reasoning
- proof theory
- proof theoretic
- qualitative and quantitative
- asynchronous circuits
- temporal consistency
- qualitative information
- temporal relations
- probability theory
- temporal databases
- temporal data
- quantitative and qualitative
- modal logic
- automated reasoning
- formal theory
- predicate logic
- temporal analysis
- default theories
- possibility theory
- data sets
- space time
- neural network