Keyphrases
- temporal knowledge
- temporal reasoning
- temporal information
- temporal logic
- temporal constraints
- formal representation
- representation language
- first order logic
- inductive logic programming
- machine learning
- knowledge representation
- qualitative and quantitative
- prior knowledge
- user interface
- temporal patterns
- reinforcement learning
- database systems
- information systems