Login / Signup
Analysis and Transformation of Constrained Horn Clauses for Program Verification.
Emanuele De Angelis
Fabio Fioravanti
John P. Gallagher
Manuel V. Hermenegildo
Alberto Pettorossi
Maurizio Proietti
Published in:
CoRR (2021)
Keyphrases
</>
data points
horn clauses
data analysis
database
machine learning
artificial intelligence
inductive logic programming
inference rules