{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:05:45Z","timestamp":1760169945798,"version":"3.43.0"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[2001,3]]},"DOI":"10.1023\/a:1010547120504","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T12:42:08Z","timestamp":1040647328000},"page":"215-242","source":"Crossref","is-referenced-by-count":7,"title":["Basic Infobase Change"],"prefix":"10.1007","volume":"67","author":[{"given":"Thomas","family":"Meyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"352857_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. E. Alchourr\u00d3on","year":"1985","unstructured":"Alchourr\u00d3on, C. E., P. G\u00e4rdenfors, and D. Makinson, \u2018On the logic of theory change: Partial meet functions for contraction and revision\u2019, Journal of Symbolic Logic 50:510\u2013530, 1985.","journal-title":"Journal of Symbolic Logic"},{"key":"352857_CR2","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0004-3702(94)90095-7","volume":"68","author":"C. Boutilier","year":"1994","unstructured":"Boutilier, C., \u2018Unifying default reasoning and belief revision in a modal framework\u2019, Artificial Intelligence 68:33\u201385, 1994.","journal-title":"Artificial Intelligence"},{"key":"352857_CR3","unstructured":"dalal, M., \u2018Investigations into a theory of knowledge base revision\u2019, in Proceedings of the 7th National Conference of the American Association for Artificial Intelligence, Saint Paul, Minnesota, pages 475\u2013479, 1988."},{"key":"352857_CR4","doi-asserted-by":"crossref","unstructured":"Darwiche, A., and J. Pearl, \u2018On the logic of iterated belief revision\u2019, in R. Fagin, editor, Theoretical Aspects of Reasoning about Knowledge, pages 5\u201323, Pacific Grove, CA, 1994, Morgan Kaufmann.","DOI":"10.1016\/B978-1-4832-1453-5.50005-2"},{"key":"352857_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","volume":"89","author":"A. Darwiche","year":"1997","unstructured":"Darwiche, A., and J. Pearl, \u2018On the logic of iterated belief revision\u2019, Artificial Intelligence 89:1\u201329, 1997.","journal-title":"Artificial Intelligence"},{"key":"352857_CR6","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1017\/CBO9780511526664.002","volume-title":"Belief Revision","author":"J. Doyle","year":"1992","unstructured":"Doyle, J., \u2018Reason maintenance and belief revision: Foundations versus coherence theories\u2019, in P. G\u00e4rdenfors, editor, Belief Revision, volume 29 of Cambridge Tracts in Theoretical Computer Science, pages 29\u201351, Cambridge University Press, Cambridge, 1992."},{"key":"352857_CR7","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF00284974","volume":"20","author":"A. Fuhrmann","year":"1991","unstructured":"Fuhrmann, A., \u2018Theory contraction through base contraction\u2019, Journal of Philosophical Logic 20:175\u2013203, 1991.","journal-title":"Journal of Philosophical Logic"},{"key":"352857_CR8","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, The MIT Press, Cambridge, Massachusetts, 1988."},{"key":"352857_CR9","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A. Grove","year":"1988","unstructured":"Grove, A., \u2018Two modellings for theory change\u2019, Journal of Philosophical Logic 17:157\u2013170, 1988.","journal-title":"Journal of Philosophical Logic"},{"key":"352857_CR10","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1111\/j.1755-2567.1989.tb00725.x","volume":"55","author":"S.O. Hansson","year":"1989","unstructured":"Hansson, S.O., \u2018New operators for theory change\u2019, Theoria 55:114\u2013132, 1989.","journal-title":"Theoria"},{"key":"352857_CR11","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF00413568","volume":"91","author":"S.O. Hansson","year":"1992","unstructured":"Hansson, S.O., \u2018In defense of base contraction\u2019, Synthese 91:239\u2013245, 1992.","journal-title":"Synthese"},{"key":"352857_CR12","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/0004-3702(95)00005-4","volume":"82","author":"S.O. Hansson","year":"1996","unstructured":"Hansson, S.O., \u2018Knowledge-level analysis of belief base operations\u2019, Artificial Intelligence 82:215\u2013235, 1996.","journal-title":"Artificial Intelligence"},{"key":"352857_CR13","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"Katsuno, H., and A. O. Mendelzon, \u2018Propositional knowledge base revision and minimal change\u2019, Artificial Intelligence 52:263\u2013294, 1991.","journal-title":"Artificial Intelligence"},{"key":"352857_CR14","doi-asserted-by":"crossref","unstructured":"Lehmann, D., \u2018Another perspective on Default Reasoning\u2019, Annals of Mathematics and Artificial Intelligence, 1995.","DOI":"10.1007\/BF01535841"},{"issue":"3","key":"352857_CR15","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1023\/A:1008308620177","volume":"9","author":"T. A. Meyer","year":"2000","unstructured":"Meyer, T. A., W. A. Labuschagne, and J. Heidema, \u2018Infobase change: A first approximation\u2019, Journal of Logic, Language and Information 9(3):353\u2013377, 2000.","journal-title":"Journal of Logic, Language and Information"},{"key":"352857_CR16","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/BF01049408","volume":"23","author":"A. C. Nayak","year":"1994","unstructured":"Nayak, A. C., \u2018Foundational belief change\u2019, Journal of Philosophical Logic 23:495\u2013533, 1994.","journal-title":"Journal of Philosophical Logic"},{"key":"352857_CR17","unstructured":"Nebel, B., \u2018A knowledge level analysis of belief revision\u2019, in R. J. Brachman, H. J. Levesque, and R. Reiter, editors, Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, pages 301\u2013311, San Mateo, CA, 1989, Morgan Kaufmann."},{"key":"352857_CR18","volume-title":"Reasoning and Revision in Hybrid Representation Systems","author":"B. Nebel","year":"1990","unstructured":"Nebel, B., Reasoning and Revision in Hybrid Representation Systems, volume 422 of Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin, 1990."},{"key":"352857_CR19","first-page":"417","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference KR '91","author":"B. Nebel","year":"1991","unstructured":"Nebel, B., \u2018Belief revision and default reasoning: Syntax-based approaches\u2019, in J. Allen, R. Fikes, and E. Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference KR '91, pages 417\u2013428, Morgan Kaufmann, San Francisco, California, 1991."},{"key":"352857_CR20","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1017\/CBO9780511526664.003","volume-title":"Belief Revision","author":"B. Nebel","year":"1992","unstructured":"Nebel, B., \u2018Syntax-based approaches to belief revision\u2019, in P. G\u00e4rdenfors, editor, Belief Revision, volume 29 of Cambridge Tracts in Theoretical Computer Science, pages 52\u201388, Cambridge University Press, Cambridge, 1992."},{"issue":"1","key":"352857_CR21","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1305\/ndjfl\/1040308831","volume":"36","author":"P. Peppas","year":"1995","unstructured":"Peppas, P., and M.-A. Williams, \u2018Constructive modellings for theory change\u2019, Notre Dame Journal of Formal Logic 36(1):120\u2013133, 1995.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"352857_CR22","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1111\/j.1755-2567.1992.tb01154.x","volume":"58","author":"H. Rott","year":"1992","unstructured":"Rott, H., \u2018Modellings for belief change: Prioritization and entrenchment\u2019, Theoria 58(1):21\u201357, 1992.","journal-title":"Theoria"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010547120504.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1010547120504\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010547120504.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:12:22Z","timestamp":1754629942000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1010547120504"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,3]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,3]]}},"alternative-id":["352857"],"URL":"https:\/\/doi.org\/10.1023\/a:1010547120504","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2001,3]]}}}