Inductive Synthesis of Logic Programs and Inductive Logic Programming.
Francesco BergadanoDaniele GunettiPublished in: LOPSTR (1993)
Keyphrases
- inductive logic programming
- logic programs
- functional programs
- program synthesis
- logic programming
- background knowledge
- relational learning
- concept learning
- stable models
- answer sets
- answer set programming
- recursive programs
- rule learning
- fixpoint
- refinement operators
- statistical relational learning
- ilp systems
- predicate invention
- computational properties
- horn clauses
- machine learning
- multi relational
- search algorithm
- artificial intelligence