Knowledge Representation Using High-Level Non-monotonic Reasoning. - Mauricio Osorio 001; Juan Carlos Nieves; Fernando Zacarías Flores; Erika Saucedo (MICAI, 2000)