C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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