A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics.
Mihnea IancuMichael KohlhasePublished in: CICM (2015)
Keyphrases
- formal model
- objective function
- experimental data
- computational model
- conceptual model
- prior knowledge
- management system
- high level
- search engine
- knowledge base
- expert knowledge
- machine learning
- simulation model
- neural network model
- markov chain
- conceptual framework
- subject matter
- parameter estimation
- theoretical analysis
- probability distribution
- artificial neural networks
- reinforcement learning
- decision trees
- artificial intelligence