{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:40:11Z","timestamp":1725493211073},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441908"},{"type":"electronic","value":"9783540457572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_30","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T17:50:39Z","timestamp":1192902639000},"page":"357-368","source":"Crossref","is-referenced-by-count":1,"title":["Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem"],"prefix":"10.1007","author":[{"given":"Dongmo","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norman","family":"Foo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"30_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/0004-3702(91)90004-4","volume":"49","author":"A. Baker","year":"1991","unstructured":"A. Baker, Nonmonotonic reasoning in the framework of situation calculus, Artificial Intelligence, 49:5\u201323, 1991.","journal-title":"Artificial Intelligence"},{"key":"30_CR2","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1093\/logcom\/9.5.701","volume":"9","author":"M. A. Castilho","year":"1999","unstructured":"M. A. Castilho, O. Gasquet and A. Herzig, Formalizing action and change in mo dal logic I:the frame problem, J. of Logic and Computations, 701\u2013735(9), 1999.","journal-title":"J. of Logic and Computations"},{"key":"30_CR3","unstructured":"C.C. Chang and H. J. Keisler, Model Theory, North Holland, 1973."},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"N. Foo, D. Zhang, Y. Zhang, S. Chopra and B. Vo, Encoding solutions of the frame problem in dynamic logic. T. Eiter, W. Faber, and M. Truszczynski eds., Logic Programming and Nonmonotonic Reasoning (LPNMR\u201901), LNAI 2173, Springer, 240\u2013253.","DOI":"10.1007\/3-540-45402-0_18"},{"key":"30_CR5","unstructured":"M. Gelfond and V. Lifschitz, Action languages, Electronic Transactions on AI, 16(3), 1998."},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"G. De Giacomo and M. Lenzerini, PDL-based framework for reasoning about actions, In M. Gori and G. Soda (Eds.), Topics in Artificial Intelligence, LNAI 992, Springer, 1995, 103\u2013114.","DOI":"10.1007\/3-540-60437-5_10"},{"key":"30_CR7","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0004-3702(88)90011-2","volume":"35","author":"M. L. Ginsberg","year":"1988","unstructured":"M. L. Ginsberg and D. E. Smith, Reasoning about action I: a possible worlds approach, Artificial Intelligence, 35(1988), 165\u2013195.","journal-title":"Artificial Intelligence"},{"key":"30_CR8","unstructured":"R. Goldblatt, Logics of Time and Computation, Center for the Study of Language and Information Lecture Notes 7, Stanford Univ. Press, 1987."},{"issue":"3","key":"30_CR9","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"S. Hanks","year":"1987","unstructured":"S. Hanks and D. McDermott, Nonmonotonic logic and temporal projection, Artificial Intelligence, 33(3): 379\u2013412, 1987.","journal-title":"Artificial Intelligence"},{"key":"30_CR10","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/0004-3702(90)90021-Q","volume":"46","author":"V. Lifschitz","year":"1990","unstructured":"V. Lifschitz, Frames in the space of situations, Artificial Intelligence, 46:365\u2013376, 1990.","journal-title":"Artificial Intelligence"},{"key":"30_CR11","unstructured":"F. Lin and Y. Shoham, Provably correct theories of action, AAAI-91, 349\u2013354, 1991."},{"key":"30_CR12","unstructured":"G. Kartha, Soundness and completeness theorems for three formalization of action, IJCAI-93, 724\u2013729, 1993."},{"key":"30_CR13","unstructured":"G. Kartha: On the range of applicability of Baker\u2019s approach to the frame problem. AAAI-96, 664\u2013669, 1996."},{"issue":"3\/4","key":"30_CR14","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/BF00370682","volume":"L","author":"L. Maksimova","year":"1991","unstructured":"L. Maksimova, Amalgamation and interpolation in normal modal logics, Studia Logica, L(3\/4), 457\u2013471, 1991.","journal-title":"Studia Logica"},{"issue":"24","key":"30_CR15","first-page":"147","volume":"3","author":"J. X. Madar\u00e1sz","year":"1995","unstructured":"J. X. Madar\u00e1sz, The Craig interpolation theorem in multi-modal logics, Bulletin of the Section of Logic, 3(24), 147\u2013151, 1995.","journal-title":"Bulletin of the Section of Logic"},{"key":"30_CR16","series-title":"Lect Notes Comput Sci","first-page":"154","volume-title":"Interpolation in Modal Logic","author":"M. Marx","year":"1999","unstructured":"M. Marx, Interpolation in Modal Logic, LNCS 1548, 154\u2013163, 1999."},{"key":"30_CR17","unstructured":"E. Pednault, ADL: Exploring the middle ground between STRIPS and the situation calculus, KR\u201989, 1989, 324\u2013332."},{"issue":"46","key":"30_CR18","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1145\/316542.316545","volume":"3","author":"F. Pirri","year":"1999","unstructured":"F. Pirri and R. Reiter, Some contributions to the metatheory of the situation calculus. J.ACM, 3(46), 325\u2013361, 1999.","journal-title":"J.ACM"},{"key":"30_CR19","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/BF00173701","volume":"5","author":"H. Prendinger","year":"1996","unstructured":"H. Prendinger, and G. Schurz, Reasoning about action and change:Adynamic logic approach, J. of Logic, Language, and Information, 5:209\u2013245, 1996.","journal-title":"J. of Logic, Language, and Information"},{"key":"30_CR20","doi-asserted-by":"crossref","unstructured":"R. Reiter, The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression, In V. Lifschitz editor, Artificial Intelligence and Mathematical Theory of Computation, Academic Press, 359\u2013380, 1991.","DOI":"10.1016\/B978-0-12-450010-5.50026-8"},{"key":"30_CR21","unstructured":"M. Shanahan, Solving the frame problem: a mathematical investigation of the common sense law of inertia, The MIT Press, 1997."},{"key":"30_CR22","unstructured":"D. Zhang and N. Foo, EPDL: a logic for causal reasoning, IJCAI-01, 131\u2013136, 2001."},{"key":"30_CR23","unstructured":"D. Zhang and S. Chopra, Consistency of action descriptions, in: Proceedings of the 4th Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC\u201901), 78\u201385, 2001."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:08:04Z","timestamp":1556921284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_30","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}