Keyphrases
- knowledge representation
- formal theory
- expert systems
- multiresolution
- formal model
- computational properties
- feature selection
- e learning
- computational complexity
- digital libraries
- probabilistic model
- artificial intelligence
- logic programs
- theoretical framework
- situation calculus
- probabilistic reasoning
- representation language
- machine learning