{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:29:23Z","timestamp":1762100963092},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642024627"},{"type":"electronic","value":"9783642024634"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02463-4_6","type":"book-chapter","created":{"date-parts":[[2009,7,3]],"date-time":"2009-07-03T04:23:16Z","timestamp":1246594996000},"page":"82-98","source":"Crossref","is-referenced-by-count":1,"title":["A Semantical Account of Progression in the Presence of Defaults"],"prefix":"10.1007","author":[{"given":"Gerhard","family":"Lakemeyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hector J.","family":"Levesque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/3-540-45329-6_26","volume-title":"Progress in Artificial Intelligence. Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., Kamps, J., Marx, M.: Situation calculus as hybrid logic: First steps. In: Brazdil, P.B., Jorge, A.M. (eds.) EPIA 2001. LNCS, vol.\u00a02258, pp. 253\u2013260. Springer, Heidelberg (2001)"},{"key":"6_CR2","unstructured":"Cla\u00dfen, J., Eyerich, P., Lakemeyer, G., Nebel, B.: Towards an integration of Golog and planning. In: Veloso, M.M. (ed.) Proc. of IJCAI 2007, pp. 1846\u20131851 (2007)"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"Fikes, R., Nilsson, N.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence\u00a02, 189\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/3-540-60437-5_10","volume-title":"Topics in Artificial Intelligence","author":"G. Giacomo De","year":"1995","unstructured":"De Giacomo, G., Lenzerini, M.: PDL-based framework for reasoning about actions. In: Gori, M., Soda, G. (eds.) AI*IA 1995. LNCS, vol.\u00a0992, pp. 103\u2013114. Springer, Heidelberg (1995)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Demolombe, R.: Belief change: from Situation Calculus to Modal Logic. In: IJCAI Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC 2003), Acapulco, Mexico (2003)","DOI":"10.3166\/jancl.13.187-198"},{"issue":"2","key":"6_CR6","doi-asserted-by":"publisher","first-page":"165","DOI":"10.3166\/jancl.13.165-185","volume":"13","author":"R. Demolombe","year":"2003","unstructured":"Demolombe, R., Herzig, A., Varzinczak, I.J.: Regression in modal logic. J. of Applied Non-Classical Logics\u00a013(2), 165\u2013185 (2003)","journal-title":"J. of Applied Non-Classical Logics"},{"key":"6_CR7","volume-title":"A Mathematical Introduction to Logic","author":"H. Enderton","year":"1972","unstructured":"Enderton, H.: A Mathematical Introduction to Logic. Academic Press, New York (1972)"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. Journal of Logic Programming\u00a017, 301\u2013321 (1993)","journal-title":"Journal of Logic Programming"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Harel, D.: Dynamic Logic. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, vol.\u00a02, pp. 497\u2013604. D. Reidel Publishing Company (1984)","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"6_CR10","volume-title":"Proc. AAAI-2000","author":"A. Herzig","year":"2000","unstructured":"Herzig, A., Lang, J., Longin, D., Polacsek, T.: A logic for planning under partial observability. In: Proc. AAAI-2000, AAAI Press, Menlo Park (2000)"},{"issue":"4","key":"6_CR11","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"K.V. Hindriks","year":"1999","unstructured":"Hindriks, K.V., De Boer, F.S., Van der Hoek, W., Meyer, J.-J.C.: Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems\u00a02(4), 357\u2013401 (1999)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"6_CR12","volume-title":"An Introduction to Modal Logic","author":"G. Hughes","year":"1968","unstructured":"Hughes, G., Cresswell, M.: An Introduction to Modal Logic. Methuen and Co., London (1968)"},{"key":"6_CR13","first-page":"747","volume-title":"Proc. ECAI-2008","author":"A. Kakas","year":"2008","unstructured":"Kakas, A., Michael, L., Miller, R.: Fred meets Tweety. In: Proc. ECAI-2008, pp. 747\u2013748. IOS Press, Amsterdam (2008)"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic based calculus of events. New Generation Computing\u00a04, 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"6_CR15","volume-title":"Ninth Conf. on Principles of Knowledge Representation and Reasoning","author":"G. Lakemeyer","year":"2004","unstructured":"Lakemeyer, G., Levesque, H.J.: Situations, si! Situation Terms, no! In: Ninth Conf. on Principles of Knowledge Representation and Reasoning, AAAI Press, Menlo Park (2004)"},{"key":"6_CR16","first-page":"490","volume-title":"Proc. of IJCAI-2005","author":"G. Lakemeyer","year":"2005","unstructured":"Lakemeyer, G., Levesque, H.J.: A useful fragment of the situation calculus. In: Proc. of IJCAI-2005, pp. 490\u2013496. AAAI Press, Menlo Park (2005)"},{"key":"6_CR17","volume-title":"Proc. of AAAI-2006","author":"G. Lakemeyer","year":"2006","unstructured":"Lakemeyer, G., Levesque, H.J.: Towards an axiom system for default logic. In: Proc. of AAAI-2006, AAAI Press, Menlo Park (2006)"},{"key":"6_CR18","volume-title":"Proc. of IJCAI-2009","author":"G. Lakemeyer","year":"2009","unstructured":"Lakemeyer, G., Levesque, H.J.: A semantical account of progression in the presence of defaults. In: Proc. of IJCAI-2009, AAAI Press, Menlo Park (2009)"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","volume":"42","author":"H.J. Levesque","year":"1990","unstructured":"Levesque, H.J.: All I Know: A Study in Autoepistemic Logic. Artificial Intelligence\u00a042, 263\u2013309 (1990)","journal-title":"Artificial Intelligence"},{"key":"6_CR20","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4290.001.0001","volume-title":"The Logic of Knowledge Bases","author":"H.J. Levesque","year":"2001","unstructured":"Levesque, H.J., Lakemeyer, G.: The Logic of Knowledge Bases. MIT Press, Cambridge (2001)"},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H.J. Levesque","year":"1997","unstructured":"Levesque, H.J., Reiter, R., Lesp\u00e9rance, Y., Lin, F., Scherl, R.B.: Golog: A logic programming language for dynamic domains. Journal of Logic Programming\u00a031, 59\u201384 (1997)","journal-title":"Journal of Logic Programming"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/S0004-3702(96)00044-6","volume":"92","author":"F. Lin","year":"1997","unstructured":"Lin, F., Reiter, R.: How to progress a database. Artificial Intelligence\u00a092, 131\u2013167 (1997)","journal-title":"Artificial Intelligence"},{"key":"6_CR23","unstructured":"Liu, Y., Levesque, H.J.: Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions. In: Proc. of IJCAI-2005 (2005)"},{"key":"6_CR24","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence\u00a04, 463\u2013502 (1969)","journal-title":"Machine Intelligence"},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R.C. Moore","year":"1985","unstructured":"Moore, R.C.: Semantical considerations on nonmonotonic logic. Artificial Intelligence\u00a025, 75\u201394 (1985)","journal-title":"Artificial Intelligence"},{"key":"6_CR26","unstructured":"Mylopoulos, J.: TORUS - A Natural Language Understanding System For Data Management. In: IJCAI, pp. 414\u2013421 (1975)"},{"key":"6_CR27","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial Intelligence and Mathematical Theory of Computation","author":"R. Reiter","year":"1991","unstructured":"Reiter, R.: The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In: Lifschitz, V. (ed.) Artificial Intelligence and Mathematical Theory of Computation, pp. 359\u2013380. Academic Press, London (1991)"},{"key":"6_CR28","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems. MIT Press, Cambridge (2001)"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Sandewall, E.: Features and Fluents. The Representation of Knowledge about Dynamical Systems. Oxford University Press, Oxford (1994)","DOI":"10.1093\/oso\/9780198538455.001.0001"},{"key":"6_CR30","volume-title":"Solving the Frame Problem","author":"M. Shanahan","year":"1997","unstructured":"Shanahan, M.: Solving the Frame Problem. MIT Press, Cambridge (1997)"},{"issue":"1-2","key":"6_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(02)00365-X","volume":"144","author":"R.B. Scherl","year":"2003","unstructured":"Scherl, R.B., Levesque, H.J.: Knowledge, action, and the frame problem. Artificial Intelligence\u00a0144(1-2), 1\u201339 (2003)","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"6_CR32","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0004-3702(99)00033-8","volume":"111","author":"M. Thielscher","year":"1999","unstructured":"Thielscher, M.: From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem. Artificial Intelligence\u00a0111(1\u20132), 277\u2013299 (1999)","journal-title":"Artificial Intelligence"},{"key":"6_CR33","unstructured":"Vassos, S., Levesque, H.J.: Progression of situation calculus action theories with incomplete information. In: Proc. IJCAI 2007 (2007)"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02463-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,15]],"date-time":"2024-03-15T00:39:53Z","timestamp":1710463193000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02463-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024627","9783642024634"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02463-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}