The stable model semantics for logic programming

Michael Gelfond; Vladimir Lifschitz

The stable model semantics for logic programming

1988 · 3,428 citations · 5 from inside this corpus

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.

5 of 5 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

Citation edge evidence

Each row is directed from the citing work to the cited work. Source status remains readable without the interactive graph.

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, log…→The stable model semantics for logic programmingLegacy edge — source detail unavailable
Classical negation in logic programs and disjunctive databases→The stable model semantics for logic programmingLegacy edge — source detail unavailable
Knowledge Graphs→The stable model semantics for logic programmingLegacy edge — source detail unavailable
The well-founded semantics for general logic programs→The stable model semantics for logic programmingLegacy edge — source detail unavailable
Logical foundations of object-oriented and frame-based languages→The stable model semantics for logic programmingLegacy edge — source detail unavailable
Classical negation in logic programs and disjunctive databases→The well-founded semantics for general logic programsLegacy edge — source detail unavailable
Logical foundations of object-oriented and frame-based languages→The well-founded semantics for general logic programsLegacy edge — source detail unavailable

What cites it, inside the corpus

Paper	Year	Cited
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, log…	1995	4,319
Classical negation in logic programs and disjunctive databases	1991	2,319
Knowledge Graphs	2021	1,767
The well-founded semantics for general logic programs	1991	1,691
Logical foundations of object-oriented and frame-based languages	1995	1,459

Links

Download BibTeX · Download RIS · OpenAlex record

Topics

Semantic Web and Ontologies	Computer Science
Logic, Reasoning, and Knowledge	Computer Science
Multi-Agent Systems and Negotiation	Computer Science

Is this record sound?

partial

One field of this record is missing or disagrees with another. What is shown below is what the source publishes.

supports2 author record(s) attached.
weakensNo references are recorded despite 3,428 citations. A paper this heavily cited did not cite nothing, so the record is incomplete.
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:47+00:00.

sha256 a08467ae9504f237…