{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:40:17Z","timestamp":1742593217148,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539193"},{"type":"electronic","value":"9783540463986"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53919-0_4","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:17:48Z","timestamp":1330208268000},"page":"54-72","source":"Crossref","is-referenced-by-count":0,"title":["Time-bounded reasoning in first order knowledge base systems"],"prefix":"10.1007","author":[{"given":"Yihua","family":"Shi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Setsuo","family":"Arikawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Blum, L., Blum, M., Towards a Mathematical Theory of Inductive Inference, Information and Control 28, 1975.","DOI":"10.1016\/S0019-9958(75)90261-2"},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Doyle, J., A Truth Maintenance System, Artificial Intelligence, Vol.12, pp.231\u2013272, 1979.","journal-title":"Artificial Intelligence"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Golfesddrt, S., Micali, S. and Rackoff, C., The Knowledge Complexity of Interactive Proof-System, Proceedings of the 17th STOC ACM, pp. 291\u2013303, 1985.","DOI":"10.1145\/22145.22178"},{"key":"4_CR4","first-page":"58","volume":"264","author":"M. Haraguchi","year":"1987","unstructured":"Haraguchi, M., Arikawa, S., A Foundation of Reasoning by Analogy\u2014 Analogical Union of Logic Programs, LNCS 264, pp.58\u201369, 1987.","journal-title":"LNCS"},{"issue":"11","key":"4_CR5","first-page":"1283","volume":"26","author":"H. Kitakami","year":"1985","unstructured":"Kitakami, H., Kunifuji, S., Miyachi, T., and Furukawa, K., Knowledge Base Management System Implemented in Logic Programming Language Prolog, Information processing, Vol. 26, No. 11, pp.1283\u20131295, in Japanese, 1985.","journal-title":"Information processing"},{"issue":"2","key":"4_CR6","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0743-1066(85)90013-5","volume":"2","author":"J.W. Lloyd","year":"1985","unstructured":"Lloyd, J.W., Topor, R.W., A Basis for Deductive Database Systems, J. Logic Programming, Vol.2, No.2, pp.93\u2013109, 1985.","journal-title":"J. Logic Programming"},{"issue":"1","key":"4_CR7","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0743-1066(86)90004-X","volume":"3","author":"J.W. Lloyd","year":"1986","unstructured":"Lloyd, J.W., Topor, R.W., A Basis for Deductive Database Systems, J. Logic Programming, Vol.3, No.1, pp.55\u201367, 1986.","journal-title":"J. Logic Programming"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W., Foundations of Logic Programming, (Second, Extended Edition), Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"4_CR9","first-page":"902","volume":"5","author":"T. Matsuda","year":"1988","unstructured":"Matsuda, T., Ishizuka, M., Knowledge Assimilation and Management Mechanism for Frame Knowledge-Base Including Hypothesis Knowledge, The Transactions of the Institute of Electronics Information and Communication Engineers, J71D,5,pp.902\u2013908, in Japanese, 1988.","journal-title":"The Transactions of the Institute of Electronics Information and Communication Engineers"},{"key":"4_CR10","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume":"viii+458","author":"R. Reiter","year":"1978","unstructured":"Reiter, R., On Closed World Data Bases, Logic and Data Bases, pp. 55\u201376, viii+458, 1978.","journal-title":"Logic and Data Bases"},{"key":"4_CR11","first-page":"231","volume":"13","author":"R. Reiter","year":"1979","unstructured":"Reiter, R., The Default Logic, Artificial Intelligence, Vol.13, pp.231\u2013272, 1979.","journal-title":"Artificial Intelligence"},{"key":"4_CR12","unstructured":"Reiter, R., de Kleer, J., Foundations of Truth Maintenance: Preliminary Report, Proceedings of AAAI-87 the 6th National Conference on Artificial Intelligence, pp. 183\u2013188, 1987."},{"key":"4_CR13","unstructured":"Shapiro, E.Y., Inductive Inference of Theories from Facts, Technical Report 192, Yale University 1981."},{"key":"4_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"E.Y. Shapiro","year":"1983","unstructured":"Shapiro, E.Y., Algorithmic Program Debugging, MIT Press, Cambridge, Mass., 1983."},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Shapiro, E.Y., Alternation and the Computational Complexity of Logic Programs, J. Logic Programming, Vol.1, No.1, 1984.","DOI":"10.1016\/0743-1066(84)90021-9"},{"key":"4_CR16","unstructured":"Shi, Y., Studies on Knowledge Base Management Systems by Time-Bounded Reasoning and Contradiction Backtracking Algorithm, The Dissertation of D. M., Interdisciplinary Graduate School of Engineering Sciences, Kyushu University, in Japanese, 1989."},{"issue":"1","key":"4_CR17","first-page":"77","volume":"11","author":"Y. Shi","year":"1989","unstructured":"Shi, Y., The Principles of Time-Bounded Knowledge Base Management Systems, Engineering Sciences Reports, Kyushu University, Vol.11, No.1, pp.77\u201384, in Japanese, 1989.","journal-title":"Engineering Sciences Reports, Kyushu University"},{"key":"4_CR18","unstructured":"Wikfram, D.A., Maher, M.J., and Lasezz, J.-L., A Unified Treatment of Resolution Strategies for Logic Program, Proceedings of the Second International Conference of Logic Programming, pp. 263\u2013276, 1984."},{"issue":"3\u20134","key":"4_CR19","doi-asserted-by":"crossref","first-page":"179","DOI":"10.5109\/13385","volume":"22","author":"A. Yamamoto","year":"1987","unstructured":"Yamamoto, A., An Anatomy of Abstraction, Bulletin of Informatics and Cybernetics, Vol.22, No.3\u20134, pp.179\u2013188, 1987.","journal-title":"Bulletin of Informatics and Cybernetics"}],"container-title":["Lecture Notes in Computer Science","Logic Programming '89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53919-0_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:11:49Z","timestamp":1742591509000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53919-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539193","9783540463986"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-53919-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}