Solving Horn Clauses on Inductive Data Types Without Induction - ERRATUM.
Emanuele De AngelisFabio FioravantiAlberto PettorossiMaurizio ProiettiPublished in: Theory Pract. Log. Program. (2019)
Keyphrases
- data types
- horn clauses
- inductive logic programming
- inductive learning
- data structure
- data model
- first order logic
- logic programs
- background knowledge
- database management systems
- database systems
- user defined
- machine learning
- functional programs
- inductive inference
- logic programming
- inference rules
- abstract data types
- databases
- information retrieval
- data mining algorithms
- query language
- artificial intelligence
- boolean formula
- data formats