The stable model semantics for logic programming

Name: The stable model semantics for logic programming
Author: Michael Gelfond and Vladimir Lifschitz

by Michael Gelfond and Vladimir Lifschitz · 1 review · 1992

Reviewed by	Journal	Date	Access
Melvin Fitting	The Journal of Symbolic Logic	1992	Restricted

Also by Lifschitz