On Interpolation in Existence Logics.

Matthias Baaz Rosalie Iemhoff

Published in: LPAR (2005)

Keyphrases

modal logic
expressive power
image interpolation
linear interpolation
interpolation method
interpolation algorithm
machine learning
social networks
interpolation methods
cubic spline
complementarity problems
propositional calculus
neural network
sparse sampling
piecewise polynomial