{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:43Z","timestamp":1725664003197},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568049"},{"type":"electronic","value":"9783540477501"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56804-2_51","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:41:42Z","timestamp":1330238502000},"page":"548-557","source":"Crossref","is-referenced-by-count":0,"title":["Multi-Context systems as a tool to model temporal evolution"],"prefix":"10.1007","author":[{"given":"Mauro","family":"Manzo","sequence":"first","affiliation":[]},{"given":"Enrico","family":"Giunchiglia","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"51_CR1","doi-asserted-by":"crossref","unstructured":"D.G. Bobrow. Qualitative reasoning about physical systems. Artificial Intelligence., 24, 1984.","DOI":"10.1016\/0004-3702(84)90036-5"},{"key":"51_CR2","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0004-3702(84)90037-7","volume":"24","author":"J. H. Kleer De","year":"1984","unstructured":"J.H. De Kleer and J.S. Brown. A qualitative physics based on confluences. Artificial Intelligence, 24:7\u201383, 1984.","journal-title":"Artificial Intelligence"},{"key":"51_CR3","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","volume":"24","author":"K. D. Forbus","year":"1984","unstructured":"K.D. Forbus. Qualitative process theory. Artificial Intelligence., 24:85\u2013168, 1984.","journal-title":"Artificial Intelligence"},{"key":"51_CR4","unstructured":"F. Giunchiglia. Multilanguage systems. In Proceedings of AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning, 1991. Also IRST-Technical Report no. 9011\u201317."},{"key":"51_CR5","unstructured":"F. Giunchiglia and A. Smaill. Reflection in constructive and nonconstructive automated reasoning. In H. Abramson and M. H. Rogers, editors, Proc. Workshop on Meta-Programming in Logic Programming, pages 123\u2013145. MIT Press, 1989. Also IRST-Technical Report 8902-04 and DAI Research Paper 375, University of Edinburgh."},{"key":"51_CR6","unstructured":"F. Giunchiglia and P. Traverso. GETFOL User Manual-GETFOL version 1. Manual 9109-09, IRST, Trento, Italy, 1991. Also MRG-DIST Technical Report 9107-01, DIST, University of Genova."},{"key":"51_CR7","unstructured":"F. Giunchiglia and R.W. Weyhrauch. A multi-context monotonic axiomatization of inessential non-monotouicity. In D. Nardi and P. Maes, editors, Meta-level architectures and Reflection, pages 271\u2013285. North Holland, 1988. Also MRG-DIST Technical Report 9105-02, DIST, University of Genova, Italy."},{"key":"51_CR8","unstructured":"B.J. Kuipers and C. Chiu. Taming intractable branching in qualitative simulation. In Proc. IJC'AI conference, pages 1079-1085. International Joint Conference on Artificial Intelligence, 1987."},{"key":"51_CR9","unstructured":"S.O. Kleene. Introduction to Metamathematics. North Holland, 1952."},{"key":"51_CR10","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0004-3702(86)90073-1","volume":"29","author":"B. J. Kuipers","year":"1986","unstructured":"B.J. Kuipers. Qualitative simulation. Artificial Intelligence, 29:289\u2013338, 1986.","journal-title":"Artificial Intelligence"},{"key":"51_CR11","unstructured":"J. McCarthy. Generality in Artificial Intelligence. In J. McCarthy, editor, Formalizing Common Sense\u2014Papers by John McCarthy, pages 226\u2013236. Ablex Publishing Corporation, 1990."},{"key":"51_CR12","unstructured":"J. McCarthy. Notes on formalizing context. Unpublished, 1991."},{"key":"51_CR13","volume-title":"Natural Deduction\u2014A proof theoretical study","author":"D. Prawitz","year":"1965","unstructured":"D. Prawitz. Natural Deduction\u2014A proof theoretical study. Almquist and Wiksell, Stockholm, 1965."},{"key":"51_CR14","doi-asserted-by":"crossref","unstructured":"Y. Shoham. Varietes of context. In V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation\u2014Papers in honor of John McCarthy, pages 393\u2013408. Academic Press, 1991.","DOI":"10.1016\/B978-0-12-450010-5.50028-1"},{"key":"51_CR15","volume-title":"Readings in Qualitative Reasoning about Physical Systems","author":"D. S. Weld","year":"1989","unstructured":"D.S. Weld and J.H. De Kleer. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann Publishers, Inc., 95, First Street, Los Altos, CA 94022, 1989."},{"issue":"1","key":"51_CR16","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","volume":"13","author":"R. W. Weyhrauch","year":"1980","unstructured":"R.W. Weyhrauch. Prolegomena to a Theory of Mechanized Formal Reasoning. Arttf. Intell., 13(1): 133\u2013176, 1980.","journal-title":"Arttf. Intell."}],"container-title":["Lecture Notes in Computer Science","Methodologies for Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56804-2_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:06:10Z","timestamp":1605629170000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56804-2_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568049","9783540477501"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-56804-2_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}