Keyphrases
- temporal knowledge
- temporal reasoning
- temporal information
- temporal logic
- temporal constraints
- formal representation
- first order logic
- representation language
- knowledge based systems
- model checking
- qualitative and quantitative
- temporal patterns
- conceptual modeling
- software engineering
- constraint satisfaction problems
- spatial information