Induction of Logic Programs by Example-Guided Unfolding.
Henrik BoströmPeter Idestam-AlmquistPublished in: J. Log. Program. (1999)
Keyphrases
- logic programs
- inductive logic programming
- functional programs
- logic programming
- answer sets
- stable models
- background knowledge
- answer set programming
- fixpoint
- term rewriting systems
- machine learning
- computational properties
- partial deduction
- prolog programs
- horn clauses
- normal logic programs
- strong equivalence
- artificial intelligence
- relational learning
- reasoning tasks
- existentially quantified
- query evaluation