Stable Models and Non-Determinism in Logic Programs with Negation
Summary: Unifies negation and nondeterminism via stable-model semantics, defines partial/strongly-founded/deterministic/stable models, and proves max-deterministic ⊆ ⋂stable and well-founded ⊆ max-deterministic. Subsumes LDL's nondeterministic choice and gives a backtracking-fixpoint to construct total stable models. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Domenico Saccà
- 2. Carlo Zaniolo
Incoming Citations (Sorted by Pagerank)
Showing 8 of 8 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 3,297 | Greedy by Choice | 1992 | PODS | 7.259032e-05 |
| 3,446 | Minimum and Maximum Predicates in Logic Programming | 1991 | PODS | 7.0861064e-05 |
| 3,852 | Negation and Minimality in Non-Horn Databases | 1993 | PODS | 6.7017663e-05 |
| 5,705 | Datalog Unchained | 2021 | PODS | 5.3621239e-05 |
| 7,672 | The Valid Model Semantics for Logic Programs | 1992 | PODS | 4.6826453e-05 |
| 8,570 | Semi-determinism (extended abstract) | 1992 | PODS | 4.4937074e-05 |
| 9,167 | Extending Logic Programming | 1990 | SIGMOD | 4.3849295e-05 |
| 12,910 | A Non-deterministic Deductive Database Language | 1991 | SIGMOD | 4.1945683e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 5 of 5 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 551 | Why Not Negation By Fixpoint? | 1988 | PODS | 0.00020329959 |
| 843 | Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model | 1989 | PODS | 0.00016005595 |
| 1,166 | Unfounded Sets and Well-Founded Semantics for General Logic Programs | 1988 | PODS | 0.00013554968 |
| 1,205 | The Alternating Fixpoint of Logic Programs with Negation (Extended Abstract) | 1989 | PODS | 0.00013285448 |
| 1,622 | A Procedural Semantics for Well Founded Negation in Logic Programs | 1989 | PODS | 0.00011106192 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 912 | Sets and Negation in a Logic Database Language (LDL1) | 1987 | PODS | 0.00015414126 |
| 5,102 | On the Expressive Power of Logic Programming Languages with Sets | 1988 | PODS | 5.6992154e-05 |
| 3,852 | Negation and Minimality in Non-Horn Databases | 1993 | PODS | 6.7017663e-05 |
| 5,063 | Tie-Breaking Semantics and Structural Totality (Extended Abstract) | 1992 | PODS | 5.7267485e-05 |
| 843 | Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model | 1989 | PODS | 0.00016005595 |
| 4,491 | Non-Deterministic Languages to Express Deterministic Transformations | 1990 | PODS | 6.1422281e-05 |
| 1,166 | Unfounded Sets and Well-Founded Semantics for General Logic Programs | 1988 | PODS | 0.00013554968 |
| 11,762 | Stable Model Semantics for Tuple-Generating Dependencies Revisited | 2017 | PODS | 4.1945683e-05 |
| 7,672 | The Valid Model Semantics for Logic Programs | 1992 | PODS | 4.6826453e-05 |
| 1,205 | The Alternating Fixpoint of Logic Programs with Negation (Extended Abstract) | 1989 | PODS | 0.00013285448 |