La compilation de contraintes d'intégrité exprimées dans un langage de haut niveau.

Eric Simon Patrick Valduriez

Published in: BDA (1985)

Keyphrases

endpoints
genetic algorithm
decision making
case study
prime implicates
image segmentation
evolutionary algorithm
active learning
special case
domain knowledge
distributed systems
knowledge compilation