{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T01:20:01Z","timestamp":1783387201725,"version":"3.54.6"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540678236","type":"print"},{"value":"9783540449294","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44929-9_37","type":"book-chapter","created":{"date-parts":[[2007,5,5]],"date-time":"2007-05-05T13:20:53Z","timestamp":1178371253000},"page":"536-548","source":"Crossref","is-referenced-by-count":1,"title":["Hypothesis Support for Information Integration in Four-Valued Logics"],"prefix":"10.1007","author":[{"given":"Yann","family":"Loyer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nicolas","family":"Spyratos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Stamate","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2001,8,24]]},"reference":[{"key":"37_CR1","unstructured":"Data Warehousing, Flexible Views for Ever-changing Corporate Data, Communications of the ACM, volume 41, number 9, septembre 1998."},{"key":"37_CR2","volume-title":"Modern Uses of Multiple-valued Logic","author":"N. D. Belnap Jr","year":"1977","unstructured":"Belnap, N. D., Jr, A Useful Four-Valued Logic, in: J. M. Dunn and G. Epstein (eds.), Modern Uses of Multiple-valued Logic, D. Reichel, Dordrecht, 1977."},{"key":"37_CR3","doi-asserted-by":"crossref","unstructured":"Bidoit N., Froideveaux C., Negation by default and unstratifiable logic programs, TCS, 78, (1991)","DOI":"10.1016\/0304-3975(51)90004-7"},{"key":"37_CR4","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"2","author":"M.C. Fitting","year":"1985","unstructured":"Fitting, M.C., A Kripke\/Kleene Semantics for Logic Programs, J. Logic Programming, 2:295\u2013312 (1985).","journal-title":"J. Logic Programming"},{"key":"37_CR5","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M.C. Fitting","year":"1991","unstructured":"Fitting, M.C., Bilattices and the Semantics of Logic Programming, J. Logic Programming, 11:91\u2013116 (1991).","journal-title":"J. Logic Programming"},{"key":"37_CR6","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0743-1066(93)90031-B","volume":"17","author":"M.C. Fitting","year":"1993","unstructured":"Fitting, M.C., The Family of Stable Models, J. Logic Programming, 17:197\u2013225 (1993).","journal-title":"J. Logic Programming"},{"key":"37_CR7","doi-asserted-by":"crossref","unstructured":"Fuhr, N. and R\u00f6lleke, T., HySpirit-a Probabilistic Inference Engine for Hypermedia Retrieval in Large Databases, (1997).","DOI":"10.1007\/BFb0100975"},{"key":"37_CR8","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"M.L. Ginsberg","year":"1988","unstructured":"Ginsberg, M.L., Multivalued Logics: a Uniform Approach to Reasoning in Artificial Intelligence, Computational Intelligence, 4:265\u2013316, 1988.","journal-title":"Computational Intelligence"},{"key":"37_CR9","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1093\/logcom\/1.1.41","volume":"1","author":"M.L. Ginsberg","year":"1990","unstructured":"Ginsberg, M.L., Bilattices and modal operators, J. of Logic Computation, 1:41\u201369, 1990.","journal-title":"J. of Logic Computation"},{"key":"37_CR10","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the 24th Symposium on Mathematical Foundations of Computer Science (MFCS\u201999)","author":"Y. Loyer","year":"1999","unstructured":"Loyer, Y., Spyratos, N., Stamate, D., Computing and Comparing Semantics of Programs in Four-valued Logics, in: Proceedings of the 24th Symposium on Mathematical Foundations of Computer Science (MFCS\u201999), LNCS 1672, Springer Verlag, 1999."},{"key":"37_CR11","doi-asserted-by":"crossref","unstructured":"van Gelder, A., Ross, K. A., Schlipf, J. S., Unfounded Set and Well-Founded Semantics for General Logic Programs, in: Proceedings of the Seventh Symposium on Principles of Database Systems, 221\u2013230, 1988.","DOI":"10.1145\/308386.308444"},{"key":"37_CR12","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"van Gelder, A., Ross, K. A., Schlipf, J. S., The Well-Founded Semantics for General Logic Programs, J. ACM, 38:620\u2013650, 1991.","journal-title":"J. ACM"},{"key":"37_CR13","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0022-0000(84)90080-1","volume":"28","author":"C. Zaniolo","year":"1984","unstructured":"Zaniolo, C., Database Relations with Null Values, Journal of Computer and System Sciences, 28: 142\u2013166, 1984.","journal-title":"Journal of Computer and System Sciences"}],"container-title":["Lecture Notes in Computer Science","Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44929-9_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T18:40:45Z","timestamp":1556390445000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44929-9_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678236","9783540449294"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-44929-9_37","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2000]]}}}