Reasoning Techniques in DatalogMTL.
Przemyslaw Andrzej WalegaMichal ZawidzkiBernardo Cuenca GrauPublished in: Datalog (2022)
Keyphrases
- knowledge representation
- reasoning systems
- knowledge base
- spatial reasoning
- computational properties
- analogical reasoning
- qualitative reasoning
- causal reasoning
- approximate reasoning
- knowledge representation and reasoning
- reasoning about actions
- model based diagnosis
- natural language
- search algorithm
- model based reasoning
- fuzzy reasoning
- reasoning problems
- logical reasoning
- formal models
- real time
- reasoning tasks
- automated reasoning
- video sequences
- social networks