Completion modulo Associativity, Commutativity and Identity (AC1).

Jean-Pierre Jouannaud Claude Marché

Published in: DISCO (1990)

Keyphrases

update operations
identity management
computer vision
cost function
databases
image segmentation
bayesian networks
search algorithm
expert systems
evolutionary algorithm