Lemma Generation for Horn Clause Satisfiability: A Preliminary Study.
Emanuele De AngelisFabio FioravantiAlberto PettorossiMaurizio ProiettiPublished in: VPT@Programming (2019)
Keyphrases
- horn clauses
- first order logic
- satisfiability problem
- phase transition
- inference rules
- logic programs
- inductive logic programming
- propositional logic
- computational complexity
- np complete
- johnson lindenstrauss
- terminological reasoning
- satisfiability testing
- database queries
- low level
- data mining
- database
- logic programming
- co occurrence
- knn
- high dimensional
- bayesian networks
- learning algorithm