Integration of Automated and Interactive Theorem Proving in ILP.
Bernd I. DahnJürgen GehneTh. HonigmannAndreas WolfPublished in: CADE (1997)
Keyphrases
- interactive theorem proving
- inductive logic programming
- machine learning
- semi automatic
- data sets
- information integration
- fully automated
- fully automatic
- computer vision
- decision making
- clustering algorithm
- database systems
- learning environment
- data driven
- data integration
- data mining
- real world
- neural network
- databases
- relational learning
- automated analysis
- database