Cautious Induction: An Alternative to Clause-at-a Time Hypothesis Construction in Inductive Logic Programming.
Simon AnthonyAlan M. FrischPublished in: New Gener. Comput. (1999)
Keyphrases
- inductive logic programming
- refinement operators
- horn clauses
- background knowledge
- relational learning
- inductive learning
- concept learning
- relational data mining
- logic programs
- rule learning
- first order logic
- subgroup discovery
- logic programming
- predicate invention
- program synthesis
- knowledge discovery in databases
- machine learning
- multi relational data mining
- statistical relational learning
- ilp systems
- search space
- finite element mesh
- hypothesis space
- multi relational
- theorem prover