The Extended Closed World Assumption And Its Relationship To Parallel Circumscription
Summary: Extends Minker’s GCWA by allowing negations of non-atomic formulas and applying negation-as-failure to arbitrary predicate lists, yielding the Extended Closed World Assumption (ECWA). Proves that under natural constraints ECWA is equivalent to parallel circumscription, characterizing the facts added and showing negation-as-failure as an instance of circumscription. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. Michael Gelfond (University of Texas at El Paso)
- 2. Halina Przymusinska (University of Texas at El Paso)
- 3. Teodor Przymusinski (University of Texas at El Paso)
BibTeX Citation
@inproceedings{gelfond_pods86,
address = {New York, NY, USA},
series = {{PODS} '86},
title = {{THE EXTENDED CLOSED WORLD ASSUMPTION AND ITS RELATIONSHIP TO PARALLEL CIRCUMSCRIPTION}},
url = {https://dl.acm.org/doi/10.1145/6012.15410},
doi = {10.1145/6012.15410},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Gelfond, Michael and Przymusinska, Halina and Przymusinski, Teodor},
year = {1986}
}
Incoming Citations (Sorted by Pagerank)
Showing 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
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 |
|---|
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 8,566 | Negation as Failure for First-Order Queries (Extended Abstract) | 1986 | PODS |
| 2 | 2,672 | On The Integrity Of Databases With Incomplete Information | 1986 | PODS |
| 3 | 6,222 | Well-Founded Semantics for Extended Datalog and Ontological Reasoning | 2013 | PODS |
| 4 | 2,935 | Data Exchange and Incomplete Information | 2006 | PODS |
| 5 | 12,097 | Default Negation for Non-Guarded Existential Rules | 2015 | PODS |
| 6 | 1,297 | The Alternating Fixpoint of Logic Programs with Negation (Extended Abstract) | 1989 | PODS |
| 7 | 13,117 | Backward chaining evaluation in stratified disjunctive theories | 1990 | PODS |
| 8 | 948 | On the Representation and Querying of Sets of Possible Worlds | 1987 | SIGMOD |
| 9 | 5,965 | Negation and Minimality in Non-Horn Databases | 1993 | PODS |
| 10 | 7,564 | Positivism vs. Minimalism in Deductive Databases (Extended Abstract) | 1986 | PODS |