Keyphrases
- computer vision
- formal methods
- knowledge base
- machine learning
- first order logic
- closely related
- theoretical framework
- knowledge representation
- information retrieval
- belief revision
- neural network
- mathematical foundations
- formal theory
- video sequences
- knowledge based systems
- multiscale
- genetic algorithm
- theoretical foundation
- theoretical basis
- general theory