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,250 | 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,335	Negation as Failure for First-Order Queries (Extended Abstract)	1986	PODS	4.5435639e-05
2,769	On The Integrity Of Databases With Incomplete Information	1986	PODS	8.1450304e-05
4,298	Well-Founded Semantics for Extended Datalog and Ontological Reasoning	2013	PODS	6.2885419e-05
3,502	Data Exchange and Incomplete Information	2006	PODS	7.0366655e-05
11,898	Default Negation for Non-Guarded Existential Rules	2015	PODS	4.1945683e-05
1,205	The Alternating Fixpoint of Logic Programs with Negation (Extended Abstract)	1989	PODS	0.00013285448
12,922	Backward chaining evaluation in stratified disjunctive theories	1990	PODS	4.1945683e-05
827	On the Representation and Querying of Sets of Possible Worlds	1987	SIGMOD	0.00016220185
3,852	Negation and Minimality in Non-Horn Databases	1993	PODS	6.7017663e-05
6,523	Positivism vs. Minimalism in Deductive Databases (Extended Abstract)	1986	PODS	5.0287573e-05