A New Semantics for Logic Programs Capturing and Extending the Stable Model Semantics.

Belaid Benhamou, Pierre Siegel

Browse the full ICTAI paper archive.