<?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-03573580</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-17T15:38:00+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic</title>
            <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"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Antonio</forename>
                <surname>Yuste-Ginel</surname>
              </persName>
              <email type="md5">f652b5bc983ba1b1990f53563b1e26ea</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="numeric">1118147</idno>
              <idno type="halauthorid" notation="string">2350412-1118147</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4380-3095</idno>
              <affiliation ref="#struct-198404"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Andreas</forename>
                <surname>Herzig</surname>
              </persName>
              <email type="md5">e1332c9a4645745f6df95efc3e03ba20</email>
              <email type="domain">irit.fr</email>
            </editor>
            <funder ref="#projeurop-713222"/>
            <funder>Antonio Yuste-Ginel PhD grant N° MECDFPU 2016/04113</funder>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2022-02-15 10:48:16</date>
              <date type="whenModified">2025-10-22 18:04:09</date>
              <date type="whenReleased">2022-02-24 13:51:57</date>
              <date type="whenProduced">2021-10-15</date>
              <date type="whenEndEmbargoed">2022-02-15</date>
              <ref type="file" target="https://hal.science/hal-03573580v1/document">
                <date notBefore="2022-02-15"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-03573580v1/file/AbstractArgumentationWithQualitativeUncertainty.pdf" id="file-3574520-3126377">
                <date notBefore="2022-02-15"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="410646">
                <persName>
                  <forename>Andreas</forename>
                  <surname>Herzig</surname>
                </persName>
                <email type="md5">e1332c9a4645745f6df95efc3e03ba20</email>
                <email type="domain">irit.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03573580</idno>
            <idno type="halUri">https://hal.science/hal-03573580</idno>
            <idno type="halBibtex">herzig:hal-03573580</idno>
            <idno type="halRefHtml">&lt;i&gt;Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings&lt;/i&gt;, 13040, &lt;a target="_blank" href="https://link.springer.com/chapter/10.1007/978-3-030-89391-0_11"&gt;Springer International Publishing&lt;/a&gt;, pp.190-208, 2021, Lecture Notes in Computer Science book series (LNCS), 978-3-030-89390-3. &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-030-89391-0_11"&gt;&amp;#x27E8;10.1007/978-3-030-89391-0_11&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings, 13040, Springer International Publishing, pp.190-208, 2021, Lecture Notes in Computer Science book series (LNCS), 978-3-030-89390-3. &amp;#x27E8;10.1007/978-3-030-89391-0_11&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3574520-3126377"/></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="OPENAIRE">OpenAIRE</idno>
            <idno type="stamp" n="UT1-CAPITOLE">Université Toulouse 1 Capitole</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</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="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="popular" n="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic</title>
                <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"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Antonio</forename>
                    <surname>Yuste-Ginel</surname>
                  </persName>
                  <email type="md5">f652b5bc983ba1b1990f53563b1e26ea</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="numeric">1118147</idno>
                  <idno type="halauthorid" notation="string">2350412-1118147</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4380-3095</idno>
                  <affiliation ref="#struct-198404"/>
                </author>
              </analytic>
              <monogr>
                <idno type="isbn">978-3-030-89390-3</idno>
                <title level="m">Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings</title>
                <imprint>
                  <publisher>Springer International Publishing</publisher>
                  <pubPlace>Cham</pubPlace>
                  <biblScope unit="serie">Lecture Notes in Computer Science book series (LNCS)</biblScope>
                  <biblScope unit="volume">13040</biblScope>
                  <biblScope unit="pp">190-208</biblScope>
                  <date type="datePub">2021-10-15</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-030-89391-0_11</idno>
              <ref target="https://link.springer.com/book/10.1007/978-3-030-89391-0" type="seeAlso"/>
              <ref target="https://www.xixilogic.org/events/clar2021/" type="seeAlso"/>
              <ref type="publisher">https://link.springer.com/chapter/10.1007/978-3-030-89391-0_11</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Control argumentation frameworks</term>
                <term xml:lang="en">Dynamic logic of propositional assignments</term>
                <term xml:lang="en">Incomplete argumentation frameworks</term>
              </keywords>
              <classCode scheme="halDomain" n="math.math-lo">Mathematics [math]/Logic [math.LO]</classCode>
              <classCode scheme="halDomain" n="info.info-dm">Computer Science [cs]/Discrete Mathematics [cs.DM]</classCode>
              <classCode scheme="halDomain" n="info.info-sc">Computer Science [cs]/Symbolic Computation [cs.SC]</classCode>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</classCode>
              <classCode scheme="halTypology" n="COUV">Book sections</classCode>
              <classCode scheme="halOldTypology" n="COUV">Book sections</classCode>
              <classCode scheme="halTreeTypology" n="COUV">Book sections</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We extend the existing encoding of abstract argumentation frameworks in DL-PA (Dynamic Logic of Propositional Assignments) in order to capture different formalisms for arguing with qualitative forms of uncertainty. More in particular, we encode the main reasoning tasks of (rich) incomplete argumentation frameworks and control argumentation frameworks. After that, and inspired by our encoding, we define and study a new class of structures that are shown to be maximally expressive: constrained incomplete argumentation frameworks.</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-198404" status="VALID">
          <orgName>Universidad de Málaga [Málaga] = University of Málaga [Málaga]</orgName>
          <desc>
            <address>
              <addrLine>Avda. Cervantes, 2   29071 MÁLAGA</addrLine>
              <country key="ES"/>
            </address>
            <ref type="url">http://www.uma.es/</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="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-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="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="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>
      <listOrg type="projects">
        <org type="europeanProject" xml:id="projeurop-713222" status="VALID">
          <idno type="number">952215</idno>
          <idno type="program">H2020-ICT-2018-20</idno>
          <idno type="call">H2020-ICT-2019-3</idno>
          <orgName>TAILOR</orgName>
          <desc>Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization</desc>
          <date type="start">2020-09-01</date>
          <date type="end">2024-08-31</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>