Keyphrases
- domain knowledge
- knowledge representation
- knowledge base
- knowledge management
- expert systems
- knowledge based systems
- learning environment
- knowledge extraction
- real time
- theorem prover
- theorem proving
- concept maps
- knowledge transfer
- expert knowledge
- raw data
- human experts
- formal proof
- conceptual model
- knowledge acquisition
- collaborative learning
- data sources
- prior knowledge
- digital libraries
- reinforcement learning
- multiscale
- decision making
- artificial intelligence