Automated Generation of Interesting Theorems.
Yury PuzisYi GaoGeoff SutcliffePublished in: FLAIRS Conference (2006)
Keyphrases
- semi automated
- semi automatic
- generation process
- fully automated
- data structure
- interesting patterns
- artificial intelligence
- closely related
- information technology
- automated classification
- computer aided
- fully automatic
- control system
- database
- wide range
- multi agent
- bayesian networks
- e learning
- data mining
- neural network
- databases
- real time