Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3.
Joachim JansenAlbert JorissenGerda JanssensPublished in: Theory Pract. Log. Program. (2013)
Keyphrases
- rule learning
- knowledge representation
- inference engine
- backward chaining
- logic programming
- programming language
- machine learning
- first order logic
- forward chaining
- input data
- expert systems
- classification rules
- production rules
- logical rules
- query language
- database systems
- horn clauses
- prolog programs
- logic programming language
- databases
- abstract machine
- inductive logic programming
- decision rules
- background knowledge
- knowledge base
- neural network