CIRCUMSCRIPTION AND GENERIC MATHEMATICAL OBJECTS
Leopoldo Bertossi, Raymond Reiter · Fundamenta Informaticae · 1994
We investigate the possibility of using circumscription for characterizing the concept of a generic object in the context of a formalized mathematical theory. We show that conventional circumscriptive policies do not give the intuitively expected res