Scripting the type inference process.

Bastiaan Heeren Jurriaan Hage S. Doaitse Swierstra

Published in: ICFP (2003)

Keyphrases

inference process
inference mechanism
bayesian inference
backward chaining
artificial intelligence
database
information retrieval
search engine
computer vision