On Definite Databases and the Closed World Assumption. Minker, J. In Proceedings of the 6th Conference on Automated Deduction, pages 292–308, 1983. bibtex @inproceedings{minker,
Author = {Jack Minker},
Booktitle = {Proceedings of the 6th Conference on Automated Deduction},
Pages = {292--308},
Title = {On Definite Databases and the Closed World Assumption},
Year = {1983}}
Downloads: 0
{"_id":{"_str":"534279630e946d920a0016a7"},"__v":1,"authorIDs":[],"author_short":["Minker, J."],"bibbaseid":"minker-ondefinitedatabasesandtheclosedworldassumption-1983","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jack"],"propositions":[],"lastnames":["Minker"],"suffixes":[]}],"booktitle":"Proceedings of the 6th Conference on Automated Deduction","pages":"292–308","title":"On Definite Databases and the Closed World Assumption","year":"1983","bibtex":"@inproceedings{minker,\n\tAuthor = {Jack Minker},\n\tBooktitle = {Proceedings of the 6th Conference on Automated Deduction},\n\tPages = {292--308},\n\tTitle = {On Definite Databases and the Closed World Assumption},\n\tYear = {1983}}\n\n","author_short":["Minker, J."],"key":"minker","id":"minker","bibbaseid":"minker-ondefinitedatabasesandtheclosedworldassumption-1983","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/cogs/bib/standard-long.bib","downloads":0,"keywords":[],"search_terms":["definite","databases","closed","world","assumption","minker"],"title":"On Definite Databases and the Closed World Assumption","year":1983,"dataSources":["2cjnbEWxd35GBeqEe"]}