Generalized Stable Models: A Semantics for Abduction.

Antonis C. Kakas, Paolo Mancarella

Browse the full ECAI paper archive.