Login / Signup
Verifying Relational Program Properties by Transforming Constrained Horn clauses.
Emanuele De Angelis
Fabio Fioravanti
Alberto Pettorossi
Maurizio Proietti
Published in:
CILC (2016)
Keyphrases
</>
horn clauses
logic programs
first order logic
relational data
inference rules
data model
inductive logic programming
general purpose
conceptual clustering
machine learning
model checking