TacticToe: Learning to Reason with HOL4 Tactics.
Thibault GauthierCezary KaliszykJosef UrbanPublished in: LPAR (2017)
Keyphrases
- learning systems
- learning process
- unsupervised learning
- machine learning
- reinforcement learning
- databases
- online learning
- information retrieval
- learning environment
- incremental learning
- artificial neural networks
- supervised learning
- empirical studies
- learning analytics
- learning problems
- mobile learning
- active learning
- prior knowledge
- expert systems
- multi agent