<?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-03249121</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-03T14:13:51+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Explicit Representations of Persistency for Propositional Action Theories</title>
            <author role="aut">
              <persName>
                <forename type="first">Sergej</forename>
                <surname>Scheck</surname>
              </persName>
              <email type="md5">a827c990c9cba2b1ccd540c732be7e7a</email>
              <email type="domain">unicaen.fr</email>
              <idno type="idhal" notation="numeric">1077482</idno>
              <idno type="halauthorid" notation="string">2028595-1077482</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">Bruno</forename>
                <surname>Zanuttini</surname>
              </persName>
              <email type="md5">e1d9037b8b9d13174d58988b0ba36bfb</email>
              <email type="domain">unicaen.fr</email>
              <idno type="idhal" notation="string">bruno-zanuttini</idno>
              <idno type="idhal" notation="numeric">952903</idno>
              <idno type="halauthorid" notation="string">803873-952903</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1639-7236</idno>
              <affiliation ref="#struct-406663"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Bruno</forename>
                <surname>Zanuttini</surname>
              </persName>
              <email type="md5">e1d9037b8b9d13174d58988b0ba36bfb</email>
              <email type="domain">unicaen.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2021-06-03 22:57:50</date>
              <date type="whenModified">2025-06-13 03:05:19</date>
              <date type="whenReleased">2021-06-21 17:28:40</date>
              <date type="whenProduced">2021-06-29</date>
              <date type="whenEndEmbargoed">2021-06-03</date>
              <ref type="file" target="https://hal.science/hal-03249121v1/document">
                <date notBefore="2021-06-03"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-03249121v1/file/jfpda_2021.pdf" id="file-3249121-2852119">
                <date notBefore="2021-06-03"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="123447">
                <persName>
                  <forename>Bruno</forename>
                  <surname>Zanuttini</surname>
                </persName>
                <email type="md5">e1d9037b8b9d13174d58988b0ba36bfb</email>
                <email type="domain">unicaen.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03249121</idno>
            <idno type="halUri">https://hal.science/hal-03249121</idno>
            <idno type="halBibtex">scheck:hal-03249121</idno>
            <idno type="halRefHtml">&lt;i&gt;Journées Francophones Francophones Planification, Décision et Apprentissage&lt;/i&gt;, Jun 2021, Bordeaux, France</idno>
            <idno type="halRef">Journées Francophones Francophones Planification, Décision et Apprentissage, Jun 2021, Bordeaux, France</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3249121-2852119"/></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="GT-MAFTEC">GT-MAFTEC</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="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Explicit Representations of Persistency for Propositional Action Theories</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Sergej</forename>
                    <surname>Scheck</surname>
                  </persName>
                  <email type="md5">a827c990c9cba2b1ccd540c732be7e7a</email>
                  <email type="domain">unicaen.fr</email>
                  <idno type="idhal" notation="numeric">1077482</idno>
                  <idno type="halauthorid" notation="string">2028595-1077482</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">Bruno</forename>
                    <surname>Zanuttini</surname>
                  </persName>
                  <email type="md5">e1d9037b8b9d13174d58988b0ba36bfb</email>
                  <email type="domain">unicaen.fr</email>
                  <idno type="idhal" notation="string">bruno-zanuttini</idno>
                  <idno type="idhal" notation="numeric">952903</idno>
                  <idno type="halauthorid" notation="string">803873-952903</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1639-7236</idno>
                  <affiliation ref="#struct-406663"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>Journées Francophones Francophones Planification, Décision et Apprentissage</title>
                  <date type="start">2021-06-29</date>
                  <settlement>Bordeaux</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">action theories</term>
                <term xml:lang="en">persistency</term>
                <term xml:lang="en">frame problem</term>
                <term xml:lang="en">circumscription</term>
                <term xml:lang="en">Planning Algorithms</term>
                <term xml:lang="en">knowledge compilation</term>
                <term xml:lang="fr">théories d'action</term>
                <term xml:lang="fr">circonscription</term>
                <term xml:lang="fr">problème du cadre</term>
                <term xml:lang="fr">persistance</term>
                <term xml:lang="fr">Compilation de connaissances</term>
                <term xml:lang="fr">Planification Automatique</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>We consider enriching the representation of actions in propositional logic by syntactic operators for representing the persistency of variables. This is motivated by the fact that the frame problem is not satisfactorily solved by propositional languages, such as binary decision diagrams or DNF. We introduce two such operators, allowing to represent different kinds of persistency, and consider the languages obtained from propositional logic by adding them at any level of nesting. We study the resulting languages from the point of view of their relative succinctness and the complexity of deciding successorship. We show an interesting picture of diverse complexity results.</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>Nous envisageons d'enrichir la représentation des actions en logique propositionnelle par des opérateurs syntaxiques pour représenter la persistance des variables. Ceci est motivé par le fait que le problème du cadre n'est pas résolu de manière satisfaisante par les langages propositionnels, tels que les diagrammes de décision binaires ou DNF. Nous introduisons deux de ces opérateurs, permettant de représenter différents types de persistance, et considérons les langages obtenus à partir de la logique propositionnelle en les ajoutant à n'importe quel niveau d'imbrication. Nous étudions les langages résultantes du point de vue de leur concision relative et de la complexité de la décision de successeur. Nous montrons une image intéressante de divers résultats de complexité.</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>