Solving Horn Clauses on Inductive Data Types Without Induction.
Emanuele De AngelisFabio FioravantiAlberto PettorossiMaurizio ProiettiPublished in: Theory Pract. Log. Program. (2018)
Keyphrases
- data types
- horn clauses
- inductive logic programming
- inductive learning
- data model
- background knowledge
- logic programs
- data structure
- first order logic
- database management systems
- functional programs
- database systems
- user defined
- machine learning
- inductive inference
- database queries
- logic programming
- data mining algorithms
- prior knowledge
- inference rules
- database
- training data
- domain knowledge
- knowledge representation
- management system
- data mining
- abstract data types
- boolean formula