Condition Synthesis Realizability via Constrained Horn Clauses.

Bat-Chen Rothenberg Orna Grumberg Yakir Vizel Eytan Singher

Published in: NFM (2023)

Keyphrases

horn clauses
first order logic
inference rules
conceptual clustering
logic programs
inductive logic programming
sufficient conditions
lattice theory
database queries
function symbols
program synthesis
data mining
query processing
logic programming