A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi.
Marta BílkováPublished in: TbiLLC (2009)
Keyphrases
- inference process
- probabilistic inference
- bayesian networks
- mathematical proofs
- belief nets
- theorem proving
- theorem prover
- random fields
- inference engine
- image interpolation
- deep learning
- graphical models
- neural network
- bayesian model
- inference mechanism
- linear interpolation
- video sequences
- sparse sampling
- equational theories