<?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-04103466</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:38:23+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A Dynamic Logic Framework for Abstract Argumentation</title>
            <author role="aut">
              <persName>
                <forename type="first">Sylvie</forename>
                <surname>Doutre</surname>
              </persName>
              <email type="md5">482e7b4341c4005171f50d9948e2a737</email>
              <email type="domain">ut-capitole.fr</email>
              <idno type="idhal" notation="string">sylvie-doutre</idno>
              <idno type="idhal" notation="numeric">736814</idno>
              <idno type="halauthorid" notation="string">25469-736814</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-3472-2349</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=TpklP2wAAAAJ</idno>
              <affiliation ref="#struct-400549"/>
              <affiliation ref="#struct-81148"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Andreas</forename>
                <surname>Herzig</surname>
              </persName>
              <email type="md5">e1332c9a4645745f6df95efc3e03ba20</email>
              <email type="domain">irit.fr</email>
              <idno type="idhal" notation="string">andreas-herzig</idno>
              <idno type="idhal" notation="numeric">181482</idno>
              <idno type="halauthorid" notation="string">50996-181482</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0833-2782</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?sortby=pubdate&amp;hl=en&amp;user=mfa7dJYAAAAJ&amp;view_op=list_works</idno>
              <idno type="IDREF">https://www.idref.fr/074664794</idno>
              <affiliation ref="#struct-400549"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Laurent</forename>
                <surname>Perrussel</surname>
              </persName>
              <email type="md5">44f8391b2fe30df7ca7a538070818673</email>
              <email type="domain">ut-capitole.fr</email>
              <idno type="idhal" notation="string">laurent-perrussel</idno>
              <idno type="idhal" notation="numeric">735424</idno>
              <idno type="halauthorid" notation="string">24596-735424</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=9FucKyAAAAAJ</idno>
              <idno type="IDREF">https://www.idref.fr/136867898</idno>
              <affiliation ref="#struct-400549"/>
              <affiliation ref="#struct-81148"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Open Archive Toulouse Archive Ouverte</forename>
                <surname>(OATAO)</surname>
              </persName>
              <email type="md5">ac3f71840d50da799c1bb19c7b808bac</email>
              <email type="domain">listes-diff.inp-toulouse.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2023-05-23 11:43:34</date>
              <date type="whenModified">2025-10-22 18:04:09</date>
              <date type="whenReleased">2023-05-23 11:51:29</date>
              <date type="whenProduced">2014-07-20</date>
              <date type="whenEndEmbargoed">2023-05-23</date>
              <ref type="file" target="https://hal.science/hal-04103466v1/document">
                <date notBefore="2023-05-23"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-04103466v1/file/Doutre_12958.pdf" id="file-4103466-3572644">
                <date notBefore="2023-05-23"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="146910">
                <persName>
                  <forename>Open Archive Toulouse Archive Ouverte</forename>
                  <surname>(OATAO)</surname>
                </persName>
                <email type="md5">ac3f71840d50da799c1bb19c7b808bac</email>
                <email type="domain">listes-diff.inp-toulouse.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-04103466</idno>
            <idno type="halUri">https://hal.science/hal-04103466</idno>
            <idno type="halBibtex">doutre:hal-04103466</idno>
            <idno type="halRefHtml">&lt;i&gt;14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014)&lt;/i&gt;, Jul 2014, Vienne, Austria. pp.62-71</idno>
            <idno type="halRef">14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), Jul 2014, Vienne, Austria. pp.62-71</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-4103466-3572644"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-TLSE2">Université Toulouse 2</idno>
            <idno type="stamp" n="UNIV-TLSE3">Université de Toulouse</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UT1-CAPITOLE">Université Toulouse 1 Capitole</idno>
            <idno type="stamp" n="IRIT">IRIT - Institut de Recherche en Informatique de Toulouse</idno>
            <idno type="stamp" n="IRIT-LILAC" corresp="IRIT">Logique, Interaction, Langue et Calcul</idno>
            <idno type="stamp" n="IRIT-IA" corresp="IRIT">Intelligence Artificielle</idno>
            <idno type="stamp" n="IRIT-CNRS">IRIT - Centre National de la Recherche Scientifique</idno>
            <idno type="stamp" n="IRIT-UT1C">IRIT - Université Toulouse 1 Capitole</idno>
            <idno type="stamp" n="TOULOUSE-INP">Toulouse - INP</idno>
            <idno type="stamp" n="UNIV-UT3">Université Toulouse 3</idno>
            <idno type="stamp" n="UT3-INP">Université de Toulouse / Toulouse INP</idno>
            <idno type="stamp" n="UT3-TOULOUSEINP">Université de Toulouse / Toulouse INP</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 Dynamic Logic Framework for Abstract Argumentation</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Sylvie</forename>
                    <surname>Doutre</surname>
                  </persName>
                  <email type="md5">482e7b4341c4005171f50d9948e2a737</email>
                  <email type="domain">ut-capitole.fr</email>
                  <idno type="idhal" notation="string">sylvie-doutre</idno>
                  <idno type="idhal" notation="numeric">736814</idno>
                  <idno type="halauthorid" notation="string">25469-736814</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-3472-2349</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=TpklP2wAAAAJ</idno>
                  <affiliation ref="#struct-400549"/>
                  <affiliation ref="#struct-81148"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Andreas</forename>
                    <surname>Herzig</surname>
                  </persName>
                  <email type="md5">e1332c9a4645745f6df95efc3e03ba20</email>
                  <email type="domain">irit.fr</email>
                  <idno type="idhal" notation="string">andreas-herzig</idno>
                  <idno type="idhal" notation="numeric">181482</idno>
                  <idno type="halauthorid" notation="string">50996-181482</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0833-2782</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?sortby=pubdate&amp;hl=en&amp;user=mfa7dJYAAAAJ&amp;view_op=list_works</idno>
                  <idno type="IDREF">https://www.idref.fr/074664794</idno>
                  <affiliation ref="#struct-400549"/>
                  <affiliation ref="#struct-441569"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Laurent</forename>
                    <surname>Perrussel</surname>
                  </persName>
                  <email type="md5">44f8391b2fe30df7ca7a538070818673</email>
                  <email type="domain">ut-capitole.fr</email>
                  <idno type="idhal" notation="string">laurent-perrussel</idno>
                  <idno type="idhal" notation="numeric">735424</idno>
                  <idno type="halauthorid" notation="string">24596-735424</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=9FucKyAAAAAJ</idno>
                  <idno type="IDREF">https://www.idref.fr/136867898</idno>
                  <affiliation ref="#struct-400549"/>
                  <affiliation ref="#struct-81148"/>
                </author>
              </analytic>
              <monogr>
                <idno type="isbn">978-1-57735-657-8</idno>
                <title level="m">KR'14: Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning</title>
                <meeting>
                  <title>14th International Conference on Principles of Knowledge Representation and Reasoning  (KR 2014)</title>
                  <date type="start">2014-07-20</date>
                  <date type="end">2014-07-24</date>
                  <settlement>Vienne</settlement>
                  <country key="AT">Austria</country>
                </meeting>
                <editor>Chitta Baral</editor>
                <editor>Giuseppe De Giacomo</editor>
                <editor>Thomas Eiter</editor>
                <imprint>
                  <publisher>AAAI Press (Association for the Advancement of Artificial Intelligence)</publisher>
                  <publisher>ACM</publisher>
                  <biblScope unit="pp">62-71</biblScope>
                  <date type="datePub">2014-07</date>
                </imprint>
              </monogr>
              <ref target="https://dl.acm.org/doi/10.5555/3031929.3031938" type="seeAlso"/>
              <ref target="https://dl.acm.org/doi/proceedings/10.5555/3031929" type="seeAlso"/>
              <ref type="publisher">https://cdn.aaai.org/ocs/7993/7993-36854-1-PB.pdf</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Abstract argumentation</term>
                <term xml:lang="en">Propositional Dynamic Logic</term>
                <term xml:lang="en">PDL</term>
                <term xml:lang="en">Dynamic logic of Propositional Assignments</term>
                <term xml:lang="en">DL-PA</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</classCode>
              <classCode scheme="halDomain" n="info.info-cl">Computer Science [cs]/Computation and Language [cs.CL]</classCode>
              <classCode scheme="halDomain" n="info.info-lg">Computer Science [cs]/Machine Learning [cs.LG]</classCode>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</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 provide a logical analysis of abstract argumentation frameworks and their dynamics. Following previous work, we express attack relation and argument status by means of propositional variables and define acceptability criteria by formulas of propositional logic. We here study the dynamics of argumentation frameworks in terms of basic operations on these propositional variables, viz. change of their truth values. We describe these operations in a uniform way within a well-known variant of Propositional Dynamic Logic PDL: the Dynamic Logic of Propositional Assignments, DL-PA. The atomic programs of DL-PA are assignments of propositional variables to truth values, and complex programs can be built by means of the connectives of sequential and nondeterministic composition and test. We start by showing that in DL-PA, the construction of extensions can be performed by a DL-PA program that is parametrized by the definition of acceptance. We then mainly focus on how the acceptance of one or more arguments can be enforced and show that this can be achieved by changing the truth values of the propositional variables describing the attack relation in a minimal way.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-400549" status="OLD">
          <orgName>Logique, Interaction, Langue et Calcul</orgName>
          <orgName type="acronym">IRIT-LILaC</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>IRIT118 Route de Narbonne31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.irit.fr/departement/intelligence-artificielle/equipe-lilac/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-34499" type="direct"/>
            <relation active="#struct-81148" type="indirect"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="indirect"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="indirect"/>
            <relation active="#struct-448187" type="indirect"/>
            <relation active="#struct-1149079" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-81148" status="VALID">
          <idno type="IdRef">026404354</idno>
          <idno type="ISNI">0000000121902837</idno>
          <idno type="ROR">https://ror.org/0443n9e75</idno>
          <orgName>Université Toulouse Capitole</orgName>
          <orgName type="acronym">UT Capitole</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ut-capitole.fr/</ref>
          </desc>
          <listRelation>
            <relation name="443875" active="#struct-443875" 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>
        <org type="laboratory" xml:id="struct-34499" status="OLD">
          <idno type="IdRef">030947448</idno>
          <idno type="ISNI">0000000121927225</idno>
          <idno type="RNSR">199511949P</idno>
          <idno type="ROR">https://ror.org/01rx4qw44</idno>
          <orgName>Institut de recherche en informatique de Toulouse</orgName>
          <orgName type="acronym">IRIT</orgName>
          <date type="start">1990-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 Route de Narbonne, F-31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irit.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-81148" type="direct"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="direct"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="direct"/>
            <relation active="#struct-448187" type="direct"/>
            <relation active="#struct-1149079" type="direct"/>
            <relation name="FED4171" active="#struct-217752" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-443875" status="VALID">
          <idno type="ROR">https://ror.org/017tgbk05</idno>
          <orgName>Communauté d'universités et établissements de Toulouse</orgName>
          <orgName type="acronym">Comue de Toulouse</orgName>
          <desc>
            <address>
              <addrLine>41 Allée Jules Guesde, 31000 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-toulouse.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-116256" status="VALID">
          <idno type="IdRef">026403994</idno>
          <idno type="ROR">https://ror.org/04ezk3x31</idno>
          <orgName>Université Toulouse - Jean Jaurès</orgName>
          <orgName type="acronym">UT2J</orgName>
          <date type="start">1971-01-01</date>
          <desc>
            <address>
              <addrLine>5 allées Antonio Machado - 31058 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse2.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-217752" status="OLD">
          <idno type="IdRef">026404672</idno>
          <idno type="ISNI">0000000121617331</idno>
          <idno type="ROR">https://ror.org/02v6kpv12</idno>
          <idno type="Wikidata">Q1273188</idno>
          <orgName>Université Toulouse III - Paul Sabatier</orgName>
          <orgName type="acronym">UT3</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-448187" status="VALID">
          <idno type="IdRef">026388820</idno>
          <idno type="ISNI">0000000121766169</idno>
          <idno type="ROR">https://ror.org/033p9g875</idno>
          <orgName>Institut National Polytechnique (Toulouse)</orgName>
          <orgName type="acronym">Toulouse INP</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inp-toulouse.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-1149079" status="OLD">
          <orgName>Toulouse Mind &amp; Brain Institut</orgName>
          <orgName type="acronym">TMBI</orgName>
          <date type="start">2021-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>CHU Purpan, Pavillon Baudot, 31059 Toulouse cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.tmbi.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>