Keyphrases
- reasoning systems
- machine learning
- automated reasoning
- description logics
- knowledge representation and reasoning
- diagnostic reasoning
- learning algorithm
- information extraction
- decision trees
- machine learning methods
- data mining
- pattern recognition
- knowledge representation
- computer science
- owl dl
- expert systems
- explanation based learning
- natural language processing
- theorem proving
- learning systems
- search algorithm
- machine learning approaches
- state space
- semi supervised learning
- np complete
- learning tasks
- inductive learning
- inference rules
- knowledge acquisition
- np hard
- knowledge base
- artificial intelligence
- data model
- data analysis
- reinforcement learning