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,299 | Greedy by Choice | 1992 | PODS | 7.2519332e-05 |
| 3,452 | Minimum and Maximum Predicates in Logic Programming | 1991 | PODS | 7.0792604e-05 |
| 3,855 | Negation and Minimality in Non-Horn Databases | 1993 | PODS | 6.6953111e-05 |
| 5,716 | Datalog Unchained | 2021 | PODS | 5.3569788e-05 |
| 7,671 | The Valid Model Semantics for Logic Programs | 1992 | PODS | 4.6781479e-05 |
| 8,567 | Semi-determinism (extended abstract) | 1992 | PODS | 4.4893996e-05 |
| 9,170 | Extending Logic Programming | 1990 | SIGMOD | 4.380727e-05 |
| 12,920 | A Non-deterministic Deductive Database Language | 1991 | SIGMOD | 4.1905499e-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 |
|---|---|---|---|---|
| 552 | Why Not Negation By Fixpoint? | 1988 | PODS | 0.00020309855 |
| 839 | Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model | 1989 | PODS | 0.00015989602 |
| 1,166 | Unfounded Sets and Well-Founded Semantics for General Logic Programs | 1988 | PODS | 0.00013542063 |
| 1,208 | The Alternating Fixpoint of Logic Programs with Negation (Extended Abstract) | 1989 | PODS | 0.00013272698 |
| 1,624 | A Procedural Semantics for Well Founded Negation in Logic Programs | 1989 | PODS | 0.00011095143 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 910 | Sets and Negation in a Logic Database Language (LDL1) | 1987 | PODS | 0.00015398775 |
| 5,102 | On the Expressive Power of Logic Programming Languages with Sets | 1988 | PODS | 5.6936517e-05 |
| 3,855 | Negation and Minimality in Non-Horn Databases | 1993 | PODS | 6.6953111e-05 |
| 5,058 | Tie-Breaking Semantics and Structural Totality (Extended Abstract) | 1992 | PODS | 5.7212391e-05 |
| 839 | Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model | 1989 | PODS | 0.00015989602 |
| 4,494 | Non-Deterministic Languages to Express Deterministic Transformations | 1990 | PODS | 6.1363251e-05 |
| 1,166 | Unfounded Sets and Well-Founded Semantics for General Logic Programs | 1988 | PODS | 0.00013542063 |
| 11,770 | Stable Model Semantics for Tuple-Generating Dependencies Revisited | 2017 | PODS | 4.1905499e-05 |
| 7,671 | The Valid Model Semantics for Logic Programs | 1992 | PODS | 4.6781479e-05 |
| 1,208 | The Alternating Fixpoint of Logic Programs with Negation (Extended Abstract) | 1989 | PODS | 0.00013272698 |