Closing the Gap between the Stable Semantics and Extensions of WFS.

Mauricio Osorio Verónica Borja Macías José Arrazola

Published in: MICAI (2004)

Keyphrases

logic programs
morphological operators
default logic
default theories
metadata
case study
cooperative
preprocessing
color images
mathematical morphology