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: 755
Venue: PODS
Year: 1986
Pagerank: -
Overall Rank: 14,264 | 0.87%
DOI: -

Incoming Non-self Citations Over Time

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

Authors

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

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

Overall Rank	Paper	Year	Venue	Pagerank
8,439	Negation as Failure for First-Order Queries (Extended Abstract)	1986	PODS	5.4958075e-05
2,618	On The Integrity Of Databases With Incomplete Information	1986	PODS	8.4023146e-05
6,125	Well-Founded Semantics for Extended Datalog and Ontological Reasoning	2013	PODS	6.0346122e-05
3,049	Data Exchange and Incomplete Information	2006	PODS	7.8795234e-05
11,906	Default Negation for Non-Guarded Existential Rules	2015	PODS	5.1725247e-05
1,283	The Alternating Fixpoint of Logic Programs with Negation (Extended Abstract)	1989	PODS	0.00011427621
12,932	Backward chaining evaluation in stratified disjunctive theories	1990	PODS	5.1725247e-05
924	On the Representation and Querying of Sets of Possible Worlds	1987	SIGMOD	0.00013251192
5,876	Negation and Minimality in Non-Horn Databases	1993	PODS	6.1196067e-05
7,428	Positivism vs. Minimalism in Deductive Databases (Extended Abstract)	1986	PODS	5.6824919e-05