Reasoning with Metric Temporal Logic and Resettable Skewed Clocks.
Alberto BombardelliStefano TonettaPublished in: NFM (2023)
Keyphrases
- metric temporal logic
- knowledge base
- reasoning systems
- reasoning tasks
- automated reasoning
- information systems
- spatial reasoning
- conflicting information
- model based reasoning
- causal reasoning
- reasoning process
- meta level
- data distribution
- real world
- inference engine
- class distribution
- probabilistic logic
- fuzzy reasoning
- description logics
- case based reasoning
- knowledge representation
- resource bounded
- skewed data
- expert systems
- artificial intelligence