Sign in
Model Completeness, Uniform Interpolants and Superposition Calculus.
Diego Calvanese
Silvio Ghilardi
Alessandro Gianola
Marco Montali
Andrey Rivkin
Published in:
J. Autom. Reason. (2021)
Keyphrases
</>
computational model
high level
theoretical analysis
formal model
real time
cost function
conceptual model
databases
video sequences
probabilistic model
mathematical model
experimental data
hierarchical structure
simulation model
parameter values