DISCOUNT - A Distributed and Learning Equational Prover.
Jörg DenzingerMartin KronenburgStephan SchulzPublished in: J. Autom. Reason. (1997)
Keyphrases
- learning tasks
- learning systems
- learning process
- learning problems
- databases
- unsupervised learning
- knowledge acquisition
- distributed systems
- artificial neural networks
- case study
- empirical studies
- learning algorithm
- lightweight
- genetic algorithm
- neural network
- database
- learning scenarios
- theorem proving
- learning scheme