Discrimination-Based Constructive Induction of Logic Programs.
Boonserm KijsirikulMasayuki NumaoMasamichi ShimuraPublished in: AAAI (1992)
Keyphrases
- logic programs
- constructive induction
- logic programming
- concept learning
- decision trees
- background knowledge
- inductive logic programming
- answer sets
- domain theory
- fixpoint
- inductive learning
- stable models
- answer set programming
- strong equivalence
- version space
- domain knowledge
- feature construction
- horn clauses
- feature selection
- normal logic programs
- active learning
- machine learning