Skip to content

The Stable Model Semantics for Logic Programming.

Michael Gelfond, Vladimir Lifschitz

VenueBICLP
Year1988
ProceedingsICLP/SLP

Browse the full ICLP paper archive.