Predicate Pairing for Program Verification.

Emanuele De Angelis Fabio Fioravanti Alberto Pettorossi Maurizio Proietti

Published in: CoRR (2017)

Keyphrases

first order logic
support vector machine
database
neural network
decision making
high level
database systems
domain knowledge
knowledge representation
least squares
logic rules