{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:24:49Z","timestamp":1725686689643},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307423"},{"type":"electronic","value":"9783642307430"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-30743-0_12","type":"book-chapter","created":{"date-parts":[[2012,6,2]],"date-time":"2012-06-02T03:49:46Z","timestamp":1338608986000},"page":"164-177","source":"Crossref","is-referenced-by-count":2,"title":["Considerations on Belief Revision in an Action Theory"],"prefix":"10.1007","author":[{"given":"James","family":"Delgrande","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"12_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic\u00a050(2), 510\u2013530 (1985)","journal-title":"Journal of Symbolic Logic"},{"issue":"1-3","key":"12_CR2","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/S0743-1066(96)00141-0","volume":"31","author":"C. Baral","year":"1997","unstructured":"Baral, C., Gelfond, M., Provetti, A.: Representing actions: Laws, observations and hypotheses. Journal of Logic Programming\u00a031(1-3), 201\u2013243 (1997)","journal-title":"Journal of Logic Programming"},{"key":"12_CR3","unstructured":"Baral, C., McIlraith, S.A., Son, T.C.: Formulating diagnostic problem solving using an action language with narratives and sensing. In: Proceedings of the International Conference on the Principles of Knowledge Representation and Reasoning, pp. 311\u2013322 (2000)"},{"key":"12_CR4","unstructured":"Boutilier, C.: Generalized update: Belief change in dynamic settings. In: Proceedings of the International Joint Conference on Artificial Intelligence, pp. 1550\u20131556 (1995)"},{"key":"12_CR5","unstructured":"Dalal, M.: Investigations into theory of knowledge base revision. In: Proceedings of the AAAI National Conference on Artificial Intelligence, St. Paul, Minnesota, pp. 449\u2013479 (1988)"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","volume":"89","author":"A. Darwiche","year":"1997","unstructured":"Darwiche, A., Pearl, J.: On the logic of iterated belief revision. Artificial Intelligence\u00a089, 1\u201329 (1997)","journal-title":"Artificial Intelligence"},{"key":"12_CR7","unstructured":"Delgrande, J., Peppas, P.: Revising Horn theories. In: Proceedings of the International Joint Conference on Artificial Intelligence, Barcelona, Spain, pp. 839\u2013844 (2011)"},{"issue":"2-3","key":"12_CR8","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0004-3702(92)90018-S","volume":"57","author":"T. Eiter","year":"1992","unstructured":"Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artificial Intelligence\u00a057(2-3), 227\u2013270 (1992)","journal-title":"Artificial Intelligence"},{"key":"12_CR9","volume-title":"Knowledge in Flux: Modelling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P.: Knowledge in Flux: Modelling the Dynamics of Epistemic States. The MIT Press, Cambridge (1988)"},{"key":"12_CR10","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on AI\u00a03 (1998)"},{"issue":"1-2","key":"12_CR11","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E. Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence\u00a0153(1-2), 49\u2013104 (2004)","journal-title":"Artificial Intelligence"},{"key":"12_CR12","unstructured":"Giunchiglia, E., Lifschitz, V.: An action language based on causal explanation: Preliminary report. In: Proceedings of the AAAI National Conference on Artificial Intelligence, pp. 623\u2013630 (1998)"},{"key":"12_CR13","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1613\/jair.3132","volume":"40","author":"A. Hunter","year":"2011","unstructured":"Hunter, A., Delgrande, J.P.: Iterated belief change due to actions and observations. Journal of Artificial Intelligence Research\u00a040, 269\u2013304 (2011)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"3","key":"12_CR14","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"Katsuno, H., Mendelzon, A.: Propositional knowledge base revision and minimal change. Artificial Intelligence\u00a052(3), 263\u2013294 (1991)","journal-title":"Artificial Intelligence"},{"issue":"5","key":"12_CR15","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1093\/logcom\/12.5.773","volume":"12","author":"S. Konieczny","year":"2002","unstructured":"Konieczny, S., Pino P\u00e9rez, R.: Merging information under constraints: A logical framework. Journal of Logic and Computation\u00a012(5), 773\u2013808 (2002)","journal-title":"Journal of Logic and Computation"},{"key":"12_CR16","unstructured":"Levesque, H.J., Pirri, F., Reiter, R.: Foundations for the situation calculus. Link\u00f6ping Electronic Articles in Computer and Information Science\u00a03(18) (1998)"},{"issue":"2","key":"12_CR17","first-page":"129","volume":"1","author":"J. Lobo","year":"2001","unstructured":"Lobo, J., Mendez, G., Taylor, S.: Knowledge and the action description language \n                  \n                    \n                  \n                  ${\\cal A_K}$\n                . Theory and Practice of Logic Programming\u00a01(2), 129\u2013184 (2001)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"2","key":"12_CR18","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/S0004-3702(03)00017-1","volume":"146","author":"A.C. Nayak","year":"2003","unstructured":"Nayak, A.C., Pagnucco, M., Peppas, P.: Dynamic belief revision operators. Artificial Intelligence\u00a0146(2), 193\u2013228 (2003)","journal-title":"Artificial Intelligence"},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S1574-6526(07)03008-8","volume-title":"Handbook of Knowledge Representation","author":"P. Peppas","year":"2008","unstructured":"Peppas, P.: Belief revision. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, pp. 317\u2013359. Elsevier Science, San Diego (2008)"},{"key":"12_CR20","unstructured":"Satoh, K.: Nonmonotonic reasoning by minimal belief revision. In: Proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, pp. 455\u2013462 (1988)"},{"issue":"1-2","key":"12_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(02)00365-X","volume":"144","author":"R. Scherl","year":"2003","unstructured":"Scherl, R., Levesque, H.: Knowledge, action, and the frame problem. Artificial Intelligence\u00a0144(1-2), 1\u201339 (2003)","journal-title":"Artificial Intelligence"},{"key":"12_CR22","unstructured":"Shapiro, S., Pagnucco, M.: Iterated belief change and exogeneous actions in the situation calculus. In: Proc. ECAI 2004 (2004)"},{"issue":"1","key":"12_CR23","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.artint.2010.04.003","volume":"175","author":"S. Shapiro","year":"2011","unstructured":"Shapiro, S., Pagnucco, M., Lesp\u00e9rance, Y., Levesque, H.J.: Iterated belief change in the situation calculus. Artificial Intelligence\u00a0175(1), 165\u2013192 (2011)","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"12_CR24","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0004-3702(00)00080-1","volume":"125","author":"T. Son","year":"2001","unstructured":"Son, T., Baral, C.: Formalizing sensing actions: A transition function based approach. Artificial Intelligence\u00a0125(1-2), 19\u201391 (2001)","journal-title":"Artificial Intelligence"},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Spohn, W.: Ordinal conditional functions: A dynamic theory of epistemic states. In: Harper, W.L., Skyrms, B. (eds.) Causation in Decision, Belief Change, and Statistics, vol.\u00a0II, pp. 105\u2013134. Kluwer Academic Publishers (1988)","DOI":"10.1007\/978-94-009-2865-7_6"}],"container-title":["Lecture Notes in Computer Science","Correct Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30743-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T22:26:27Z","timestamp":1556835987000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30743-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307423","9783642307430"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30743-0_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}