Keyphrases
- multiresolution
- knowledge representation systems
- description logics
- knowledge base
- knowledge representation
- computational complexity
- theorem proving
- inference rules
- computational problems
- np hard
- np complete
- database systems
- machine learning
- computationally tractable
- bounded treewidth
- automated deduction
- reinforcement learning
- expert systems
- social networks
- exact computation
- learning algorithm