Logics for Extensional, Locally Complete Analysis via Domain Refinements.

Flavio Ascari Roberto Bruni Roberta Gori

Published in: ESOP (2023)

Keyphrases

data sets
neural network
expressive power
relational databases
np complete
statistical analysis