DBScholar

Back to papers

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)

Paper ID
754
Venue
PODS
Year
1986
Pagerank
-
Overall Rank
14,451 | 0.86%
DOI
10.1145/6012.15410

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

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