Multiple Query Satisfiability of Constrained Horn Clauses.

Emanuele De Angelis Fabio Fioravanti Alberto Pettorossi Maurizio Proietti

Published in: PADL (2023)

Keyphrases

horn clauses
database queries
multiple queries
database
query processing
first order logic
query evaluation
satisfiability problem
logic programs
np complete
knowledge base
phase transition
inference rules
propositional logic