Type Inference in CHR Programs for the Composition of Constraint Systems.

Georg Ringwelski Hans Schlenker

Published in: WLP (2000)

Keyphrases

building blocks
bayesian networks
search engine
database systems
software engineering
decision making
case study
expert systems
learning systems
inference engine