Interpolation and the Interpretability Logic of PA.
Evan GorisPublished in: Notre Dame J. Formal Log. (2006)
Keyphrases
- image interpolation
- linear interpolation
- logical framework
- real time
- bayesian networks
- asynchronous circuits
- logic programming
- modal logic
- rule base
- multi valued
- sparse sampling
- interpolation algorithm
- classical logic
- probabilistic logic
- prediction accuracy
- expert systems
- multi agent systems
- search engine
- machine learning