A Rewriting Semantics for Type Inference.

George Kuan David MacQueen Robert Bruce Findler

Published in: ESOP (2007)

Keyphrases

knowledge representation
inference engine
probabilistic reasoning
bayesian networks
bayesian inference
formal semantics
type checking
neural network
conceptual model
data sets
probabilistic model
conditional random fields
belief networks
transformation rules
rewriting rules