van Gelder, Allen; Ross, Kenneth A.; Schlipf, John S. The well-founded semantics for general logic programs. (English) Zbl 0799.68045 J. Assoc. Comput. Mach. 38, No. 3, 620-650 (1991). Cited in 3 ReviewsCited in 238 Documents MSC: 68N17 Logic programming 68Q55 Semantics in the theory of computing Keywords:well-founded semantics; program completion; stable models; logic programs; elementary relations; Herbrand model; 3-valued interpretations PDF BibTeX XML Cite \textit{A. van Gelder} et al., J. Assoc. Comput. Mach. 38, No. 3, 620--650 (1991; Zbl 0799.68045) Full Text: DOI OpenURL