{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T12:46:43Z","timestamp":1761310003815,"version":"3.41.0"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2000,7,1]],"date-time":"2000-07-01T00:00:00Z","timestamp":962409600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,7,1]],"date-time":"2000-07-01T00:00:00Z","timestamp":962409600000},"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":["Journal of Logic, Language and Information"],"published-print":{"date-parts":[[2000,7]]},"DOI":"10.1023\/a:1008308620177","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T14:41:38Z","timestamp":1040568098000},"page":"353-377","source":"Crossref","is-referenced-by-count":5,"title":["Infobase Change: A First Approximation"],"prefix":"10.1007","volume":"9","author":[{"given":"Thomas Andreas","family":"Meyer","sequence":"first","affiliation":[]},{"given":"Willem Adrian","family":"Labuschagne","sequence":"additional","affiliation":[]},{"given":"Johannes","family":"Heidema","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"199441_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C., G\u00e4rdenfors, P., and Makinson, D., 1985, \u201cOn the logic of theory change: Partial meet functions for contraction and revision,\u201d Journal of Symbolic Logic\n50, 510-530.","journal-title":"Journal of Symbolic Logic"},{"key":"199441_CR2","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1145\/4879.4995","volume":"10","author":"A. Borgida","year":"1985","unstructured":"Borgida, A., 1985, \u201cLanguage features for flexible handling of exceptions in information systems,\u201d ACM Transactions on Database Systems\n10, 563-603.","journal-title":"ACM Transactions on Database Systems"},{"key":"199441_CR3","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., 1994, \u201cUnifying default reasoning and belief revision in a modal framework,\u201d Artificial Intelligence\n68, 33-85.","journal-title":"Artificial Intelligence"},{"key":"199441_CR4","first-page":"475","volume-title":"Proceedings of the 7th National Conference of the American Association for Artificial Intelligence","author":"M. Dalal","year":"1988","unstructured":"Dalal, M., 1988, \u201cInvestigations into a theory of knowledge base revision,\u201d pp. 475-479 in Proceedings of the 7th National Conference of the American Association for Artificial Intelligence, Saint Paul, MN, San Mateo, CA: Morgan Kaufmann."},{"key":"199441_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 Pearl, J., 1997, \u201cOn the logic of iterated belief revision,\u201d Artificial Intelligence\n89, 1-29.","journal-title":"Artificial Intelligence"},{"key":"199441_CR6","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF00284974","volume":"20","author":"A. Fuhrmann","year":"1991","unstructured":"Fuhrmann, A., 1991, \u201cTheory contraction through base contraction,\u201d Journal of Philosophical Logic\n20, 175-203.","journal-title":"Journal of Philosophical Logic"},{"key":"199441_CR7","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P., 1988, Knowledge in Flux: Modeling the Dynamics of Epistemic States, Cambridge, MA: The MIT Press."},{"key":"199441_CR8","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A. Grove","year":"1988","unstructured":"Grove, A., 1988, \u201cTwo modellings for theory change,\u201d Journal of Philosophical Logic\n17, 157-170.","journal-title":"Journal of Philosophical Logic"},{"key":"199441_CR9","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., 1989, \u201cNew operators for theory change,\u201d Theoria\n55, 114-132.","journal-title":"Theoria"},{"key":"199441_CR10","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1017\/CBO9780511526664.004","volume-title":"Belief Revision","author":"S.O. Hansson","year":"1992","unstructured":"Hansson, S.O., 1992a, \u201cA dyadic representation of belief,\u201d pp. 89-121 in Belief Revision, P. G\u00e4rdenfors, ed., Cambridge: Cambridge University Press."},{"key":"199441_CR11","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF00413568","volume":"91","author":"S.O. Hansson","year":"1992","unstructured":"Hansson, S.O., 1992b, \u201cIn defense of base contraction,\u201d Synthese\n91, 239-245.","journal-title":"Synthese"},{"key":"199441_CR12","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1007\/BF01054039","volume":"22","author":"S.O. Hansson","year":"1993","unstructured":"Hansson, S.O., 1993, \u201cReversing the Levi Identity,\u201d Journal of Philosophical Logic\n22, 637-669.","journal-title":"Journal of Philosophical Logic"},{"key":"199441_CR13","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., 1996, \u201cKnowledge-level analysis of belief base operations,\u201d Artificial Intelligence\n82, 215-235.","journal-title":"Artificial Intelligence"},{"key":"199441_CR14","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 Mendelzon, A., 1991, \u201cPropositional knowledge base revision and minimal change,\u201d Artificial Intelligence\n52, 263-294.","journal-title":"Artificial Intelligence"},{"key":"199441_CR15","first-page":"1534","volume-title":"IJCAI-95, Proceedings of the 14th International Joint Conference on Artificial Intelligence, Montreal, PQ, August 20-25, 1995, Vol. 2","author":"D. Lehmann","year":"1995","unstructured":"Lehmann, D., 1995, \u201cBelief revision, revised,\u201d pp. 1534-1540 in IJCAI-95, Proceedings of the 14th International Joint Conference on Artificial Intelligence, Montreal, PQ, August 20-25, 1995, Vol. 2, C.S. Mellish, ed., San Mateo, CA: Morgan Kaufmann."},{"key":"199441_CR16","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/BF01049408","volume":"23","author":"A.C. Nayak","year":"1994","unstructured":"Nayak, A.C., 1994, \u201cFoundational belief change,\u201d Journal of Philosophical Logic\n23, 495-533.","journal-title":"Journal of Philosophical Logic"},{"key":"199441_CR17","first-page":"301","volume-title":"Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning","author":"B. Nebel","year":"1989","unstructured":"Nebel, B., 1989, \u201cA knowledge level analysis of belief revision,\u201d pp. 301-311 in Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, R.J. Brachman, H.J. Levesque, and R. Reiter, eds., San Mateo, CA: Morgan Kaufmann."},{"key":"199441_CR18","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Reasoning and Revision in Hybrid Representation Systems","author":"B. Nebel","year":"1990","unstructured":"Nebel, B., 1990, Reasoning and Revision in Hybrid Representation Systems, Lecture Notes in Artificial Intelligence, Vol. 422, Berlin: Springer-Verlag."},{"key":"199441_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., 1991, \u201cBelief revision and default reasoning: Syntax-based approaches,\u201d pp. 417-428 in Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference KR' 91), J. Allen, R. Fikes, and E. Sandewall, eds., San Francisco, CA: Morgan Kaufmann."},{"key":"199441_CR20","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1017\/CBO9780511526664.003","volume-title":"Belief Revision","author":"B. Nebel","year":"1992","unstructured":"Nebel, B., 1992, \u201cSyntax-based approaches to belief revision,\u201d pp. 52-88 in Belief Revision, P. G\u00e4rdenfors, ed., Cambridge Tracts in Theoretical Computer Science, Vol. 29, Cambridge: Cambridge University Press."},{"key":"199441_CR21","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., 1992, \u201cModellings for belief change: Prioritization and entrenchment,\u201d Theoria\n58, 21-57.","journal-title":"Theoria"},{"key":"199441_CR22","unstructured":"Satoh, K., 1988, \u201cNonmonotonic reasoning by minimal belief revision,\u201d pp. 455-462 in Proceedings International Conference on Fifth Generation Computer Systems, Tokyo."},{"key":"199441_CR23","unstructured":"Weber, A., 1986, \u201cUpdating propositional formulas,\u201d pp. 487-500 in Proceedings First Conference on Expert Database Systems."},{"key":"199441_CR24","first-page":"89","volume-title":"Proceedings of the 7th National Conference of the American Association for Artificial Intelligence","author":"M. Winslett","year":"1988","unstructured":"Winslett, M., 1988, \u201cReasoning about action using a possible models approach,\u201d pp. 89-93 in Proceedings of the 7th National Conference of the American Association for Artificial Intelligence, Saint Paul, MN, Palo Alto, CA: Morgan Kaufmann."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008308620177.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008308620177\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008308620177.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:32:35Z","timestamp":1749724355000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008308620177"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,7]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000,7]]}},"alternative-id":["199441"],"URL":"https:\/\/doi.org\/10.1023\/a:1008308620177","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2000,7]]}}}