Kripke Resource Models of a Dependently-typed, Bunched λ-calculus.

Samin S. Ishtiaq David J. Pym

Published in: J. Log. Comput. (2002)

Keyphrases

statistical models
inference rules
statistical model
probabilistic model
bayesian framework
higher order
data sets
expert systems
prior knowledge
multi agent
three dimensional
description logics
process model
web services
information retrieval
machine learning
desirable properties
mathematical models
data mining