Login / Signup
Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification.
Márk Somorjai
Mihály Dobos-Kovács
Zsófia Ádám
Levente Bajczi
András Vörös
Published in:
CoRR (2024)
Keyphrases
</>
horn clauses
inference rules
inductive logic programming
first order logic
logic programs
database
database queries
conceptual clustering
function symbols
semi supervised
background knowledge
linear model
lattice theory