{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:35:18Z","timestamp":1725748518764},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405631"},{"type":"electronic","value":"9783642405648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40564-8_44","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T11:21:30Z","timestamp":1378984890000},"page":"439-451","source":"Crossref","is-referenced-by-count":0,"title":["Implementing Belief Change in the Situation Calculus and an Application"],"prefix":"10.1007","author":[{"given":"Maurice","family":"Pagnucco","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Rajaratnam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hannes","family":"Strass","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Thielscher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"44_CR1","first-page":"165","volume":"175","author":"S. Shapiro","year":"2011","unstructured":"Shapiro, S., Pagnucco, M., Lesp\u00e9rance, Y., Levesque, H.: Iterated belief change in the situation calculus. AIJ\u00a0175(1), 165\u2013192 (2011)","journal-title":"AIJ"},{"key":"44_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1007\/3-540-39963-1_54","volume-title":"Foundations of Intelligent Systems","author":"R. Demolombe","year":"2000","unstructured":"Demolombe, R., del Pilar Pozos Parra, M.: A simple and tractable extension of situation calculus to epistemic logic. In: Ohsuga, S., Ra\u015b, Z.W. (eds.) ISMIS 2000. LNCS (LNAI), vol.\u00a01932, pp. 515\u2013524. Springer, Heidelberg (2000)"},{"key":"44_CR3","doi-asserted-by":"crossref","unstructured":"Demolombe, R., Pozos-Parra, M.P.: Belief change in the situation calculus: A new proposal without plausibility levels. In: Proc. of the Workshop on Belief Revision and Dynamic Logic at ESSLLI (2005)","DOI":"10.1007\/11875604_57"},{"key":"44_CR4","unstructured":"Shapiro, S., Pagnucco, M., Lesp\u00e9rance, Y., Levesque, H.: Iterated belief change in the situation calculus. In: KR, pp. 527\u2013538 (2000)"},{"key":"44_CR5","doi-asserted-by":"crossref","unstructured":"Strass, H.: The draculasp system: Default reasoning about actions and change using logic and answer set programming. In: NMR (2012)","DOI":"10.1007\/978-3-642-30743-0_36"},{"key":"44_CR6","doi-asserted-by":"crossref","unstructured":"McCarthy, J.: Situations, actions and causal laws. Stanford AI Project Memo 2 (1963)","DOI":"10.21236\/AD0785031"},{"key":"44_CR7","doi-asserted-by":"crossref","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press (2001)","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"44_CR8","doi-asserted-by":"crossref","unstructured":"Cohen, P., Levesque, H.: Rational interaction as the basis for communication. In: Cohen, P., Morgan, J., Pollack, M. (eds.) Intentions in Communication, pp. 221\u2013256. MIT Press (1990)","DOI":"10.7551\/mitpress\/3839.003.0014"},{"issue":"1-2","key":"44_CR9","first-page":"1","volume":"144","author":"R. Scherl","year":"2003","unstructured":"Scherl, R., Levesque, H.: Knowledge, action, and the frame problem. AIJ\u00a0144(1-2), 1\u201339 (2003)","journal-title":"AIJ"},{"key":"44_CR10","unstructured":"Levesque, H.: What is planning in the presence of sensing? In: AAAI, pp. 1139\u20131146 (1996)"},{"key":"44_CR11","unstructured":"Baumann, R., Brewka, G., Strass, H., Thielscher, M., Zaslawski, V.: State defaults and ramifications in the unifying action calculus. In: KR, pp. 435\u2013444 (2010)"},{"key":"44_CR12","doi-asserted-by":"crossref","unstructured":"Gelfond, M.: Answer Sets. In: Handbook of KR, pp. 285\u2013316 (2008)","DOI":"10.1016\/S1574-6526(07)03007-6"},{"key":"44_CR13","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BFb0021977","volume-title":"Logics in Artificial Intelligence","author":"G. Brewka","year":"1994","unstructured":"Brewka, G.: Adding priorities and specificity to default logic. In: MacNish, C., Moniz Pereira, L., Pearce, D.J. (eds.) JELIA 1994. LNCS (LNAI), vol.\u00a0838, pp. 247\u2013260. Springer, Heidelberg (1994)"},{"key":"44_CR14","first-page":"81","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. AIJ\u00a013, 81\u2013132 (1980)","journal-title":"AIJ"},{"key":"44_CR15","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Gen. Comp.\u00a09, 365\u2013385 (1991)","journal-title":"New Gen. Comp."},{"issue":"1-2","key":"44_CR16","first-page":"41","volume":"123","author":"J. Delgrande","year":"2000","unstructured":"Delgrande, J., Schaub, T.: Expressing preferences in default logic. AIJ\u00a0123(1-2), 41\u201387 (2000)","journal-title":"AIJ"},{"key":"44_CR17","unstructured":"Shapiro, S., Lesp\u00e9rance, Y., Levesque, H.: Goal change. In: IJCAI 2005, pp. 582\u2013588 (2005)"},{"key":"44_CR18","doi-asserted-by":"crossref","unstructured":"Lee, J., Palla, R.: Situation Calculus as Answer Set Programming. In: Proceedings of the Twenty-Fourth Conference on Artificial Intelligence, AAAI 2010, pp. 309\u2013314 (July 2010)","DOI":"10.1609\/aaai.v24i1.7601"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40564-8_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,17]],"date-time":"2024-05-17T21:08:05Z","timestamp":1715980085000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}