Type inference for light affine logic via constraints on words.
Patrick BaillotPublished in: Theor. Comput. Sci. (2004)
Keyphrases
- inference mechanism
- logic programming
- logical inference
- affine transformation
- n gram
- affine invariant
- constraint language
- linear constraints
- probabilistic logic
- global constraints
- piecewise affine
- derivation rules
- english words
- classical logic
- logical framework
- bayesian networks
- constrained optimization
- bayesian inference
- constraint programming
- text documents
- keywords