Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach.
Emanuele De AngelisFabio FioravantiAlberto PettorossiMaurizio ProiettiPublished in: J. Log. Comput. (2022)
Keyphrases
- data types
- horn clauses
- first order logic
- data structure
- logic programs
- data model
- inference rules
- database systems
- user defined
- database management systems
- inductive logic programming
- database queries
- data mining algorithms
- data formats
- logic programming
- databases
- abstract data types
- boolean formula
- np complete
- knowledge representation
- expert systems
- machine learning