Constrained Horn Clauses Satisfiability via Catamorphic Abstractions.
Emanuele De AngelisFabio FioravantiAlberto PettorossiMaurizio ProiettiPublished in: LOPSTR (2023)
Keyphrases
- horn clauses
- first order logic
- inference rules
- logic programs
- inductive logic programming
- database queries
- propositional logic
- satisfiability problem
- boolean formula
- high level
- function symbols
- computational complexity
- machine learning
- background knowledge
- phase transition
- general purpose
- bayesian networks
- artificial intelligence
- data mining
- data sets