Learning from Multiple Proofs: First Experiments.
Daniel KühlweinJosef UrbanPublished in: PAAR@IJCAR (2012)
Keyphrases
- multiple tasks
- learning process
- learning systems
- supervised learning
- online learning
- incremental learning
- learning tasks
- unsupervised learning
- learning environment
- learning algorithm
- genetic algorithm
- probabilistic model
- neural network
- knowledge acquisition
- multi agent
- reinforcement learning
- multi task
- elementary school