Completing open logic programs by constructive induction.
Esra ErdemPierre FlenerPublished in: Int. J. Intell. Syst. (1999)
Keyphrases
- logic programs
- constructive induction
- logic programming
- concept learning
- decision trees
- inductive logic programming
- answer sets
- fixpoint
- answer set programming
- background knowledge
- stable models
- domain theory
- domain knowledge
- feature construction
- inductive learning
- version space
- normal logic programs
- data mining
- machine learning
- least squares
- induction algorithms
- artificial intelligence
- genetic algorithm
- stable model semantics