Realms: A Structure for Consolidating Knowledge about Mathematical Theories.
Jacques CaretteWilliam M. FarmerMichael KohlhasePublished in: CICM (2014)
Keyphrases
- prior knowledge
- additional knowledge
- legal knowledge
- knowledge base
- knowledge extraction
- knowledge acquisition
- higher level
- structured information
- semantic structure
- mathematical concepts
- expert systems
- knowledge sharing
- conceptual model
- functional properties
- formal models
- structural information
- artificial intelligence
- e learning
- decision making