Keyphrases
- domain knowledge
- prior knowledge
- theorem proving
- knowledge management
- real time
- knowledge extraction
- knowledge representation
- knowledge discovery
- knowledge acquisition
- higher level
- knowledge sharing
- raw data
- mixed integer programming
- mathematical programming
- expert knowledge
- knowledge sources
- learning systems
- search algorithm
- metadata
- machine learning
- data mining