{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:59:05Z","timestamp":1725569945968},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425939"},{"type":"electronic","value":"9783540454021"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45402-0_18","type":"book-chapter","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T17:10:11Z","timestamp":1290186611000},"page":"240-253","source":"Crossref","is-referenced-by-count":2,"title":["Encoding Solutions of the Frame Problem in Dynamic Logic"],"prefix":"10.1007","author":[{"given":"Norman","family":"Foo","sequence":"first","affiliation":[]},{"given":"Dongmo","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Yan","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Samir","family":"Chopra","sequence":"additional","affiliation":[]},{"given":"Bao Quoc","family":"Vo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,7,17]]},"reference":[{"key":"18_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. 240, 241, 244, 247","journal-title":"Artificial Intelligence"},{"issue":"9","key":"18_CR2","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1093\/logcom\/9.5.701","volume":"5","author":"M.A. Castilho","year":"1999","unstructured":"M.A. Castilho, O. Gasquet, and A. Herzig, Formalizing action and change in modal logic I: the frame problem, J. of Logic and Computations, 5(9):701\u2013735, 1999. 241","journal-title":"J. of Logic and Computations"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"R. Fikes and N. Nilsson, STRIPS: a new approach to the application of theorem proving to problem solving, In: Proceedings of the 2nd International Joint Conference on Artificial Intelligence, William Kaufmann, 608\u2013620, 1971. 240","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"N. Foo and D. Zhang, Dealing with the ramification problem in extended propositional dynamic logic, To appear in F. Wolter, H. W ansing, M. de Rijke, and M. Zakharyaschev eds, Advances in Modal Logic, Volume 3, CSLI Publications, 2001.","DOI":"10.1142\/9789812776471_0010"},{"key":"18_CR5","unstructured":"N. Foo and D. Zhang, Lazy-formalization to the frame problem, manuscript. (available at http:\/\/www.cse.unsw.edu.au\/~ksg\/Pubs\/ksgworking.html ). 251"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"M. Gelfond and V. Lifschitz, Representing actions and change by logic programs, Journal of Logic Programming, vol.17, no.2,3,4, 301\u2013323, 1993. 246","journal-title":"Journal of Logic Programming"},{"key":"18_CR7","unstructured":"M. Gelfond and V. Lifschitz, Action languages, Electronic Transactions on AI, 16(3), 1998. 240, 241"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"G. Giacomo and M. Lenzerini, PDL-based framework for reasoning about actions, In M. G ori and G. So da (Eds.), Topics in Artificial Intelligence, LNAI 992,103\u2013114, 1995. 240, 241","DOI":"10.1007\/3-540-60437-5_10"},{"key":"18_CR9","unstructured":"M.L. Ginsberg, Nonmonotonic Reasoning, Morgan Kaufmann, 1988. 240"},{"key":"18_CR10","unstructured":"L. Giordano, A. Martelli, and C. Schwind, Dealing with concurrent actions in modal action logics, ECAI\u201998, 537\u2013541, 1998. 240"},{"issue":"10","key":"18_CR11","first-page":"615","volume":"5","author":"L. Giordano","year":"2000","unstructured":"L. Giordano, A. Martelli and C. Schwind, Ramification and causality in a modal action logic, J. Logic Computat.5( 10), 615\u2013662, 2000. 240","journal-title":"J. Logic Computat"},{"issue":"3","key":"18_CR12","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. 241","journal-title":"Artificial Intelligence"},{"key":"18_CR13","unstructured":"F. Lin and Y. Shoham, Provably correct theories of action, AAAI-91, 349\u2013354, 1991. 251"},{"key":"18_CR14","unstructured":"G. Kartha, Soundness and completeness theorems for three formalization of action, IJCAI-93, 724\u2013729, 1993. 241, 249, 250"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"G. Kartha, V. Lifschitz: Actions with indirect effects (Preliminary Report), KR\u201994, 341\u2013350, 1994","DOI":"10.1016\/B978-1-4832-1452-8.50127-5"},{"key":"18_CR16","first-page":"664","volume":"-96","author":"G. Kartha","year":"1996","unstructured":"G. Kartha: On the range of applicability of Baker\u2019s approach to the frame problem. AAAI-96,664\u2013669, 1996.","journal-title":"AAAI"},{"key":"18_CR17","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R.A. Kowalski","year":"1986","unstructured":"R.A. Kowalski and M. J. Sergot, A logic-based calculus of events, New Generation Computing, Vol.4, 67\u201395, 1986. 240","journal-title":"New Generation Computing"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"D. Kozen and J. Tiuryn, Logics of programs, In J. van Leeuwen ed. Handbook of Theoretical Computer Science, Elsevier, 789\u2013840, 1990. 241, 242, 243","DOI":"10.1016\/B978-0-444-88074-1.50019-6"},{"key":"18_CR19","unstructured":"J. McCarthy and P. Hayes, Some philosophical problems from the standpoint of artificial intelligence, In B. Melt zer and D. Mic hie edits, Machine Intelligence 4, Edinburgh University Press, 463\u2013502, 1969. 240, 247"},{"key":"18_CR20","unstructured":"E. Pednault, ADL: exploring the middle ground between STRIPS and the situation calculus, KR-89, 324\u2013332. 240, 241, 245"},{"issue":"2","key":"18_CR21","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1145\/23005.23008","volume":"34","author":"D. Peleg","year":"1987","unstructured":"Peleg, D. Concurrent dynamic logic, J. ACM, 34(2):450\u2013479,1987.","journal-title":"J. ACM"},{"key":"18_CR22","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: A dynamic logic approach, J. of Logic, Language, and Information, 5:209\u2013245, 1996. 241","journal-title":"J. of Logic, Language, and Information"},{"key":"18_CR23","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, 1991, 359\u2013380. 240, 241, 243, 245, 251","DOI":"10.1016\/B978-0-12-450010-5.50026-8"},{"key":"18_CR24","unstructured":"M. Shanahan, Solving the frame problem: a mathematical investigation of the common sense law of inertia, The MIT Press, 1997. 250"},{"key":"18_CR25","unstructured":"D. Zhang and S. Chopra, Consistency analysis of action descriptions, in Proceedings of Australian Workshop on Computational Logic 2001, 107\u2013116. 242, 243"},{"key":"18_CR26","unstructured":"D. Zhang and N. Foo, EPDL: a logic for causal reasoning, to appear in Proceedings of IJCAI-01. 240, 242, 243, 246"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45402-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T07:43:31Z","timestamp":1559807011000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45402-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425939","9783540454021"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-45402-0_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}