The well-founded semantics for general logic programs
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.
this paper
works it cites
works citing it
node size = global citations · hover for the full title
Citation edge evidence
- 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
- The well-founded semantics for general logic programs→Foundations of 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
- The well-founded semantics for general logic programs→Proceedings of the International Joint Conference on Artificial Intelligence 2007Legacy edge — source detail unavailable
- The well-founded semantics for general logic programs→Foundations of Logic ProgrammingLegacy edge — source detail unavailable
- The well-founded semantics for general logic programs→Negation as FailureLegacy edge — source detail unavailable
- The well-founded semantics for general logic programs→Foundations of logic programming; (2nd extended ed.)Legacy edge — source detail unavailable
- The well-founded semantics for general logic programs→The Semantics of Predicate Logic as a Programming LanguageLegacy edge — source detail unavailable
- Classical negation in logic programs and disjunctive databases→Foundations of 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
- Logical foundations of object-oriented and frame-based languages→The stable model semantics for logic programmingLegacy edge — source detail unavailable
- Logical foundations of object-oriented and frame-based languages→Foundations of logic programming; (2nd extended ed.)Legacy edge — source detail unavailable
What this paper cites, inside the corpus
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
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
sha256 7bc26169e93749d1…