Login / Signup
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses.
Emanuele De Angelis
Maurizio Proietti
Fabio Fioravanti
Alberto Pettorossi
Published in:
Theory Pract. Log. Program. (2022)
Keyphrases
</>
horn clauses
logic programs
inference rules
first order logic
conceptual clustering
inductive logic programming
database queries
function symbols
supply chain
logic programming
lattice theory
pairwise
probability distribution
general purpose