Back to papers
Unfounded Sets and Well-Founded Semantics for General Logic Programs
Summary: Introduce unfounded sets and the well‑founded partial model as a canonical semantics for general logic programs with negation; 'well‑behaved' programs have a total well‑founded model. Prove this strictly generalizes stratified/local stratified programs and that a well‑founded model yields a unique (coinciding) stable model, though the converse may fail.
(summarized by gpt-5-mini on Feb 09 2026)
- Paper ID
- 832
- Venue
- PODS
- Year
- 1988
- Pagerank
- 0.00013542063
- Overall Rank
- 1,166 | 91.90%
- DOI
-
-
Incoming Non-self Citations Over Time
Incoming Citations (Sorted by Pagerank)
Showing 16 of 16 citing papers.
| Rank |
Citing Paper |
Year |
Venue |
Pagerank |
| 839 |
Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model |
1989 |
PODS |
0.00015989602 |
| 1,208 |
The Alternating Fixpoint of Logic Programs with Negation (Extended Abstract) |
1989 |
PODS |
0.00013272698 |
| 1,381 |
Modular Stratification and Magic Sets for DATALOG Programs with Negation |
1990 |
PODS |
0.00012271947 |
| 1,624 |
A Procedural Semantics for Well Founded Negation in Logic Programs |
1989 |
PODS |
0.00011095143 |
| 1,796 |
A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited) |
1989 |
PODS |
0.00010505292 |
| 4,720 |
Qualified Answers That Reflect User Needs and Preferences |
1994 |
VLDB |
5.9649927e-05 |
| 4,754 |
Stable Models and Non-Determinism in Logic Programs with Negation |
1990 |
PODS |
5.9377721e-05 |
| 5,716 |
Datalog Unchained |
2021 |
PODS |
5.3569788e-05 |
| 6,513 |
An alternating fixpoint tailored to magic programs |
1993 |
PODS |
5.0273291e-05 |
| 6,537 |
On the Power of Algebras with Recursion |
1993 |
SIGMOD |
5.0180143e-05 |
| 7,363 |
IDLOG: Extending the Expressive Power of Deductive Database Languages |
1990 |
SIGMOD |
4.7461604e-05 |
| 7,980 |
The Expressive Powers of the Logic Programming Semantics |
1990 |
PODS |
4.6089395e-05 |
| 8,391 |
Three-Valued Formalization of Logic Programming: Is It Needed? |
1990 |
PODS |
4.523998e-05 |
| 9,170 |
Extending Logic Programming |
1990 |
SIGMOD |
4.380727e-05 |
| 12,920 |
A Non-deterministic Deductive Database Language |
1991 |
SIGMOD |
4.1905499e-05 |
| 14,210 |
On Negation in HiLog |
1991 |
PODS |
- |
Outgoing Citations (Sorted by Pagerank)
Showing 0 of 0 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank |
Cited Paper |
Year |
Venue |
Pagerank |
Semantically Similar Papers