Formalized Metareasoning in Type Theory

Todd B. Knoblock Robert L. Constable

Published in: LICS (1986)

Keyphrases

decision theoretic
machine learning
database
theoretical framework
computer vision
image processing
bayesian networks
theoretical basis
general theory
formal theory
type checking