A Rewriting Logic Approach to Type Inference.

Chucky Ellison Traian-Florin Serbanuta Grigore Rosu

Published in: WADT (2008)

Keyphrases

logical inference
deductive reasoning
modal logic
abductive reasoning
bayesian networks
type checking
database
bayesian inference
inference engine
multi valued
inference process
inference mechanism
causal theories