Completeness and Properness of Refinement Operators in Inductive Logic Programming.
Patrick R. J. van der LaagShan-Hwei Nienhuys-ChengPublished in: J. Log. Program. (1998)
Keyphrases
- refinement operators
- inductive logic programming
- relational learning
- background knowledge
- ilp systems
- concept learning
- logic programs
- machine learning
- first order logic
- rule learning
- logic programming
- statistical relational learning
- multi relational
- prior knowledge
- description logics
- markov logic
- constraint satisfaction
- text classification
- semi supervised
- relational databases
- search algorithm