Validation and verification of temporal knowledge as an important aspect of implementing a temporal knowledge base system supporting organizational creativity.
Maria Mach-KrólKrzysztof MichalikPublished in: FedCSIS (2015)
Keyphrases
- temporal knowledge
- formal representation
- knowledge base
- temporal reasoning
- temporal logic
- temporal information
- model checking
- temporal constraints
- first order logic
- temporal patterns
- representation language
- information systems
- knowledge representation
- expert systems
- temporal data
- qualitative and quantitative
- decision making
- spatial reasoning
- background knowledge
- data mining
- video sequences
- artificial intelligence
- conceptual graphs
- belief revision
- visual features
- knowledge based systems
- knowledge acquisition
- software engineering