Model Completeness, Covers and Superposition.

Diego Calvanese Silvio Ghilardi Alessandro Gianola Marco Montali Andrey Rivkin

Published in: CADE (2019)

Keyphrases

computational model
statistical model
databases
experimental data
mathematical model
neural network
theoretical analysis
high level
evolutionary algorithm
input data
objective function
parameter estimation
process model
knowledge base
artificial intelligence
learning algorithm
formal model
linear model