Managing Temporal Knowledge Using a Deductive Constraint Database System.
Roman GrossRobert W. MartiPublished in: BTW (1995)
Keyphrases
- temporal knowledge
- database systems
- temporal reasoning
- temporal information
- temporal logic
- formal representation
- temporal constraints
- databases
- first order logic
- representation language
- database management systems
- database design
- data model
- model checking
- database technology
- contextual information
- data management
- database applications
- qualitative and quantitative
- np complete
- knowledge representation
- video sequences