{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,3]],"date-time":"2026-02-03T03:16:51Z","timestamp":1770088611345,"version":"3.49.0"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032135612","type":"print"},{"value":"9783032135629","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,12,15]],"date-time":"2025-12-15T00:00:00Z","timestamp":1765756800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,12,15]],"date-time":"2025-12-15T00:00:00Z","timestamp":1765756800000},"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-13562-9_6","type":"book-chapter","created":{"date-parts":[[2025,12,14]],"date-time":"2025-12-14T11:00:50Z","timestamp":1765710050000},"page":"72-90","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Symbolic Representation for\u00a0Graded Dynamic Epistemic Logic"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-6508-0958","authenticated-orcid":false,"given":"S\u00e9bastien","family":"Gamblin","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,12,15]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","unstructured":"Bahar, R.I., et al.: Algebraic decision diagrams and their applications. Formal Methods Syst. Des. 10 (1997). https:\/\/doi.org\/10.1023\/A:1008699807402","DOI":"10.1023\/A:1008699807402"},{"key":"6_CR2","doi-asserted-by":"publisher","unstructured":"Baral, C., Bolander, T., van Ditmarsch, H., McIlrath, S.: Epistemic Planning (Dagstuhl Seminar 17231). Tech. Rep.\u00a06, Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik (2018). https:\/\/doi.org\/10.4230\/DAGREP.7.6.1","DOI":"10.4230\/DAGREP.7.6.1"},{"key":"6_CR3","doi-asserted-by":"publisher","unstructured":"Bard, N., et al.: The Hanabi challenge: a new frontier for AI research. Artif. Intell. 280, 103216 (2020). https:\/\/doi.org\/10.1016\/j.artint.2019.103216","DOI":"10.1016\/j.artint.2019.103216"},{"key":"6_CR4","doi-asserted-by":"publisher","unstructured":"Benevides, M., Madeira, A., Martins, M.A.: Graded epistemic logic with public announcement. J. Logical Algebraic Methods Programm. 125, 100732 (2022). https:\/\/doi.org\/10.1016\/j.jlamp.2021.100732","DOI":"10.1016\/j.jlamp.2021.100732"},{"key":"6_CR5","doi-asserted-by":"publisher","unstructured":"Benevides, M.R., Madeira, A., Martins, M.A.: A family of graded epistemic logics. Electr. Notes Theor. Comput. Sci. 338, 45\u201359 (2018). https:\/\/doi.org\/10.1016\/j.entcs.2018.10.004","DOI":"10.1016\/j.entcs.2018.10.004"},{"key":"6_CR6","doi-asserted-by":"publisher","unstructured":"van Benthem, J., van Eijck, J., Gattinger, M., Su, K.: Symbolic model checking for dynamic epistemic logic \u2013 S5 and beyond. J. Log. Comput. 28(2), 367\u2013402 (2018). https:\/\/doi.org\/10.1093\/logcom\/exx038","DOI":"10.1093\/logcom\/exx038"},{"key":"6_CR7","doi-asserted-by":"publisher","unstructured":"van Benthem, J., van Eijck, J., Kooi, B.P.: Logics of communication and change. Inf. Comput. 204(11) (2006). https:\/\/doi.org\/10.1016\/j.ic.2006.04.006","DOI":"10.1016\/j.ic.2006.04.006"},{"key":"6_CR8","doi-asserted-by":"publisher","unstructured":"van Benthem, J., Gerbrandy, J., Kooi, B.P.: Dynamic update with probabilities. Studia Logica (1) (2009). https:\/\/doi.org\/10.1007\/s11225-009-9209-y","DOI":"10.1007\/s11225-009-9209-y"},{"issue":"1","key":"6_CR9","doi-asserted-by":"publisher","first-page":"9","DOI":"10.3166\/jancl.21.9-34","volume":"21","author":"T Bolander","year":"2011","unstructured":"Bolander, T., Andersen, M.B.: Epistemic planning for single and multi-agent systems. J. Appl. Non-Classical Logics 21(1), 9\u201334 (2011). https:\/\/doi.org\/10.3166\/jancl.21.9-34","journal-title":"J. Appl. Non-Classical Logics"},{"key":"6_CR10","doi-asserted-by":"publisher","unstructured":"Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Computers 35(8) (1986). https:\/\/doi.org\/10.1109\/TC.1986.1676819","DOI":"10.1109\/TC.1986.1676819"},{"key":"6_CR11","doi-asserted-by":"publisher","unstructured":"Charrier, T., Pinchinat, S., Schwarzentruber, F.: Symbolic model checking of public announcement protocols. J. Log. Comput. 29(8), 1211\u20131249 (2019). https:\/\/doi.org\/10.1093\/logcom\/exz023","DOI":"10.1093\/logcom\/exz023"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Charrier, T., Schwarzentruber, F.: A succinct language for dynamic epistemic logic. In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, S\u00e3o Paulo, Brazil, pp. 123\u2013131. ACM (2017). http:\/\/dl.acm.org\/citation.cfm?id=3091148","DOI":"10.65109\/IYTQ1293"},{"key":"6_CR13","unstructured":"Charrier, T., Schwarzentruber, F.: Complexity of dynamic epistemic logic with common knowledge, pp. 103\u2013122 (2018). http:\/\/www.aiml.net\/volumes\/volume12\/Charrier-Schwarzentruber.pdf"},{"key":"6_CR14","doi-asserted-by":"publisher","unstructured":"Darwiche, A., Marquis, P.: A knowledge compilation map. J. Artif. Intell. Res. 17, 229\u2013264 (2002). https:\/\/doi.org\/10.1613\/jair.989","DOI":"10.1613\/jair.989"},{"key":"6_CR15","doi-asserted-by":"publisher","unstructured":"van Ditmarsch, H., van\u00a0der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer Publishing Company (2007). https:\/\/doi.org\/10.1007\/978-1-4020-5839-4","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"6_CR16","unstructured":"van Eijck, J., Schwarzentruber, F.: Epistemic probability logic simplified. In: Advances in Modal Logic 10. College Publications, The Netherlands (2014). http:\/\/www.aiml.net\/volumes\/volume10\/Eijck-Schwarzentruber.pdf"},{"key":"6_CR17","doi-asserted-by":"publisher","unstructured":"Engesser, T., Mattm\u00fcller, R., Nebel, B., Thielscher, M.: Game description language and dynamic epistemic logic compared. In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, 13\u201319 July 2018, Stockholm, Sweden, pp. 1795\u20131802 (2018). https:\/\/doi.org\/10.24963\/ijcai.2018\/248","DOI":"10.24963\/ijcai.2018\/248"},{"key":"6_CR18","unstructured":"Fargier, H., Marquis, P., Niveau, A., Schmidt, N.: A knowledge compilation map for ordered real-valued decision diagrams. In: Brodley, C.E., Stone, P. (eds.) Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 27\u201331 July 2014, Qu\u00e9bec City, Qu\u00e9bec, Canada, pp. 1049\u20131055. AAAI Press (2014). http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI14\/paper\/view\/8195"},{"key":"6_CR19","unstructured":"Fargier, H., Marquis, P., Schmidt, N.: Semiring labelled decision diagrams, revisited: canonicity and spatial efficiency issues. In: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China (2013). http:\/\/www.aaai.org\/ocs\/index.php\/IJCAI\/IJCAI13\/paper\/view\/6623"},{"key":"6_CR20","doi-asserted-by":"publisher","unstructured":"Gamblin, S., Niveau, A., Bouzid, M.: A symbolic representation for probabilistic del. In: 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022, International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) (2022). https:\/\/doi.org\/10.5555\/3535850.3535901","DOI":"10.5555\/3535850.3535901"},{"key":"6_CR21","doi-asserted-by":"publisher","unstructured":"Gamblin, S.: Reproduction package for \u201ca symbolic representation for GDEL\u201d (PRIMA 2025). https:\/\/doi.org\/10.5281\/zenodo.17257615","DOI":"10.5281\/zenodo.17257615"},{"key":"6_CR22","doi-asserted-by":"publisher","unstructured":"Gamblin, S., Niveau, A., Bouzid, M.: Reproduction package for \u201ca symbolic representation for PDEL\u201d (AAMAS 2022). https:\/\/doi.org\/10.5281\/zenodo.5966036","DOI":"10.5281\/zenodo.5966036"},{"key":"6_CR23","unstructured":"Gattinger, M.: New directions in model checking dynamic epistemic logic. Ph.D. thesis, Universiteit van Amsterdam (2018). https:\/\/ir.cwi.nl\/pub\/28289"},{"key":"6_CR24","unstructured":"Kisa, D., den Broeck, G.V., Choi, A., Darwiche, A.: Probabilistic Sentential Decision Diagrams. AAAI Press (2014). http:\/\/www.aaai.org\/ocs\/index.php\/KR\/KR14\/paper\/view\/8005"},{"issue":"4","key":"6_CR25","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1017\/S1755020319000285","volume":"12","author":"M Ma","year":"2019","unstructured":"Ma, M., Van Ditmarsch, H.: Dyanmic graded epistemic logic. Rev. Symbolic Logic 12(4), 663\u2013684 (2019). https:\/\/doi.org\/10.1017\/S1755020319000285","journal-title":"Rev. Symbolic Logic"},{"key":"6_CR26","doi-asserted-by":"publisher","unstructured":"Maubert, B., Pinchinat, S., Schwarzentruber, F.: Reachability games in dynamic epistemic logic. In: Kraus, S. (ed.) Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, 2019, pp. 499\u2013505. ijcai.org (2019). https:\/\/doi.org\/10.24963\/ijcai.2019\/71","DOI":"10.24963\/ijcai.2019\/71"},{"key":"6_CR27","doi-asserted-by":"publisher","unstructured":"Miedema, D., Gattinger, M.: Exploiting asymmetry in logic puzzles: using ZDDs for symbolic model checking del. In: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, EPTCS, vol.\u00a0379, pp. 407\u2013420 (2023). https:\/\/doi.org\/10.4204\/EPTCS.379.32","DOI":"10.4204\/EPTCS.379.32"},{"key":"6_CR28","doi-asserted-by":"publisher","unstructured":"Perrotin, E.: A logical analysis of Hanabi. In: Walsh, T., Shah, J., Kolter, Z. (eds.) AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25\u2013March 4, 2025, Philadelphia, PA, USA, pp. 15118\u201315125. AAAI Press (2025). https:\/\/doi.org\/10.1609\/aaai.v39i14.33658","DOI":"10.1609\/aaai.v39i14.33658"},{"key":"6_CR29","unstructured":"Sanner, S., McAllester, D.A.: Affine algebraic decision diagrams (aadds) and their application to structured probabilistic inference. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, pp. 1384\u20131390. Professional Book Center (2005). http:\/\/ijcai.org\/Proceedings\/05\/Papers\/1439.pdf"},{"key":"6_CR30","doi-asserted-by":"publisher","unstructured":"Thomas, B.: A gentle introduction to epistemic planning: the DEL approach. Electr. Proc. Theor. Comput. Sci. 243, 1\u201322 (2017). https:\/\/doi.org\/10.4204\/EPTCS.243.1","DOI":"10.4204\/EPTCS.243.1"}],"container-title":["Lecture Notes in Computer Science","PRIMA 2025: Principles and Practice of Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-13562-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,2]],"date-time":"2026-02-02T15:17:40Z","timestamp":1770045460000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-13562-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,15]]},"ISBN":["9783032135612","9783032135629"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-13562-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,12,15]]},"assertion":[{"value":"15 December 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PRIMA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Principles and Practice of Multi-Agent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Modena","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 December 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 December 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"prima2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conferences-website.github.io\/prima2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}