On rewrite constraints and context unification.

Joachim Niehren Sophie Tison Ralf Treinen

Published in: Inf. Process. Lett. (2000)

Keyphrases

knowledge retrieval
constrained optimization
contextual information
global constraints
linear constraints
rewrite rules
high level
database systems
bayesian networks
consistency constraints