<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-04524135</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-12T13:53:55+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A Symbolic Representation for Probabilistic Dynamic Epistemic Logic</title>
            <author role="aut">
              <persName>
                <forename type="first">Sebastien</forename>
                <surname>Gamblin</surname>
              </persName>
              <idno type="idhal" notation="numeric">1248794</idno>
              <idno type="halauthorid" notation="string">2790671-1248794</idno>
              <idno type="IDREF">https://www.idref.fr/269220291</idno>
              <affiliation ref="#struct-406663"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Alexandre</forename>
                <surname>Niveau</surname>
              </persName>
              <email type="md5">945d1e80992c9c1a4b56dc2694669444</email>
              <email type="domain">unicaen.fr</email>
              <idno type="idhal" notation="string">alexandre-niveau</idno>
              <idno type="idhal" notation="numeric">14951</idno>
              <idno type="halauthorid" notation="string">26608-14951</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-5307-6290</idno>
              <idno type="IDREF">https://www.idref.fr/168950375</idno>
              <affiliation ref="#struct-406663"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Maroua</forename>
                <surname>Bouzid</surname>
              </persName>
              <email type="md5">5563cdcf0e67d007f70f2aac30fad4cf</email>
              <email type="domain">unicaen.fr</email>
              <idno type="idhal" notation="numeric">937435</idno>
              <idno type="halauthorid" notation="string">694033-937435</idno>
              <affiliation ref="#struct-406663"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Alexandre</forename>
                <surname>Niveau</surname>
              </persName>
              <email type="md5">945d1e80992c9c1a4b56dc2694669444</email>
              <email type="domain">unicaen.fr</email>
            </editor>
            <funder>ACKNOWLEDGMENTSThis work has been partly supported by the Région Normandie, theEuropean Regional Development Fund, and the PING/ACK projectof the French National Agency for Research (ANR-18-CE40-0011).</funder>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2024-03-27 22:11:02</date>
              <date type="whenModified">2026-01-11 12:09:53</date>
              <date type="whenReleased">2024-04-02 11:22:15</date>
              <date type="whenProduced">2022-05-09</date>
              <date type="whenEndEmbargoed">2024-03-27</date>
              <ref type="file" target="https://hal.science/hal-04524135v1/document">
                <date notBefore="2024-03-27"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-04524135v1/file/AAMAS22_GNB.pdf" id="file-4524135-3921475">
                <date notBefore="2024-03-27"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="178238">
                <persName>
                  <forename>Alexandre</forename>
                  <surname>Niveau</surname>
                </persName>
                <email type="md5">945d1e80992c9c1a4b56dc2694669444</email>
                <email type="domain">unicaen.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-04524135</idno>
            <idno type="halUri">https://hal.science/hal-04524135</idno>
            <idno type="halBibtex">gamblin:hal-04524135</idno>
            <idno type="halRefHtml">&lt;i&gt;21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022)&lt;/i&gt;, May 2022, Auckland (Nouvelle-Zélande), New Zealand. &lt;a target="_blank" href="https://dx.doi.org/10.5555/3535850.3535901"&gt;&amp;#x27E8;10.5555/3535850.3535901&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022), May 2022, Auckland (Nouvelle-Zélande), New Zealand. &amp;#x27E8;10.5555/3535850.3535901&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-4524135-3921475"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="ENSI-CAEN">Ecole Nationale Supérieure d'Ingénieurs de Caen</idno>
            <idno type="stamp" n="GREYC">Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen (GREYC)</idno>
            <idno type="stamp" n="GREYC-MAD" corresp="GREYC">GREYC mad</idno>
            <idno type="stamp" n="COMUE-NORMANDIE">Normandie Université</idno>
            <idno type="stamp" n="ENSICAEN">École Nationale Supérieure d’Ingénieurs de Caen</idno>
            <idno type="stamp" n="UNICAEN">Université de Caen Normandie</idno>
            <idno type="stamp" n="LUDOSCIENCE">LUDOSCIENCE</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">A Symbolic Representation for Probabilistic Dynamic Epistemic Logic</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Sebastien</forename>
                    <surname>Gamblin</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">1248794</idno>
                  <idno type="halauthorid" notation="string">2790671-1248794</idno>
                  <idno type="IDREF">https://www.idref.fr/269220291</idno>
                  <affiliation ref="#struct-406663"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Alexandre</forename>
                    <surname>Niveau</surname>
                  </persName>
                  <email type="md5">945d1e80992c9c1a4b56dc2694669444</email>
                  <email type="domain">unicaen.fr</email>
                  <idno type="idhal" notation="string">alexandre-niveau</idno>
                  <idno type="idhal" notation="numeric">14951</idno>
                  <idno type="halauthorid" notation="string">26608-14951</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-5307-6290</idno>
                  <idno type="IDREF">https://www.idref.fr/168950375</idno>
                  <affiliation ref="#struct-406663"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Maroua</forename>
                    <surname>Bouzid</surname>
                  </persName>
                  <email type="md5">5563cdcf0e67d007f70f2aac30fad4cf</email>
                  <email type="domain">unicaen.fr</email>
                  <idno type="idhal" notation="numeric">937435</idno>
                  <idno type="halauthorid" notation="string">694033-937435</idno>
                  <affiliation ref="#struct-406663"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022)</title>
                <meeting>
                  <title>21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022)</title>
                  <date type="start">2022-05-09</date>
                  <settlement>Auckland (Nouvelle-Zélande)</settlement>
                  <country key="NZ">New Zealand</country>
                </meeting>
                <imprint/>
              </monogr>
              <idno type="doi">10.5555/3535850.3535901</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Decision Diagrams</term>
                <term xml:lang="en">Hanabi</term>
                <term xml:lang="en">Symbolic Model Checking</term>
                <term xml:lang="en">Probabilistic Dynamic Epistemic Logic</term>
                <term xml:lang="en">Knowledge Representation</term>
                <term xml:lang="en">Knowledge Representation Probabilistic Dynamic Epistemic Logic Symbolic Model Checking Hanabi Decision Diagrams ACM Reference</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>ABSTRACTProbabilistic Dynamic Epistemic Logic (PDEL) is a formalism forreasoning about the higher-order probabilistic knowledge of agents,and about how this knowledge changes when events occur. WhilePDEL has been studied for its theoretical appeal, it was only everapplied to toy examples: the combinatorial explosion of probabilis-tic Kripke structures makes the PDEL framework impractical forrealistic applications, such as card games.This paper is a first step towards the use of PDEL in more practi-cal settings: in line with recent work applying ideas from symbolicmodel checking to (non-probabilistic) DEL, we propose a “symbolic”representation of probabilistic Kripke structures as pseudo-Booleanfunctions, which can be represented with several data structuresof the decision diagram family, in particular Algebraic DecisionDiagrams (ADDs). We show that ADDs scale much better thanexplicit Kripke structures, and that they allow for efficient symbolicmodel checking, even on the realistic example of the Hanabi cardgame, thus paving the way towards the practical application ofepistemic planning techniques.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-406663" status="VALID">
          <orgName>Equipe MAD - Laboratoire GREYC - UMR6072</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-150" type="direct"/>
            <relation active="#struct-7127" type="indirect"/>
            <relation active="#struct-455934" type="indirect"/>
            <relation active="#struct-246955" type="indirect"/>
            <relation name="UMR6072" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-150" status="VALID">
          <idno type="IdRef">035827335</idno>
          <idno type="ISNI">0000 0000 9466 2590</idno>
          <idno type="RNSR">201722568L</idno>
          <idno type="ROR">https://ror.org/043749971</idno>
          <idno type="Wikidata">Q3117752</idno>
          <orgName>Groupe de Recherche en Informatique, Image et Instrumentation de Caen</orgName>
          <orgName type="acronym">GREYC</orgName>
          <date type="start">1995-01-01</date>
          <desc>
            <address>
              <addrLine>Boulevard du Maréchal Juin - 14050 CAEN Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.greyc.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-7127" type="direct"/>
            <relation active="#struct-455934" type="indirect"/>
            <relation active="#struct-246955" type="direct"/>
            <relation name="UMR6072" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-7127" status="VALID">
          <idno type="IdRef">026403064</idno>
          <idno type="ISNI">0000000121864076</idno>
          <idno type="ROR">https://ror.org/051kpcy16</idno>
          <orgName>Université de Caen Normandie</orgName>
          <orgName type="acronym">UNICAEN</orgName>
          <date type="start">1432-01-01</date>
          <desc>
            <address>
              <addrLine>Esplanade de la Paix - CS 14032 - 14032 CAEN Cedex 5</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.unicaen.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-455934" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-455934" status="VALID">
          <idno type="IdRef">190906332</idno>
          <idno type="ISNI">0000000417859671 </idno>
          <idno type="ROR">https://ror.org/01k40cz91</idno>
          <orgName>Normandie Université</orgName>
          <orgName type="acronym">NU</orgName>
          <date type="start">2015-01-01</date>
          <desc>
            <address>
              <addrLine>Esplanade de la Paix - CS 14032 - 14032 Caen Cedex 5</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.normandie-univ.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-246955" status="VALID">
          <idno type="IdRef">190907991</idno>
          <idno type="ROR">https://ror.org/01fpqqe90</idno>
          <orgName>École Nationale Supérieure d'Ingénieurs de Caen</orgName>
          <orgName type="acronym">ENSICAEN</orgName>
          <desc>
            <address>
              <addrLine>6, Boulevard du Maréchal Juin CS 45053 14050 CAEN cedex 04</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ensicaen.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-455934" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>