Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates.
Emanuele De AngelisFabio FioravantiAlberto PettorossiMaurizio ProiettiPublished in: IJCAR (1) (2020)
Keyphrases
- data types
- horn clauses
- data model
- user defined
- inference rules
- first order logic
- data structure
- database management systems
- database systems
- logic programs
- inductive logic programming
- function symbols
- abstract data types
- database queries
- data formats
- natural language processing
- object oriented
- management system
- knowledge discovery
- domain knowledge
- natural language
- data mining