Realms: A Structure for Consolidating Knowledge about Mathematical Theories.
Jacques CaretteWilliam M. FarmerMichael KohlhasePublished in: CoRR (2014)
Keyphrases
- domain knowledge
- knowledge base
- knowledge management
- additional knowledge
- hierarchical structure
- knowledge representation
- learning systems
- knowledge discovery
- mathematical knowledge
- structured information
- formal models
- knowledge sharing
- background knowledge
- knowledge acquisition
- prior knowledge
- expert systems
- neural network
- design theory
- semantic structure
- intelligent design
- knowledge extraction
- graph structure
- structural information
- design process
- knowledge based systems
- genetic algorithm