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.00013554968
- 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 |
| 843 |
Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model |
1989 |
PODS |
0.00016005595 |
| 1,205 |
The Alternating Fixpoint of Logic Programs with Negation (Extended Abstract) |
1989 |
PODS |
0.00013285448 |
| 1,381 |
Modular Stratification and Magic Sets for DATALOG Programs with Negation |
1990 |
PODS |
0.00012283951 |
| 1,622 |
A Procedural Semantics for Well Founded Negation in Logic Programs |
1989 |
PODS |
0.00011106192 |
| 1,799 |
A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited) |
1989 |
PODS |
0.0001051612 |
| 4,726 |
Qualified Answers That Reflect User Needs and Preferences |
1994 |
VLDB |
5.9695016e-05 |
| 4,757 |
Stable Models and Non-Determinism in Logic Programs with Negation |
1990 |
PODS |
5.9434944e-05 |
| 5,705 |
Datalog Unchained |
2021 |
PODS |
5.3621239e-05 |
| 6,517 |
An alternating fixpoint tailored to magic programs |
1993 |
PODS |
5.0321577e-05 |
| 6,539 |
On the Power of Algebras with Recursion |
1993 |
SIGMOD |
5.02287e-05 |
| 7,368 |
IDLOG: Extending the Expressive Power of Deductive Database Languages |
1990 |
SIGMOD |
4.7507411e-05 |
| 7,977 |
The Expressive Powers of the Logic Programming Semantics |
1990 |
PODS |
4.613363e-05 |
| 8,392 |
Three-Valued Formalization of Logic Programming: Is It Needed? |
1990 |
PODS |
4.5283415e-05 |
| 9,167 |
Extending Logic Programming |
1990 |
SIGMOD |
4.3849295e-05 |
| 12,910 |
A Non-deterministic Deductive Database Language |
1991 |
SIGMOD |
4.1945683e-05 |
| 14,196 |
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