The well-founded semantics for general logic programs

1991 · Journal of the ACM · 1,691 citations · 2 from inside this corpus

Allen Van Gelder low, Kenneth A. Ross, John S. Schlipf low

The source holds an abstract for this work, but its best open-access copy is under no open licence, which does not permit us to republish the text. Read it at the source below.

9 of 9 neighbouring works in this corpus. Blue is what this paper cites; orange is what cites it, and a dashed line is one neighbour citing another. Only the largest labels are drawn — every node carries its full title on hover.

this paper works it cites works citing it node size = global citations · hover for the full title

What this paper cites, inside the corpus

Paper	Year	Cited
Foundations of Logic Programming	1984	4,174
The stable model semantics for logic programming	1988	3,428
Proceedings of the International Joint Conference on Artificial Intelligence 2007	2007	2,765
Foundations of Logic Programming	1987	2,746
Negation as Failure	1978	2,039
Foundations of logic programming; (2nd extended ed.)	1987	1,514
The Semantics of Predicate Logic as a Programming Language	1976	1,464

What cites it, inside the corpus

Paper	Year	Cited
Classical negation in logic programs and disjunctive databases	1991	2,319
Logical foundations of object-oriented and frame-based languages	1995	1,459

Links

DOI · OpenAlex record

Topics

Logic, Reasoning, and Knowledge	Computer Science
Logic, programming, and type systems	Computer Science
Advanced Algebra and Logic	Computer Science

Is this record sound?

complete

Nothing in this record contradicts itself and no field we check is missing.

supports3 author record(s) attached.
supports48 reference(s) recorded.
neutralThe DOI carries no year to check against.
supportsA title is present.

Provenance

Everything above was read from one stored OpenAlex payload, fetched 2026-09-04T03:58:56+00:00.

sha256 7bc26169e93749d1…