Automated Refinement of First-Order Horn-Clause Domain Theories.
Bradley L. RichardsRaymond J. MooneyPublished in: Mach. Learn. (1995)
Keyphrases
- horn clauses
- domain theory
- knowledge based neural networks
- explanation based learning
- inductive logic programming
- background knowledge
- first order logic
- inference rules
- logic programs
- inductive learning
- domain knowledge
- explanation based generalization
- lazy learning
- database queries
- complex domains
- training examples
- logic programming
- concept learning
- databases
- previously learned
- data mining
- relational learning
- machine learning
- learning algorithm
- knowledge base
- database
- object oriented
- training set