A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics.

Franois Fages

Browse the full ICLP paper archive.