Some Extensions to the Closed World Assumption in Databases.

@inproceedings{DBLP:conf/icdt/Naqvi86,
  author    = {Shamim A. Naqvi},
  editor    = {Giorgio Ausiello and
               Paolo Atzeni},
  title     = {Some Extensions to the Closed World Assumption in Databases},
  booktitle = {ICDT'86, International Conference on Database Theory, Rome, Italy,
               September 8-10, 1986, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {243},
  year      = {1986},
  isbn      = {3-540-17187-8},
  pages     = {341-348},
  ee        = {db/conf/icdt/Naqvi86.html},
  crossref  = {DBLP:conf/icdt/86},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[Bossu and Siegel 1985]

Genevieve Bossu, Pierre Siegel: Saturation, Nonmonotonic Reasoning and the Closed-World Assumption. Artif. Intell. 25(1): 13-63(1985) BibTeX

[Hewitt 1972]

...

[Fishman and Minker 1975]

Daniel H. Fishman, Jack Minker: Pi-Representation: A Clause Representation for Parallel Search. Artif. Intell. 6(2): 103-127(1975) BibTeX

[Kowalski 1978]

Robert A. Kowalski: Logic for Data Description. Logic and Data Bases 1977: 77-103 BibTeX

[McCarthy 1980]

John McCarthy: Circumscription - A Form of Non-Monotonic Reasoning. Artif. Intell. 13(1-2): 27-39(1980) BibTeX

[Minker 1982]

Jack Minker: On Indefinite Databases and the Closed World Assumption. CADE 1982: 292-308 BibTeX

[Reiter 1978a]

Raymond Reiter: Deductive Question-Answering on Relational Data Bases. Logic and Data Bases 1977: 149-177 BibTeX

[Reiter 1978b]

Raymond Reiter: On Closed World Data Bases. Logic and Data Bases 1977: 55-76 BibTeX

[Reiter 1982]

Raymond Reiter: Circumscription Implies Predicate Completion (Sometimes). AAAI 1982: 418-420 BibTeX

[van Emden and Kowalski 1976]

Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976) BibTeX

[Yahya and Henschen 1985]

Adnan H. Yahya, Lawrence J. Henschen: Deduction in Non-Horn Databases. J. Autom. Reasoning 1(2): 141-160(1985) BibTeX