{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T19:05:58Z","timestamp":1766084758374,"version":"3.48.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T00:00:00Z","timestamp":1764115200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T00:00:00Z","timestamp":1764115200000},"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":["Log. Univers."],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1007\/s11787-025-00402-5","type":"journal-article","created":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T08:21:25Z","timestamp":1764145285000},"page":"739-768","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Splitting Property for Epistemic Equilibrium Logics"],"prefix":"10.1007","volume":"19","author":[{"given":"Ezgi Iraz","family":"Su","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,11,26]]},"reference":[{"key":"402_CR1","doi-asserted-by":"crossref","unstructured":"Cabalar, P., Fandinno, J., Fari\u00f1as del Cerro, L.: Splitting epistemic logic programs. In Marcello Balduccini, Yuliya Lierler, and Stefan Woltran, editors, Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, vol. 11481 of Lecture Notes in Computer Science, pp. 120\u2013133. Springer (2019)","DOI":"10.1007\/978-3-030-20528-7_10"},{"key":"402_CR2","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2020.103382","volume":"289","author":"P Cabalar","year":"2020","unstructured":"Cabalar, P., Fandinno, J., Fari\u00f1as del Cerro, L.: Autoepistemic answer set programming. Artif. Intell. 289, 103382 (2020)","journal-title":"Artif. Intell."},{"key":"402_CR3","doi-asserted-by":"crossref","unstructured":"Cabalar, P., Fandinno, J., Fari\u00f1as del Cerro, L.: Founded world views with autoepistemic equilibrium logic. In Marcello Balduccini, Yuliya Lierler, and Stefan Woltran, editors, Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, volume 11481 of Lecture Notes in Computer Science, pages 134\u2013147. Springer, (2019)","DOI":"10.1007\/978-3-030-20528-7_11"},{"issue":"3","key":"402_CR4","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1017\/S1471068420000058","volume":"21","author":"P Cabalar","year":"2021","unstructured":"Cabalar, P., Fandinno, J., Fari\u00f1as del Cerro, L.: Splitting epistemic logic programs. Theory Pract. Log. Program. 21(3), 296\u2013316 (2021)","journal-title":"Theory Pract. Log. Program."},{"key":"402_CR5","unstructured":"Costantini, S.: Top-down splitting property for epistemic logic programs. In Joaqu\u00edn Arias, Fabio\u00a0Aurelio D\u2019Asaro, Abeer Dyoub, Gopal Gupta, Markus Hecher, Emily LeBlanc, Rafael Pe\u00f1aloza, Elmer Salazar, Ari Saptawijaya, Felix Weitk\u00e4mper, and Jessica Zangari, editors, Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), Porto, Portugal (virtual), September 20th-21st, 2021, vol. 2970 of CEUR Workshop Proceedings. CEUR-WS.org (2021)"},{"key":"402_CR6","doi-asserted-by":"crossref","unstructured":"Costantini, S., Formisano, A.: Epistemic logic programs: A study of some properties. In Georg Gottlob, Daniela Inclezan, and Marco Maratea, editors, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, volume 13416 of Lecture Notes in Computer Science, pp 131\u2013144. Springer (2022)","DOI":"10.1007\/978-3-031-15707-3_11"},{"key":"402_CR7","unstructured":"Costantini, S., Formisano, A.: Epistemic logic programs: an approach to semantic comparison. In Roberta Calegari, Giovanni Ciatto, and Andrea Omicini, editors, Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 \u2013July 1, 2022, vol. 3204 of CEUR Workshop Proceedings, pp. 186\u2013200. CEUR-WS.org (2022)"},{"issue":"3","key":"402_CR8","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1017\/S1471068424000012","volume":"24","author":"S Costantini","year":"2024","unstructured":"Costantini, S., Formisano, A.: Epistemic logic programs: A study of some properties. Theory Pract. Log. Program. 24(3), 482\u2013504 (2024)","journal-title":"Theory Pract. Log. Program."},{"key":"402_CR9","doi-asserted-by":"crossref","unstructured":"Fari\u00f1as del Cerro, L., Herzig, A., Su, E.I.: Capturing equilibrium models in modal logic. J. Appl. Log. 12(2), 192\u2013207 (2014)","DOI":"10.1016\/j.jal.2013.12.003"},{"key":"402_CR10","unstructured":"Fari\u00f1as del Cerro, L., Herzig, A., Su, E.I.: Epistemic equilibrium logic. In Qiang Yang and Michael J. Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25\u201331, 2015, pp 2964\u20132970. AAAI Press (2015)"},{"key":"402_CR11","unstructured":"Gelfond, M.: Strong introspection. In Thomas\u00a0L. Dean and Kathleen\u00a0R. McKeown, editors, Proceedings of the 9th National Conference on Artificial Intelligence, Anaheim, CA, USA, July 14-19, 1991, Vol.1, pp. 386\u2013391. AAAI Press \/ The MIT Press (1991)"},{"issue":"1\u20132","key":"402_CR12","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/BF01530762","volume":"12","author":"M Gelfond","year":"1994","unstructured":"Gelfond, M.: Logic programming and reasoning with incomplete information. Ann. Math. Artif. Intell. 12(1\u20132), 89\u2013116 (1994)","journal-title":"Ann. Math. Artif. Intell."},{"key":"402_CR13","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In Robert\u00a0A. Kowalski and Kenneth\u00a0A. Bowen, editors, Logic Programming, Proceedings of the 5th International Conference and Symposium, Seattle, Washington, USA, August 15\u201319, 1988 (2 Volumes), pp. 1070\u20131080. MIT Press (1988)"},{"issue":"3\/4","key":"402_CR14","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9(3\/4), 365\u2013386 (1991)","journal-title":"New Gener. Comput."},{"key":"402_CR15","first-page":"158","volume":"42\u201371","author":"A Heyting","year":"1930","unstructured":"Heyting, A.: Die formalen Regeln der intuitionistischen Logik. Sitzungsber. preuss. Akad. Wiss. 42\u201371, 158\u2013169 (1930)","journal-title":"Sitzungsber. preuss. Akad. Wiss."},{"issue":"2\u20133","key":"402_CR16","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","volume":"42","author":"HJ Levesque","year":"1990","unstructured":"Levesque, H.J.: All I know: A study in autoepistemic logic. Artif. Intell. 42(2\u20133), 263\u2013309 (1990)","journal-title":"Artif. Intell."},{"issue":"4","key":"402_CR17","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1145\/383779.383783","volume":"2","author":"V Lifschitz","year":"2001","unstructured":"Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. ACM Trans. Comput. Log. 2(4), 526\u2013541 (2001)","journal-title":"ACM Trans. Comput. Log."},{"key":"402_CR18","unstructured":"Lifschitz, V., Turner, H.: Splitting a logic program. In Pascal\u00a0Van Hentenryck, editor, Logic Programming, Proceedings of the 11th International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13\u201318, 1994, pp. 23\u201337. MIT Press (1994)"},{"issue":"1","key":"402_CR19","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"RC Moore","year":"1985","unstructured":"Moore, R.C.: Semantical considerations on nonmonotonic logic. Artif. Intell. 25(1), 75\u201394 (1985)","journal-title":"Artif. Intell."},{"key":"402_CR20","doi-asserted-by":"crossref","unstructured":"Pearce, D.: A new logical characterisation of stable models and answer sets. In J\u00fcrgen Dix, Lu\u00eds\u00a0Moniz Pereira, and Teodor\u00a0C. Przymusinski, editors, Non-Monotonic Extensions of Logic Programming, NMELP \u201996, Bad Honnef, Germany, September 5\u20136, 1996, Selected Papers, vol. 1216 of Lecture Notes in Computer Science, pp. 57\u201370. Springer (1996)","DOI":"10.1007\/BFb0023801"},{"issue":"1\u20132","key":"402_CR21","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10472-006-9028-z","volume":"47","author":"D Pearce","year":"2006","unstructured":"Pearce, D.: Equilibrium logic. Ann. Math. Artif. Intell. 47(1\u20132), 3\u201341 (2006)","journal-title":"Ann. Math. Artif. Intell."},{"key":"402_CR22","doi-asserted-by":"crossref","unstructured":"Schwarz, G.: Minimal model semantics for nonmonotonic modal logics. In Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS \u201992), Santa Cruz, California, USA, June 22\u201325, 1992, pp. 34\u201343. IEEE Computer Society (1992)","DOI":"10.1109\/LICS.1992.185517"},{"key":"402_CR23","unstructured":"Shen, Y-D., Eiter, T.: Constraint monotonicity, epistemic splitting and foundedness are too strong in answer set programming. CoRR, abs\/2010.00191, (2020)"},{"key":"402_CR24","doi-asserted-by":"crossref","unstructured":"Shen, Y-D., Eiter, T.: Considering constraint monotonicity and foundedness in answer set programming. In Luc\u00a0De Raedt, editor, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23\u201329 July 2022, pp. 2741\u20132747. ijcai.org (2022)","DOI":"10.24963\/ijcai.2022\/380"},{"key":"402_CR25","unstructured":"Shen, Y-D., Eiter, T.: Refining Gelfond rationality principle towards more comprehensive foundational principles for answer set semantics. CoRR, abs\/2507.01833, (2025)"},{"key":"402_CR26","unstructured":"Su, E.I.: Extensions of equilibrium logic by modal concepts. (Extensions de la logique d\u2019\u00e9quilibre par des concepts modaux). PhD thesis, Institut de Recherche en Informatique de Toulouse, France (2015)"},{"key":"402_CR27","doi-asserted-by":"crossref","unstructured":"Su, E.I.: A monotonic view on reflexive autoepistemic reasoning. In Marcello Balduccini and Tomi Janhunen, editors, Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3\u20136, 2017, Proceedings, vol. 10377 of Lecture Notes in Computer Science, pp. 85\u2013100. Springer (2017)","DOI":"10.1007\/978-3-319-61660-5_10"},{"key":"402_CR28","doi-asserted-by":"crossref","unstructured":"Su, E.I.: Epistemic answer set programming. In Francesco Calimeri, Nicola Leone, and Marco Manna, editors, Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7\u201311, 2019, Proceedings, vol. 11468 of Lecture Notes in Computer Science, pp. 608\u2013626. Springer, (2019)","DOI":"10.1007\/978-3-030-19570-0_40"},{"issue":"3\u20134","key":"402_CR29","doi-asserted-by":"publisher","first-page":"205","DOI":"10.3233\/FI-2020-1972","volume":"176","author":"EI Su","year":"2020","unstructured":"Su, E.I.: A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming. Fundam. Informaticae 176(3\u20134), 205\u2013234 (2020)","journal-title":"Fundam. Informaticae"},{"key":"402_CR30","doi-asserted-by":"crossref","unstructured":"Su, E.I.: Refining the semantics of epistemic specifications. In Andrea Formisano, Yanhong\u00a0Annie Liu, Bart Bogaerts, Alex Brik, Ver\u00f3nica Dahl, Carmine Dodaro, Paul Fodor, Gian\u00a0Luca Pozzato, Joost Vennekens, and Neng-Fa Zhou, editors, Proceedings 37th International Conference on Logic Programming, ICLP Technical Communications 2021, Porto, 20\u201327th September 2021, vol. 345 of EPTCS, pp. 113\u2013126, (2021)","DOI":"10.4204\/EPTCS.345.0"},{"key":"402_CR31","doi-asserted-by":"crossref","unstructured":"Su, E.I.: A generalisation of epistemic splitting property. In Carmine Dodaro, Gopal Gupta, and Maria\u00a0Vanina Martinez, editors, Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings, vol. 15245 of Lecture Notes in Computer Science, pp. 393\u2013406. Springer (2024)","DOI":"10.1007\/978-3-031-74209-5_30"},{"key":"402_CR32","unstructured":"Su, E.I.: Pearce\u2019s characterisation in an epistemic domain. In Pedro Cabalar, Francesco Fabiano, Martin Gebser, Gopal Gupta, and Theresa Swift, editors, Proceedings 40th International Conference on Logic Programming, ICLP 2024, University of Texas at Dallas, Dallas Texas, USA, October 14\u201317 2024, vol. 416 of EPTCS, pp. 201\u2013214, February (2024)"},{"key":"402_CR33","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2020.103249","volume":"282","author":"EI Su","year":"2020","unstructured":"Su, E.I., Fari\u00f1as del Cerro, L., Herzig, A.: Autoepistemic equilibrium logic and epistemic specifications. Artif. Intell. 282, 103249 (2020)","journal-title":"Artif. Intell."},{"key":"402_CR34","unstructured":"Watson, R.: A splitting set theorem for epistemic specifications. CoRR, cs.AI\/0003038, (2000)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-025-00402-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-025-00402-5","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-025-00402-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T13:57:07Z","timestamp":1766066227000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-025-00402-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,26]]},"references-count":34,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["402"],"URL":"https:\/\/doi.org\/10.1007\/s11787-025-00402-5","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"type":"print","value":"1661-8297"},{"type":"electronic","value":"1661-8300"}],"subject":[],"published":{"date-parts":[[2025,11,26]]},"assertion":[{"value":"1 September 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 October 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 November 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}