{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:48:59Z","timestamp":1749221339261},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581406"},{"type":"electronic","value":"9783540484424"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58140-5_32","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:19:33Z","timestamp":1330251573000},"page":"341-352","source":"Crossref","is-referenced-by-count":4,"title":["Representing null values in logic programming"],"prefix":"10.1007","author":[{"given":"Bonnie","family":"Traylor","sequence":"first","affiliation":[]},{"given":"Michael","family":"Gelfond","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"32_CR1","unstructured":"Chitta Baral and Michael Gelfond. Logic programming and representation of commonsense reasoning. Manuscript, 1993."},{"issue":"4","key":"32_CR2","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1145\/320107.320109","volume":"4","author":"E. F. Codd","year":"1979","unstructured":"Codd E. F. Extending the database relational model to capture more meaning. ACM Transactions on Database Systems, 4(4):397\u2013434, 1979.","journal-title":"ACM Transactions on Database Systems"},{"key":"32_CR3","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1002\/malq.19750210112","volume":"21","author":"R Fagin","year":"1975","unstructured":"R Fagin. Monadic generalized spectra. Z. Math Logic, (21):89\u201396, 1975.","journal-title":"Z. Math Logic"},{"key":"32_CR4","unstructured":"Michael Gelfond. Logic programming and reasoning with incomplete information. Annals of Mathematics and Artificial Intelligence, 1992. To appear."},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, pages 365\u2013387, 1991.","DOI":"10.1007\/BF03037169"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"K. Inoue, M. Koshimura, and R. Hasegawa. Embedding negation as failure into a model generation theorem prover. In The Eleventh International Conference on Automated Deduction, 1992.","DOI":"10.1007\/3-540-55602-8_180"},{"key":"32_CR7","first-page":"328","volume-title":"Artificial Intelligence and Databases","author":"H. Levesque","year":"1988","unstructured":"Hector Levesque. The logic of incomplete knowledge bases. In John Mylopoulos and Michael Brodie, editors, Artificial Intelligence and Databases, pages 328\u2013341. Morgan Kaufmann, San Mateo, CA, 1988."},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"Yuan Liu. Null values in definite programs. In Proc. of the 1990 North American Conference on Logic Programming, pages 273\u2013287, 1990.","DOI":"10.21236\/ADA232065"},{"key":"32_CR9","unstructured":"Teodor Przymusinski. Extended stable semantics for normal and disjunctive programs. In David Warren and Peter Szeredi, editors, Logic Programming: Proc. of the Seventh Int'l Conf., pages 459\u2013477, 1990."},{"key":"32_CR10","unstructured":"Raymond Reiter. On integrity constraints. In Moshe Vardi, editor, Theoretical Aspects of Reasoning about Knowledge: Proc. of the Second Conf., pages 97\u2013111, 1988."},{"key":"32_CR11","first-page":"301","volume-title":"Artificial Intelligence and Data Bases","author":"R. Reiter","year":"1988","unstructured":"Raymond Reiter. Towards a logical reconstruction of relational data base theory. In John Mylopoulos and Michael Brodie, editors, Artificial Intelligence and Data Bases, pages 301\u2013327. Morhan Koufmann, San Mateo, Ca., 1988."}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58140-5_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:11:38Z","timestamp":1619557898000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58140-5_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581406","9783540484424"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-58140-5_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}