Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting.

Martín Hötzel Escardó

Published in: MFPS (2009)

Keyphrases

type checking
bayesian networks
probabilistic model
database
uncertain data
probabilistic reasoning
real time
data mining
genetic algorithm
description logics
generative model
first order logic
decision procedures