{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:14:57Z","timestamp":1759637697340},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540370338"},{"type":"electronic","value":"9783540370352"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11811220_26","type":"book-chapter","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T08:40:48Z","timestamp":1153730448000},"page":"305-317","source":"Crossref","is-referenced-by-count":9,"title":["Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction"],"prefix":"10.1007","author":[{"given":"Abhaya","family":"Nayak","sequence":"first","affiliation":[]},{"given":"Randy","family":"Goebel","sequence":"additional","affiliation":[]},{"given":"Mehmet","family":"Orgun","sequence":"additional","affiliation":[]},{"given":"Tam","family":"Pham","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change. Journal of Symbolic Logic\u00a050, 510\u2013530 (1985)","journal-title":"Journal of Symbolic Logic"},{"key":"26_CR2","first-page":"13","volume-title":"Proceedings of ECAI 2000: 14th European Conference on Artificial Intelligence","author":"S. Benferhat","year":"2000","unstructured":"Benferhat, S., Konieczny, S., Papini, O., Pino P\u00e8rez, R.: Iterated Revision by epistemic states: axioms, semantics and syntax. In: Horn, W. (ed.) Proceedings of ECAI 2000: 14th European Conference on Artificial Intelligence, pp. 13\u201317. IOS Press, Amsterdam (2000)"},{"key":"26_CR3","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/978-94-015-9817-0_10","volume-title":"Frontiers in Belief Revision","author":"A. Bochman","year":"2001","unstructured":"Bochman, A.: Contraction of epistemic states: A general theory. In: Williams, M.-A., Rott, H. (eds.) Frontiers in Belief Revision, pp. 195\u2013220. Kluwer Academic Publishers, Dordrecht (2001)"},{"key":"26_CR4","first-page":"793","volume-title":"Proceedings of ECAI 2004: Sixteenth European Conference on Artificial Intelligence","author":"R. Booth","year":"2004","unstructured":"Booth, R., Chopra, S., Ghose, A., Meyer, T.: A unifying semantics for belief change. In: Lopez De Mantaras, R., Saitta, L. (eds.) Proceedings of ECAI 2004: Sixteenth European Conference on Artificial Intelligence, pp. 793\u2013797. IOS Press, Amsterdam (2004)"},{"key":"26_CR5","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/BF00248151","volume":"25","author":"C. Boutilier","year":"1996","unstructured":"Boutilier, C.: Iterated revision and Minimal Revision of Conditional Beliefs. Journal of Philosophical Logic\u00a025, 262\u2013304 (1996)","journal-title":"Journal of Philosophical Logic"},{"key":"26_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. Artifical Intelligence\u00a089, 1\u201329 (1997)","journal-title":"Artifical Intelligence"},{"key":"26_CR7","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P.: Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge Massachusetts (1988)"},{"key":"26_CR8","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A. Grove","year":"1988","unstructured":"Grove, A.: Two modellings for theory change. Journal of Philosophical Logic\u00a017, 157\u2013170 (1988)","journal-title":"Journal of Philosophical Logic"},{"key":"26_CR9","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/BF01130759","volume":"41","author":"A.C. Nayak","year":"1994","unstructured":"Nayak, A.C.: Iterated Belief Change Based on Epistemic Entrenchment. Erkenntnis\u00a041, 353\u2013390 (1994)","journal-title":"Erkenntnis"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"Nayak, A.C., Pagnucco, M., Peppas, P.: Dynamic belief revision operators. Artifical Intelligence, 193\u2013228 (2003)","DOI":"10.1016\/S0004-3702(03)00017-1"},{"key":"26_CR11","unstructured":"Rott, H.: Change, Choice and Inference: A study of belief revision and nonmonotonic reasoning. Oxford Science Publications, Clarendon Press (2001)"},{"key":"26_CR12","unstructured":"Rott, H.: Adjusting Priorities: Simple Representations for 27 Iterated Theory Change Operators (manuscrript) (October 2004)"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Williams, M.-A.: Transmutations of Knowledge Systems. In: Doyle, J., Sandewall, E. (eds.) Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, pp. 619\u2013629 (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50152-4"}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11811220_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:26:47Z","timestamp":1619494007000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11811220_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540370338","9783540370352"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11811220_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}