{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:11Z","timestamp":1725663671323},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540512516"},{"type":"electronic","value":"9783540461821"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51251-9_6","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:49:56Z","timestamp":1330184996000},"page":"68-84","source":"Crossref","is-referenced-by-count":6,"title":["Specifying closed world assumptions for logic databases"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Brass","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Udo W.","family":"Lipeck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"H. Bidoit and R. Hull. Positivism vs. minimalism in deductive databases. In Proc. of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems (PODS), 123\u2013132, 1986.","DOI":"10.1145\/6012.15409"},{"key":"6_CR2","unstructured":"S. Brass. Vervollst\u00e4ndigungen f\u00fcr Logikdatenbanken (completions of logic databases). Diploma Thesis, Informatics, Techn. Univ. Braunschweig, 1988. In German."},{"key":"6_CR3","volume-title":"A Mathematical Introduction to Logic","author":"H.B. Enderton","year":"1972","unstructured":"H.B. Enderton. A Mathematical Introduction to Logic. Academic Press, New York, 1972."},{"key":"6_CR4","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","volume":"16","author":"H. Gallaire","year":"1984","unstructured":"H. Gallaire, J. Minker, and J.-M. Nicolas. Logic and databases: A deductive approach. Computing Surveys (16), 153\u2013185, 1984.","journal-title":"Computing Surveys"},{"key":"6_CR5","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0004-3702(86)90001-9","volume":"30","author":"M. Gelfond","year":"1986","unstructured":"M. Gelfond and H. Przymusinska. Negation as failure: Careful closure procedure. Artificial Intelligence (30), 273\u2013287, 1986.","journal-title":"Artificial Intelligence"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"M. Gelfond, H. Przymusinska, and T. Przymusinski. The extended closed world assumption and its relationship to parallel circumscription. In Proc. of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems (PODS), 153\u2013185, 1986.","DOI":"10.1145\/6012.15410"},{"key":"6_CR7","volume-title":"Introduction to Mathematical Logic","author":"E. Mendelson","year":"1978","unstructured":"E. Mendelson. Introduction to Mathematical Logic. Van Nostrand-Reinhold, New York, second edition, 1978.","edition":"second edition"},{"key":"6_CR8","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/BFb0000066","volume-title":"6th Conference on Automated Deduction","author":"J. Minker","year":"1982","unstructured":"J. Minker. On indefinite databases and the closed world assumption. In D. W. Loveland, editor, 6th Conference on Automated Deduction, 292\u2013308, Springer-Verlag, Berlin, 1982. Lecture Notes in Computer Science No.138."},{"volume-title":"Foundations of Deductive Databases and Logic Programming","year":"1988","key":"6_CR9","unstructured":"J. Minker, editor. Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann Publishers, Los-Altos (Calif.), 1988."},{"key":"6_CR10","first-page":"414","volume-title":"7th International Conference on Automated Deduction","author":"J. Minker","year":"1984","unstructured":"J. Minker and D. Perlis. Applications of protected circumscription. In R. E. Shostak, editor, 7th International Conference on Automated Deduction, 414\u2013425, Springer-Verlag, Berlin, 1984. Lecture Notes in Computer Science No.170."},{"key":"6_CR11","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S0743-1066(85)80002-9","volume":"2","author":"J. Minker","year":"1985","unstructured":"J. Minker and D. Perlis. Computing protected circumscription. The Journal of Logic Programming (2), 235\u2013249, 1985.","journal-title":"The Journal of Logic Programming"},{"key":"6_CR12","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume-title":"Logic and Data Bases","author":"R. Reiter","year":"1978","unstructured":"R. Reiter. On closed world data bases. In H. Gallaire and J. Minker, editors, Logic and Data Bases, 55\u201376, Plenum, New York, 1978."},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter. A logic for default reasoning. Artificial Intelligence (13), 81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"6_CR14","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/B978-0-934613-40-8.50005-1","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"J. C. Sheperdson","year":"1988","unstructured":"J. C. Sheperdson. Negation in logic programming. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, 19\u201388, Morgan Kaufmann Publishers, Los-Altos (Calif.), 1988."},{"key":"6_CR15","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF00244994","volume":"1","author":"A. Yahya","year":"1985","unstructured":"A. Yahya and L. J. Henschen. Deduction in non-horn databases. Journal of Automated Reasoning (1), 141\u2013160, 1985.","journal-title":"Journal of Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","MFDBS 89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51251-9_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:02:21Z","timestamp":1619557341000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51251-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540512516","9783540461821"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-51251-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}