Predicate Pairing for program verification.

Emanuele De Angelis Fabio Fioravanti Alberto Pettorossi Maurizio Proietti

Published in: Theory Pract. Log. Program. (2018)

Keyphrases

first order logic
database systems
database
machine learning
decision making
evolutionary algorithm
logic rules
neural network
lower bound
active learning
object detection
data management
genetic programming
inter agent