{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T22:30:32Z","timestamp":1772490632944,"version":"3.50.1"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T00:00:00Z","timestamp":1651017600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T00:00:00Z","timestamp":1651017600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2022,6]]},"DOI":"10.1007\/s10472-022-09794-2","type":"journal-article","created":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T10:04:16Z","timestamp":1651053856000},"page":"573-594","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Theory-relational belief revision"],"prefix":"10.1007","volume":"90","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0329-3200","authenticated-orcid":false,"given":"Theofanis","family":"Aravanis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavlos","family":"Peppas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,4,27]]},"reference":[{"issue":"2","key":"9794_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 contraction and revision functions. J. Symb. Log. 50 (2), 510\u2013530 (1985)","journal-title":"J. Symb. Log."},{"key":"9794_CR2","doi-asserted-by":"publisher","first-page":"1357","DOI":"10.1093\/logcom\/exaa058","volume":"30","author":"T Aravanis","year":"2020","unstructured":"Aravanis, T.: On uniform belief revision. J. Log. Comput. 30, 1357\u20131376 (2020)","journal-title":"J. Log. Comput."},{"key":"9794_CR3","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s10472-019-09625-x","volume":"89","author":"T Aravanis","year":"2021","unstructured":"Aravanis, T., Peppas, P., Williams, M.A.: An investigation of parametrized difference revision operators. Ann. Math. Artif. Intell. 89, 7\u201328 (2021)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9794_CR4","doi-asserted-by":"crossref","unstructured":"Areces, C., Becher, V.: Iterable AGM functions. In: Mary-Anne Williams and Hans Rott, editors, Frontiers in Belief Revision, vol. 22 of Applied Logic Series, pp. 165\u2013196, Springer, Dordrecht (2001)","DOI":"10.1007\/978-94-015-9817-0_13"},{"key":"9794_CR5","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 89, 1\u201329 (1997)","journal-title":"Artificial Intelligence"},{"key":"9794_CR6","volume-title":"Knowledge in Flux \u2013 Modeling the Dynamics of Epistemic States","author":"P G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P.: Knowledge in Flux \u2013 Modeling the Dynamics of Epistemic States. MIT Press, Cambridge (1988)"},{"key":"9794_CR7","unstructured":"G\u00e4rdenfors, P., Makinson, D.: Revisions of Knowledge Systems Using Epistemic Entrenchment. In: Proceedings of the 2Nd Conference on Theoretical Aspects of Reasoning About Knowledge (TARK 1988), pp. 83\u201395, Pacific Grove, California, Morgan Kaufmann (1988)"},{"issue":"2","key":"9794_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. J. Philos. Log. 17(2), 157\u2013170 (1988)","journal-title":"J. Philos. Log."},{"key":"9794_CR9","unstructured":"Heltweg, P.: Implementing a Structured Approach to Belief Revision by Deterministic Switching Between Total Preorders, Master Thesis. University of Hagen, Germany (2021)"},{"issue":"3","key":"9794_CR10","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. Artif. Intell. 52(3), 263\u2013294 (1991)","journal-title":"Artif. Intell."},{"key":"9794_CR11","unstructured":"Lehmann, D.: Belief Revision, Revised. In: Proceedings of the 14Th International Joint Conference on Artificial Intelligence (IJCAI 1995), pp. 1534\u20131540, Montreal, Quebec, Morgan Kaufmann Publishers Inc (1995)"},{"key":"9794_CR12","unstructured":"Parikh, R.: Beliefs, belief revision, and splitting languages. In: Lawrence S. Moss, Jonathan Ginzburg, and Maarten de Rijke, editors, Logic, Language and Computation, vol. 2, pp. 266\u2013278. CSLI Publications (1999)"},{"key":"9794_CR13","doi-asserted-by":"crossref","unstructured":"Peppas, P.: Belief revision. In: Frank van Harmelen, Vladimir Lifschitz, and Bruce Porter, editors, Handbook of Knowledge Representation, pp. 317\u2013359. Elsevier Science (2008)","DOI":"10.1016\/S1574-6526(07)03008-8"},{"key":"9794_CR14","doi-asserted-by":"crossref","unstructured":"Peppas, P.: A panorama of iterated revision. In: Sven O. Hansson, editor, David Makinson on Classical Methods for Non-Classical Problems, pp. 71\u201394. Springer Netherlands (2014)","DOI":"10.1007\/978-94-007-7759-0_5"},{"issue":"1","key":"9794_CR15","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1305\/ndjfl\/1040308831","volume":"36","author":"P Peppas","year":"1995","unstructured":"Peppas, P., Williams, M.A.: Constructive modellings for theory change. Notre Dame J. Form. Log. 36(1), 120\u2013133 (1995)","journal-title":"Notre Dame J. Form. Log."},{"key":"9794_CR16","doi-asserted-by":"crossref","unstructured":"Peppas, P., Williams, M.A.: Kinetic consistency and relevance in belief revision. In: Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA 2016), pp. 401\u2013414 Springer International Publishing (2016)","DOI":"10.1007\/978-3-319-48758-8_26"},{"key":"9794_CR17","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1016\/j.artint.2015.08.007","volume":"229","author":"P Peppas","year":"2015","unstructured":"Peppas, P., Williams, M.A., Chopra, S., Foo, N.: Relevance in belief revision. Artif. Intell. 229, 126\u2013138 (December 2015)","journal-title":"Artif. Intell."},{"key":"9794_CR18","doi-asserted-by":"crossref","unstructured":"Rott, H.: A nonmonotonic conditional logic for belief revision. Part 1: Semantics and logic of simple conditionals. In: Andr\u00e9 Fuhrmann and Michael Morreau, editors, The Logic of Theory Change, volume 465 of Lecture Notes in Artificial Intelligence, pp. 135\u2013181. Springer Berlin Heidelberg (1991)","DOI":"10.1007\/BFb0018420"},{"key":"9794_CR19","volume-title":"Coherent Systems","author":"K Schlechta","year":"2004","unstructured":"Schlechta, K.: Coherent Systems. Elsevier, Amsterdam (2004)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-022-09794-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10472-022-09794-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-022-09794-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,21]],"date-time":"2022-06-21T09:13:53Z","timestamp":1655802833000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10472-022-09794-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,27]]},"references-count":19,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2022,6]]}},"alternative-id":["9794"],"URL":"https:\/\/doi.org\/10.1007\/s10472-022-09794-2","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,4,27]]},"assertion":[{"value":"28 March 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 April 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no relevant financial or non-financial interests to disclose.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"<!--Emphasis Type='Bold' removed-->Competing interests"}}]}}