Multiple Query Satisfiability of Constrained Horn Clauses.

Emanuele De Angelis Fabio Fioravanti Alberto Pettorossi Maurizio Proietti

Published in: CoRR (2022)

Keyphrases

horn clauses
database queries
multiple queries
database
query processing
databases
query evaluation
first order logic
relevance feedback
keywords
inference rules
np complete
inductive logic programming
modal logic
feature selection
artificial intelligence
machine learning