{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:25:26Z","timestamp":1725686726282},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307423"},{"type":"electronic","value":"9783642307430"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30743-0_27","type":"book-chapter","created":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T23:49:46Z","timestamp":1338594586000},"page":"390-404","source":"Crossref","is-referenced-by-count":2,"title":["Towards Formalizing Non-monotonic Reasoning in Physics: Logical Approach Based on Physical Induction and Its Relation to Kolmogorov Complexity"],"prefix":"10.1007","author":[{"given":"Vladik","family":"Kreinovich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61667-9","volume-title":"Constructive Analysis","author":"E. Bishop","year":"1985","unstructured":"Bishop, E., Bridges, D.S.: Constructive Analysis. Springer, New York (1985)"},{"key":"27_CR2","volume-title":"Feynman Lectures on Physics","author":"R.P. Feynman","year":"1963","unstructured":"Feynman, R.P., Leighton, R.B., Sands, M.: Feynman Lectures on Physics. Addison-Wesley, Boston (1963)"},{"issue":"2","key":"27_CR3","first-page":"25","volume":"5","author":"A.M. Finkelstein","year":"1987","unstructured":"Finkelstein, A.M., Kreinovich, V.: Impossibility of hardly possible events: physical consequences. Abstracts of the 8th International Congress on Logic, Methodology and Philosophy of Science, Moscow\u00a05(2), 25\u201327 (1987)","journal-title":"Abstracts of the 8th International Congress on Logic, Methodology and Philosophy of Science, Moscow"},{"key":"27_CR4","first-page":"4","volume":"41","author":"V. Kreinovich","year":"2009","unstructured":"Kreinovich, V.: Toward formalizing non-monotonic reasoning in physics: the use of Kolmogorov complexity. Revista Iberoamericana de Inteligencia Artificial\u00a041, 4\u201320 (2009)","journal-title":"Revista Iberoamericana de Inteligencia Artificial"},{"key":"27_CR5","unstructured":"Kreinovich, V., Finkelstein, A.M.: Towards applying computational complexity to foundations of physics. Notes of Mathematical Seminars of St. Petersburg Department of Steklov Institute of Mathematics\u00a0316, 63\u2013110 (2004); reprinted in Journal of Mathematical Sciences 134(5), 2358\u20132382 (2006)"},{"key":"27_CR6","doi-asserted-by":"crossref","DOI":"10.1090\/mmono\/060","volume-title":"Lectures on Constructive Mathematical Analysis","author":"B.A. Kushner","year":"1984","unstructured":"Kushner, B.A.: Lectures on Constructive Mathematical Analysis. Amer. Math. Soc., Providence (1984)"},{"key":"27_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-49820-1","volume-title":"An Introduction to Kolmogorov Complexity and Its Applications","author":"M. Li","year":"2008","unstructured":"Li, M., Vit\u00e1nyi, P.: An Introduction to Kolmogorov Complexity and Its Applications. Springer, New York (2008)"},{"key":"27_CR8","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF01117468","volume":"1","author":"V.A. Lifschitz","year":"1973","unstructured":"Lifschitz, V.A.: Investigation of constructive functions by the method of filling. J. Soviet Math.\u00a01, 41\u201347 (1973)","journal-title":"J. Soviet Math."},{"issue":"2","key":"27_CR9","doi-asserted-by":"publisher","first-page":"359","DOI":"10.2307\/2273147","volume":"47","author":"V. Lifschitz","year":"1982","unstructured":"Lifschitz, V.: Constructive assertions in an extension of classical mathematics. J. Symb. Log.\u00a047(2), 359\u2013387 (1982)","journal-title":"J. Symb. Log."},{"key":"27_CR10","volume-title":"Gravitation","author":"C.W. Misner","year":"1973","unstructured":"Misner, C.W., Thorne, K.S., Wheeler, J.A.: Gravitation. Freeman, San Francisco (1973)"},{"key":"27_CR11","volume-title":"Probabilistic Reasoning in Intelligence Systems: Networks of Plausible Inference","author":"J. Pearl","year":"1988","unstructured":"Pearl, J.: Probabilistic Reasoning in Intelligence Systems: Networks of Plausible Inference. Morgan Kaufmann, San Francisco (1988)"},{"key":"27_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21717-7","volume-title":"Computability in Analysis and Physics","author":"M.B. Pour-El","year":"1989","unstructured":"Pour-El, M.B., Richards, J.I.: Computability in Analysis and Physics. Springer, Berlin (1989)"},{"key":"27_CR13","volume-title":"Solutions of Ill-Posed Problems","author":"A.N. Tikhonov","year":"1977","unstructured":"Tikhonov, A.N., Arsenin, V.Y.: Solutions of Ill-Posed Problems. V.\u00a0H.\u00a0Winston & Sons, Washington, DC (1977)"},{"key":"27_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis","author":"K. Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable Analysis. Springer, Berlin (2000)"}],"container-title":["Lecture Notes in Computer Science","Correct Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30743-0_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,27]],"date-time":"2019-01-27T03:25:27Z","timestamp":1548559527000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30743-0_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307423","9783642307430"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30743-0_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}