{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:25:19Z","timestamp":1725488719769},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540668367"},{"type":"electronic","value":"9783540466918"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46691-6_12","type":"book-chapter","created":{"date-parts":[[2007,8,9]],"date-time":"2007-08-09T20:42:24Z","timestamp":1186692144000},"page":"155-167","source":"Crossref","is-referenced-by-count":1,"title":["A Foundation for Hybrid Knowledge Bases"],"prefix":"10.1007","author":[{"given":"James J.","family":"Lu","sequence":"first","affiliation":[]},{"given":"Neil V.","family":"Murray","sequence":"additional","affiliation":[]},{"given":"Erik","family":"Rosenthal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,6,9]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Calmet, J., Jekutsch, S., Kullmann, P., and Sch\u00fc, J., A system for the integration of heterogeneous information sources. Proceedings of the Symposium on Methodologies for Intelligent Systems, 1997. 155, 166","DOI":"10.1007\/3-540-63614-5_31"},{"key":"12_CR2","unstructured":"Calmet, J. and Kullmann, P., Meta web search with KOMET, Proceedings of the IJCAI-99 Workshop on Intelligent Information Integration, Stockholm, July, 1999. 155, 166"},{"issue":"1","key":"12_CR3","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W. Chen","year":"1996","unstructured":"Chen, W. and Warren. D. S., Tabled Evaluation With Delaying for General Logic Programs. J.ACM, 43(1): 20\u201374, 1996. 162","journal-title":"J.ACM"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M. Fitting","year":"1991","unstructured":"Fitting, M., Bilattices and the Semantics of Logic Programming, The Journal of Logic Programming, Elsevier Science Publishing Co, Inc., 11:91\u2013116, 1991. 155","journal-title":"The Journal of Logic Programming"},{"issue":"2","key":"12_CR5","first-page":"69","volume":"IV","author":"R. H\u00e4hnle","year":"1997","unstructured":"H\u00e4hnle, R. and Escalada-Imaz, G., Deduction in many-valued logics: a survey, Mathware & Soft Computing, IV(2), 69\u201397, 1997. 155","journal-title":"Mathware & Soft Computing"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Jaffar, J. and Lassez, J.L., Constraint Logic Programming, Proceedings of the ACM Principles of Programming Languages, 111\u2013119, 1987. 155","DOI":"10.1145\/41625.41635"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"Kifer, M., and Subrahmanian, V.S., Theory of generalized annotated logic programming and its applications, the J. of Logic Programming 12, 335\u2013367, 1992. 155, 155, 155, 157, 162, 163, 166","journal-title":"J. of Logic Programming"},{"issue":"1","key":"12_CR8","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF00712385","volume":"6","author":"S.M. Leach","year":"1996","unstructured":"Leach, S.M., and Lu, J.J., Query Processing in Annotated Logic Programming: Theory and Implementation, Journal of Intelligent Information Systems, 6(1):33\u201358, 1996. 155","journal-title":"Journal of Intelligent Information Systems"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Leach, S.M., Lu, J.J., Murray, N.V., and Rosenthal, E., \u2127-resolution: an inference for regular multiple-valued logics. Proceedings of the 6th European Workshop on Logics in AI, Springer, 1998. 155, 159, 159, 159, 159, 160, 162, 163, 163","DOI":"10.1007\/3-540-49545-2_11"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W., Foundations of Logic Programming, 2nd ed., Springer, 1988. 157","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"5","key":"12_CR11","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1109\/69.542029","volume":"8","author":"J.J. Lu","year":"1996","unstructured":"Lu, J.J., Nerode, A., and Subrahmanian, V.S., Hybrid Knowledge Bases, IEEE Transactions on Knowledge and Data Engineering, 8(5):773\u2013785, 1996. 155, 155, 155, 156, 156, 157, 158, 161","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1023\/A:1005784309139","volume":"21","author":"J.J. Lu","year":"1998","unstructured":"Lu, J.J., Murray, N.V., and Rosenthal, E., A Framework for Automated Reasoning in Multiple-Valued Logics, J. of Automated Reasoning 21:39\u201367, 1998. 155","journal-title":"J. of Automated Reasoning"},{"key":"12_CR13","unstructured":"Subrahmanian, V.S., et. al., HERMES: Heterogeneous Reasoning and Mediator System, University of Maryland Technical Report. Available at: http:\/\/www.cs.umd.edu\/\/projects\/hermes\/overview\/paper\/index.html 155"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Wiederhold, G., Mediators in the Architecture of Future Information Systems, IEEE Computer, 38\u201349, 1992. 155, 155","DOI":"10.1109\/2.121508"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Wiederhold, G., Intelligent Integration of Information, Proceedings of the ACM SIGMOD Conference on Management of Data, 434\u2013437, 1993. 155, 155","DOI":"10.1145\/170035.170118"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Wiederhold, G., Jajodia, S., and Litwin, W., Dealing with granularity of time in temporal databases, Proceedings of the Nordic Conference on Advanced Information Systems Engineering (R. Anderson et al. eds.), Springer, 124\u2013140, 1991. 155","DOI":"10.1007\/3-540-54059-8_83"},{"key":"12_CR17","unstructured":"Wiederhold, G., Jajodia, S., and Litwin, W., Integrating temporal data in a heterogeneous environment, Temporal Databases, Benjamin Cummings, 1993. 155"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46691-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T21:58:25Z","timestamp":1556747905000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46691-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540668367","9783540466918"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-46691-6_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}