On the Consistency of Koomen's Fair Abstraction Rule.

Jos C. M. Baeten Jan A. Bergstra Jan Willem Klop

Published in: Theor. Comput. Sci. (1987)

Keyphrases

high level
search algorithm
data sets
constraint networks
active databases
maintaining consistency
association rules
fuzzy logic
classification rules
rule learning
rule generation
consistency checking
temporal consistency
multi unit combinatorial auctions