{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:56:17Z","timestamp":1725551777092},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540644132"},{"type":"electronic","value":"9783540697800"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64413-x_39","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T15:22:41Z","timestamp":1270480961000},"page":"234-247","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modelling inertia in action languages"],"prefix":"10.1007","author":[{"given":"Mikhail","family":"Prokopenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavlos","family":"Peppas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,30]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/0004-3702(91)90004-4","volume":"49","author":"A.B. Baker","year":"1991","unstructured":"Baker, A.B.: Nonmonotonic reasoning in the framework of situation calculus. Artificial Intelligence 49 (1991) 5\u201323","journal-title":"Artificial Intelligence"},{"issue":"5","key":"15_CR2","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1093\/logcom\/3.5.517","volume":"3","author":"G. Brewka","year":"1993","unstructured":"Brewka, G., Hertzberg, J.: How to do things with worlds: on formalizing actions and plans. J. Logic Computat. Vol. 3, 5 (1993) 517\u2013532","journal-title":"J. Logic Computat."},{"key":"15_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.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2 (1971) 189\u2013208","journal-title":"Artificial Intelligence"},{"key":"15_CR4","volume-title":"Exploiting constraints in design synthesis","author":"J.J. Finger","year":"1987","unstructured":"Finger, J.J.: Exploiting constraints in design synthesis. PhD Thesis. Stanford University, Stanford, CA (1987)"},{"key":"15_CR5","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. The Journal of Logic Programming 17 (1993) 301\u2013322","journal-title":"The Journal of Logic Programming"},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0004-3702(88)90011-2","volume":"35","author":"M.L. Ginsberg","year":"1988","unstructured":"Ginsberg, M.L., Smith, D.E.: Reasoning about action I: A possible worlds approach. Artificial Intelligence 35 (1988) 165\u2013195","journal-title":"Artificial Intelligence"},{"key":"15_CR7","unstructured":"Giunchiglia E., Kartha, G.N., Lifschitz, V.: Actions with indirect effects (Extended abstract). In Working Notes of the AAAI Spring Symposium on Extending Theories of Action (1995) 80\u201385"},{"key":"15_CR8","unstructured":"Giunchiglia, E., Lifschitz, V.: Dependent fluents. In Proceedings of International Joint Conference on Artificial Intelligence, Montreal (1995) 1964\u20131969"},{"key":"15_CR9","unstructured":"Kartha, G.N.: Soundness and completeness theorems for three formalizations of action. In Proceedings of International Joint Conference on Artificial Intelligence, Montreal (1993) 724\u2013729"},{"key":"15_CR10","unstructured":"Kartha, G.N.: On the range of applicability of Baker's approach to the frame problem. In Proceedings of the Third Symposium on Logical Formalizations of Commonsense Reasoning (1996)"},{"key":"15_CR11","unstructured":"Kartha, G.N., Lifschitz, V.: Actions with indirect effects (Preliminary report). In Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, Bonn (1994) 341\u2013350"},{"key":"15_CR12","unstructured":"Lin, F.: Embracing causality in specifying the indirect effects of actions. In Proceedings of International Joint Conference on Artificial Intelligence, Montreal (1995) 1985\u20131991"},{"key":"15_CR13","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1016\/0004-3702(95)98594-E","volume":"74","author":"V. Lifschitz","year":"1995","unstructured":"Lifschitz, V.: Nested abnormality theories. Artificial Intelligence 74 (1995) 351\u2013365","journal-title":"Artificial Intelligence"},{"key":"15_CR14","unstructured":"Lifschitz, V.: Two components of an action language. In Proceedings of the Third Symposium on Logical Formalizations of Commonsense Reasoning, Stanford (1996)"},{"key":"15_CR15","unstructured":"McCain, N., Turner, H.: A causal theory of ramifications and qualifications. In Proceedings of International Joint Conference on Artificial Intelligence, Montreal (1995) 1978\u20131984"},{"key":"15_CR16","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence IV, edited by B. Meltzer and D. Michie (1969) 463\u2013502"},{"key":"15_CR17","unstructured":"Peppas, P.: Belief change and reasoning about action. An axiomatic approach to modelling inert dynamic worlds and the connection to the logic of theory change. PhD thesis. Dept. of Computer Science, University of Sydney (1993)"},{"key":"15_CR18","unstructured":"Prokopenko, M., Lindley, C., Kumar, V.R.: The application of reasoning about action techniques to dispatch management. In Proceedings of the AI'95 First Australian Workshop on Commonsense Reasoning, Canberra (1995) 74\u201388"},{"key":"15_CR19","unstructured":"Thielscher, M.: Computing ramification by postprocessing. In Proceedings of International Joint Conference on Artificial Intelligence, (1995) 1994\u20132000"},{"key":"15_CR20","unstructured":"Turner, H.: Representing actions in default logic: a situation calculus approach. In Proceedings of the Third Symposium on Logical Formalizations of Commonsense Reasoning, Stanford (1996)"}],"container-title":["Lecture Notes in Computer Science","Learning and Reasoning with Complex Representations"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64413-X_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T18:43:23Z","timestamp":1578509003000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64413-X_39"}},"subtitle":["Extended report"],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540644132","9783540697800"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-64413-x_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"30 July 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}