{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:22:05Z","timestamp":1725484925359},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_1","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T05:24:41Z","timestamp":1180675481000},"page":"1-24","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Computational Logic: Memories of the Past and Challenges for the Future"],"prefix":"10.1007","author":[{"given":"John Alan","family":"Robinson","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"1_CR1","unstructured":"Quine, W.V. The Ways of Paradox and Other Essays, Random House, 1966."},{"key":"1_CR2","unstructured":"G\u00f6del, K. The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Princeton, 1940."},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1090\/S0002-9904-1902-00923-3","volume":"8","author":"D. Hilbert","year":"1902","unstructured":"Hilbert, D. Mathematical Problems. Bulletin of the American Mathematical Society, Volume 8, 1902, pp. 437\u2013479. (Engish translation of original German version).","journal-title":"Bulletin of the American Mathematical Society"},{"key":"1_CR4","unstructured":"Heijenoort, J. van (editor). From Frege to G\u00f6del; A source Book in Mathematical Logic, 1879\u20131931. Harvard, 1967."},{"key":"1_CR5","unstructured":"Tarski, A. Logic, Semantics, Metamathematics. Oxford, 1956."},{"key":"1_CR6","unstructured":"Cohen, P. J. Set Theory and the Continuum Hypothesis. Benjamin, 1966."},{"key":"1_CR7","unstructured":"Davis, M. (editor). The Undecidable. Raven Press, 1965."},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Siekmann, J. and Wrightson, G. (editors). The Automation of Reasoning: Classical Papers on Computational Logic. 2 Volumes, Springer, 1983.","DOI":"10.1007\/978-3-642-81952-0"},{"key":"1_CR9","unstructured":"Beth, E. Semantic Entailmentand Formal Derivability, North Holland, 1955."},{"key":"1_CR10","first-page":"7","volume":"8","author":"J. Hintikka","year":"1955","unstructured":"Hintikka, J. Form and Content in Quantification Theory. Acta Philosophica Fennica 8, 1955, pp. 7\u201355.","journal-title":"Acta Philosophica Fennica"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1934","unstructured":"Gentzen, G. Untersuchungen \u00fcber das logische Schliessen. Mathematische Zeitschrift 39, 1934, pp. 176\u2013210, 405\u2013431.","journal-title":"Mathematische Zeitschrift"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Boyer, R. S. (editor). Automated Reasoning. Essays in Honor of Woody Bledsoe. Kluwer, 1991.","DOI":"10.1007\/978-94-011-3488-0"},{"key":"1_CR13","unstructured":"Walker, D. and Norton, L. (editors). Proceedings of the International Joint Conference on Artificial Intelligence, Washington D.C., 1969."},{"key":"1_CR14","unstructured":"Brachman, R. and Levesque, H. (editors). Readings in Knowledge Representation. Morgan Kaufmann, 1985."},{"key":"1_CR15","unstructured":"Colmerauer, A. Curriculum Vitae, January 1999. Private communication."},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0004-3702(71)90012-9","volume":"2","author":"R. Kowalski","year":"1971","unstructured":"Kowalski, R. and Kuehner, D. Linear Resolution with Selection Function. Artificial Intelligence 2, 1971, pp. 227\u2013260.","journal-title":"Artificial Intelligence"},{"key":"1_CR17","unstructured":"Meltzer, B. and Michie, D. Machine Intelligence 7, Edinburgh, 1972."},{"key":"1_CR18","unstructured":"Meltzer, B. and Michie, D. Machine Intelligence 6, Edinburgh, 1971."},{"issue":"8","key":"1_CR19","doi-asserted-by":"publisher","first-page":"109 ff","DOI":"10.1145\/872734.806939","volume":"12","author":"D. Warren","year":"1977","unstructured":"Warren, D. and Pereira, L. PROLOG: The Language and Its Implementatior Compared with LISP. SIGPLAN Notices 12, No 8, August 1977, pp. 109 ff.","journal-title":"SIGPLAN Notices"},{"key":"1_CR20","unstructured":"Kowalski, R. Logic for Problem Solving. North Holland, 1979."},{"key":"1_CR21","unstructured":"International Conference on Fifth Generation Computer Systems 1992, Proceedings, ICOT, Tokyo, 1992."},{"key":"1_CR22","unstructured":"The Journal of Logic Programming, 1, 1984."},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Furukawa, K., Michie, D. and Muggleton, S. Machine Intelligence 15, Oxford University Press, 1999.","DOI":"10.1093\/oso\/9780198538677.001.0001"},{"key":"1_CR24","volume-title":"Report PNA-R9809","author":"K. Apt","year":"1998","unstructured":"Apt, K. and Bezem, M. Formulas as Programs. Report PNA-R9809, CWI, Amsterdam, October 1998."},{"key":"1_CR25","unstructured":"Harms, M. A Unified Computation Model for Functional and Logic Programming. 24th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL\u201997), 1997."}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T18:20:32Z","timestamp":1707934832000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"15 December 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}