Machine Learning Approach to Enhance the Design of Automated Theorem Provers.
Mahdi KhalifaHazem M. RaafatMohammed AlmullaPublished in: ICONIP (2) (2012)
Keyphrases
- machine learning
- engineering design
- pattern recognition
- knowledge discovery
- information extraction
- design space
- optimal design
- computational intelligence
- reinforcement learning
- case study
- artificial intelligence
- data mining
- user interface
- database systems
- data sets
- building blocks
- design process
- learning systems
- software architecture
- design principles
- embedded systems
- information systems