Constraint Based Algorithm

The incremental algorithm introduced in (Dale and Reiter, 1995) for producing dis- tinguishing descriptions does not always generate a minimal description. In this paper, I show that when generalised to …...