TopLog: ILP Using a Logic Program Declarative Bias.
Stephen MuggletonJosé Carlos Almeida SantosAlireza Tamaddoni-NezhadPublished in: ICLP (2008)
Keyphrases
- logic programs
- inductive logic programming
- abductive logic programming
- background knowledge
- logic programming
- declarative semantics
- stable models
- relational learning
- fixpoint
- answer sets
- answer set programming
- normal logic programs
- ilp systems
- horn clauses
- predicate invention
- knowledge representation
- stable model semantics
- general logic programs
- prolog programs
- statistical relational learning
- deductive databases
- answer set semantics
- existentially quantified
- logic program updates
- computational properties
- model theoretic
- inside outside algorithm
- declarative programming
- machine learning
- object oriented
- search space
- expert systems