Korn - Software Verification with Horn Clauses (Competition Contribution).

Published in: TACAS (2) (2023)

Keyphrases

horn clauses
conceptual clustering
first order logic
logic programs
inference rules
inductive logic programming
lattice theory
database queries
artificial intelligence
database
data sets
data mining
feature space
probabilistic model
software engineering