Learning search-control heuristics for automated deduction systems with folding architecture networks.
Christoph GollerPublished in: ESANN (1999)
Keyphrases
- learning systems
- automated deduction
- search algorithm
- learning process
- management system
- macro operators
- autonomous systems
- adaptive control
- control system
- search strategies
- supervised learning
- search space
- high level
- social networks
- learning algorithm
- expert systems
- control strategies
- database
- artificial intelligence
- neural network