{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T11:37:14Z","timestamp":1773920234420,"version":"3.50.1"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032215390","type":"print"},{"value":"9783032215406","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-21540-6_7","type":"book-chapter","created":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T06:49:30Z","timestamp":1773902970000},"page":"109-120","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Abductive Expansion for\u00a0Belief Bases"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0919-9947","authenticated-orcid":false,"given":"Moritz","family":"Bayerkuhnlein","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7140-2574","authenticated-orcid":false,"given":"\u00d6zg\u00fcr L\u00fctf\u00fc","family":"\u00d6z\u00e7ep","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9185-0147","authenticated-orcid":false,"given":"Diedrich","family":"Wolter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,3,20]]},"reference":[{"issue":"2","key":"7_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symbol. Logic 50(2), 510\u2013530 (1985)","journal-title":"J. Symbol. Logic"},{"key":"7_CR2","doi-asserted-by":"publisher","unstructured":"Aliseda, A.: Abductive Reasoning, vol.\u00a0330. Springer, Dordrecht (2006). https:\/\/doi.org\/10.1007\/1-4020-3907-7","DOI":"10.1007\/1-4020-3907-7"},{"issue":"6","key":"7_CR3","doi-asserted-by":"publisher","first-page":"999","DOI":"10.1093\/jigpal\/jzt010","volume":"21","author":"G Cevolani","year":"2013","unstructured":"Cevolani, G.: Truth approximation via abductive belief change. Log. J. IGPL 21(6), 999\u20131016 (2013)","journal-title":"Log. J. IGPL"},{"issue":"1","key":"7_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/200836.200838","volume":"42","author":"T Eiter","year":"1995","unstructured":"Eiter, T., Gottlob, G.: The complexity of logic-based abduction. J. ACM (JACM) 42(1), 3\u201342 (1995)","journal-title":"J. ACM (JACM)"},{"key":"7_CR5","doi-asserted-by":"publisher","unstructured":"Ferm\u00e9, E., Hansson, S.O.: Belief Change: Introduction and Overview. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-60535-7","DOI":"10.1007\/978-3-319-60535-7"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Ferm\u00e9, E.L., Herzig, A., Martinez, M.V.: On the logic of theory base change: reformulation of belief bases. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.\u00a039, pp. 14922\u201314929 (2025)","DOI":"10.1609\/aaai.v39i14.33636"},{"key":"7_CR7","unstructured":"Fouillard, V., Taha, S., Boulanger, F., Sabouret, N.: Belief revision theory. Archive of Formal Proofs, October 2021. Formal proof development, https:\/\/isa-afp.org\/entries\/Belief_Revision.html"},{"key":"7_CR8","unstructured":"Ghose, A.K.: Practical Belief Change. Ph.D. thesis, University of Alberta (1995)"},{"issue":"2","key":"7_CR9","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). https:\/\/doi.org\/10.1007\/BF00247909","journal-title":"J. Philos. Log."},{"issue":"6","key":"7_CR10","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/BF01054039","volume":"22","author":"SO Hansson","year":"1993","unstructured":"Hansson, S.O.: Reversing the Levi identity. J. Philos. Log. 22(6), 637\u2013669 (1993)","journal-title":"J. Philos. Log."},{"issue":"2","key":"7_CR11","doi-asserted-by":"publisher","first-page":"602","DOI":"10.2307\/2275221","volume":"58","author":"SO Hansson","year":"1993","unstructured":"Hansson, S.O.: Theory contraction and base contraction unified. J. Symbolic Logic 58(2), 602\u2013625 (1993)","journal-title":"J. Symbolic Logic"},{"issue":"3","key":"7_CR12","doi-asserted-by":"publisher","first-page":"845","DOI":"10.2307\/2275912","volume":"59","author":"SO Hansson","year":"1994","unstructured":"Hansson, S.O.: Kernel contraction. J. Symbolic Logic 59(3), 845\u2013859 (1994)","journal-title":"J. Symbolic Logic"},{"key":"7_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0814-3","volume-title":"A Textbook of Belief Dynamics: Theory Change and Database Updating","author":"SO Hansson","year":"1999","unstructured":"Hansson, S.O.: A Textbook of Belief Dynamics: Theory Change and Database Updating. Kluwer Academic Publishers, Dordrecht (1999)"},{"issue":"3","key":"7_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.O.: Propositional knowledge base revision and minimal change. Artif. Intell. 52(3), 263\u2013294 (1991)","journal-title":"Artif. Intell."},{"issue":"2\u20133","key":"7_CR15","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0004-3702(92)90073-7","volume":"53","author":"K Konolige","year":"1992","unstructured":"Konolige, K.: Abduction versus closure in causal theories. Artif. Intell. 53(2\u20133), 255\u2013272 (1992)","journal-title":"Artif. Intell."},{"key":"7_CR16","doi-asserted-by":"publisher","unstructured":"Lagerkvist, V., Maizia, M., Schmidt, J.: A fine-grained complexity view on propositional abduction - algorithms and lower bounds. In: Kwok, J. (ed.) Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25, pp. 4562\u20134569 (2025). Main Track, https:\/\/doi.org\/10.24963\/ijcai.2025\/508","DOI":"10.24963\/ijcai.2025\/508"},{"key":"7_CR17","unstructured":"Levesque, H.J.: A logic of implicit and explicit belief. In: Proceedings of the AAAI Conference on Artificial Intelligence (AAAI-84), pp. 198\u2013202 (1984). https:\/\/cdn.aaai.org\/AAAI\/1984\/AAAI84-038.pdf"},{"key":"7_CR18","doi-asserted-by":"publisher","unstructured":"Lorini, E.: Rethinking epistemic logic with belief bases. Artif. Intell. 282, 103233 (2020). https:\/\/doi.org\/10.1016\/j.artint.2020.103233, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0004370219300293","DOI":"10.1016\/j.artint.2020.103233"},{"key":"7_CR19","volume-title":"Machine Learning","author":"TM Mitchell","year":"1997","unstructured":"Mitchell, T.M.: Machine Learning. McGraw-Hill, New York (1997)"},{"key":"7_CR20","unstructured":"Pagnucco, M.: The role of abductive reasoning within the process of belief revision. Ph.D. thesis, University of Sydney (1996)"},{"key":"7_CR21","unstructured":"Pagnucco, M., Rajaratnam, D.: Inverse resolution as belief change. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05), pp. 540\u2013545 (2005). https:\/\/www.ijcai.org\/Proceedings\/05\/Papers\/0765.pdf"},{"key":"7_CR22","doi-asserted-by":"publisher","unstructured":"Ribeiro, J.S.: Semantic constructions for belief base contraction: partial meet vs smooth kernel. In: Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, pp. 620\u2013630 (2024). https:\/\/doi.org\/10.24963\/kr.2024\/58, https:\/\/proceedings.kr.org\/2024\/58\/","DOI":"10.24963\/kr.2024\/58"},{"issue":"4","key":"7_CR23","doi-asserted-by":"publisher","first-page":"1426","DOI":"10.2307\/2275152","volume":"58","author":"H Rott","year":"1993","unstructured":"Rott, H.: Belief contraction in the context of the general theory of rational choice. J. Symbolic Logic 58(4), 1426\u20131450 (1993)","journal-title":"J. Symbolic Logic"},{"key":"7_CR24","doi-asserted-by":"publisher","unstructured":"Schurz, G.: Abductive belief revision in science. In: Belief Revision Meets Philosophy of Science, pp. 77\u2013104. Springer, Dordrecht (2010). https:\/\/doi.org\/10.1007\/978-90-481-9609-8_4","DOI":"10.1007\/978-90-481-9609-8_4"},{"key":"7_CR25","volume-title":"Logic, Semantics, Metamathematics: Papers from 1923 to 1938","author":"A Tarski","year":"1983","unstructured":"Tarski, A.: Logic, Semantics, Metamathematics: Papers from 1923 to 1938, 2nd edn. Hackett Publishing Company, Indianapolis (1983)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-21540-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T06:49:31Z","timestamp":1773902971000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-21540-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032215390","9783032215406"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-21540-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"20 March 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FoIKS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Foundations of Information and Knowledge Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hanover","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 March 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 March 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"foiks2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/foiks2026.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}