<?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-01333581</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-20T08:32:37+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">Une preuve est une histoire</title>
            <author role="crp">
              <persName>
                <forename type="first">Anne-Gwenn</forename>
                <surname>Bosser</surname>
              </persName>
              <email type="md5">3f12803932df419e05a4f006bf82bd22</email>
              <email type="domain">enib.fr</email>
              <idno type="idhal" notation="string">anne-gwenn-bosser</idno>
              <idno type="idhal" notation="numeric">745725</idno>
              <idno type="halauthorid" notation="string">26119-745725</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-0442-2660</idno>
              <idno type="IDREF">https://www.idref.fr/103594167</idno>
              <idno type="VIAF">https://viaf.org/viaf/193958247</idno>
              <idno type="ISNI">http://isni.org/isni/0000000140477338</idno>
              <affiliation ref="#struct-389608"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Maria-Virginia</forename>
                <surname>Aponte</surname>
              </persName>
              <email type="md5">dde72909a925b578a210c522d7a2a8d6</email>
              <email type="domain">cnam.fr</email>
              <idno type="idhal" notation="string">virginia-aponte</idno>
              <idno type="idhal" notation="numeric">181871</idno>
              <idno type="halauthorid" notation="string">30430-181871</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4428-065X</idno>
              <idno type="IDREF">https://www.idref.fr/153602511</idno>
              <affiliation ref="#struct-553461"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Pierre</forename>
                <surname>Courtieu</surname>
              </persName>
              <email type="md5">9b84d17eadfc14cfa61d836b7c1252e3</email>
              <email type="domain">cnam.fr</email>
              <ptr type="url" target="http://cedric.cnam.fr/~courtiep"/>
              <idno type="idhal" notation="string">pierre-courtieu</idno>
              <idno type="idhal" notation="numeric">6578</idno>
              <idno type="halauthorid" notation="string">24785-6578</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-8789-9781</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=M9n53EoAAAAJ&amp;hl=fr&amp;oi=ao</idno>
              <idno type="IDREF">https://www.idref.fr/25315488X</idno>
              <affiliation ref="#struct-553461"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Julien</forename>
                <surname>Forest</surname>
              </persName>
              <email type="md5">4f6ef7fd49b35c145bc496b28692cc3e</email>
              <email type="domain">ensiie.fr</email>
              <idno type="idhal" notation="numeric">964602</idno>
              <idno type="halauthorid" notation="string">207666-964602</idno>
              <idno type="IDREF">https://www.idref.fr/076665127</idno>
              <idno type="ORCID">https://orcid.org/0009-0007-3318-7026</idno>
              <affiliation ref="#struct-179741"/>
              <affiliation ref="#struct-553461"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Julien</forename>
                <surname>Signoles</surname>
              </persName>
              <email type="md5">dccf4d49c80b05090b721f27aadc3fb3</email>
              <email type="domain">cea.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2016-06-17 17:48:08</date>
              <date type="whenModified">2026-01-23 09:12:06</date>
              <date type="whenReleased">2016-09-06 14:18:46</date>
              <date type="whenProduced">2016-01-27</date>
              <date type="whenEndEmbargoed">2016-06-17</date>
              <ref type="file" target="https://inria.hal.science/hal-01333581v1/document">
                <date notBefore="2016-06-17"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01333581v1/file/bosser.pdf" id="file-1333581-1413846">
                <date notBefore="2016-06-17"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="332057">
                <persName>
                  <forename>Julien</forename>
                  <surname>Signoles</surname>
                </persName>
                <email type="md5">dccf4d49c80b05090b721f27aadc3fb3</email>
                <email type="domain">cea.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01333581</idno>
            <idno type="halUri">https://inria.hal.science/hal-01333581</idno>
            <idno type="halBibtex">bosser:hal-01333581</idno>
            <idno type="halRefHtml">&lt;i&gt;Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016)&lt;/i&gt;, Jan 2016, Saint-Malo, France</idno>
            <idno type="halRef">Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1333581-1413846"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-BREST">Université de Bretagne occidentale - Brest (UBO)</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-UBS">Université de Bretagne Sud</idno>
            <idno type="stamp" n="CNAM">Conservatoire National des Arts et Métiers</idno>
            <idno type="stamp" n="ENIB">Ecole Nationale d'Ingénieurs de Brest</idno>
            <idno type="stamp" n="LAB-STICC_ENIB" corresp="ENIB">Laboratoire des Sciences et Techniques de l'Information, de la Communication et de la Connaissance, site ENIB Brest</idno>
            <idno type="stamp" n="LAB-STICC">Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance</idno>
            <idno type="stamp" n="JFLA2016" corresp="JFLA">Vingt-septièmes Journées Francophones des Langages Applicatifs </idno>
            <idno type="stamp" n="CEDRIC-CNAM" corresp="CNAM">Centre d'études et de recherche en informatique et communications </idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="TEST3-HALCNRS">TEST3-HALCNRS</idno>
            <idno type="stamp" n="HESAM-CNAM" corresp="HESAM">Conservatoire National des Arts et Métiers - Hesam</idno>
            <idno type="stamp" n="HESAM">Hesam</idno>
            <idno type="stamp" n="ENSIIE">ENSIIE</idno>
            <idno type="stamp" n="JFLA">Journées Francophones des Langages Applicatifs</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="fr">Une preuve est une histoire</title>
                <author role="crp">
                  <persName>
                    <forename type="first">Anne-Gwenn</forename>
                    <surname>Bosser</surname>
                  </persName>
                  <email type="md5">3f12803932df419e05a4f006bf82bd22</email>
                  <email type="domain">enib.fr</email>
                  <idno type="idhal" notation="string">anne-gwenn-bosser</idno>
                  <idno type="idhal" notation="numeric">745725</idno>
                  <idno type="halauthorid" notation="string">26119-745725</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-0442-2660</idno>
                  <idno type="IDREF">https://www.idref.fr/103594167</idno>
                  <idno type="VIAF">https://viaf.org/viaf/193958247</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000140477338</idno>
                  <affiliation ref="#struct-389608"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Maria-Virginia</forename>
                    <surname>Aponte</surname>
                  </persName>
                  <email type="md5">dde72909a925b578a210c522d7a2a8d6</email>
                  <email type="domain">cnam.fr</email>
                  <idno type="idhal" notation="string">virginia-aponte</idno>
                  <idno type="idhal" notation="numeric">181871</idno>
                  <idno type="halauthorid" notation="string">30430-181871</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4428-065X</idno>
                  <idno type="IDREF">https://www.idref.fr/153602511</idno>
                  <affiliation ref="#struct-553461"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Pierre</forename>
                    <surname>Courtieu</surname>
                  </persName>
                  <email type="md5">9b84d17eadfc14cfa61d836b7c1252e3</email>
                  <email type="domain">cnam.fr</email>
                  <ptr type="url" target="http://cedric.cnam.fr/~courtiep"/>
                  <idno type="idhal" notation="string">pierre-courtieu</idno>
                  <idno type="idhal" notation="numeric">6578</idno>
                  <idno type="halauthorid" notation="string">24785-6578</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-8789-9781</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=M9n53EoAAAAJ&amp;hl=fr&amp;oi=ao</idno>
                  <idno type="IDREF">https://www.idref.fr/25315488X</idno>
                  <affiliation ref="#struct-553461"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Julien</forename>
                    <surname>Forest</surname>
                  </persName>
                  <email type="md5">4f6ef7fd49b35c145bc496b28692cc3e</email>
                  <email type="domain">ensiie.fr</email>
                  <idno type="idhal" notation="numeric">964602</idno>
                  <idno type="halauthorid" notation="string">207666-964602</idno>
                  <idno type="IDREF">https://www.idref.fr/076665127</idno>
                  <idno type="ORCID">https://orcid.org/0009-0007-3318-7026</idno>
                  <affiliation ref="#struct-179741"/>
                  <affiliation ref="#struct-553461"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016)</title>
                  <date type="start">2016-01-27</date>
                  <date type="end">2016-01-30</date>
                  <settlement>Saint-Malo</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint>
                  <date type="datePub">2016-01</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-cl">Computer Science [cs]/Computation and Language [cs.CL]</classCode>
              <classCode scheme="halDomain" n="info.info-ia">Computer Science [cs]/Computer Aided Engineering</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="fr">
              <p>La narration computationnelle est un sous-domaine de l'Intelligence Artificielle, lié notamment aux problèmes de représentation des connaissances et en particulier à la représentation des actions et du changement. On s'y intéresse aux objets narratifs (littéraires, interactifs, cinématographiques) pour les comprendre, les analyser, ou les construire, en proposant des techniques qui peuvent être mises en oeuvre par des programmes et systèmes informatiques. C'est un domaine qui a des applications dans le domaine des jeux vidéos ou jeux utiles par exemple. Nous proposons de revenir dans cet exposé sur la motivation et les fondements d'un travail en cours, qui repose sur une connivence entre la structure des preuves en logique linéaire et la structure d'histoires interactives. Bien qu'ayant déjà donné lieu à une interprétation opérationnelle, cette approche a laissé des pistes inexplorées, surtout en ce qui concerne une normalisation et modularité de preuves/histoires dans un sous-ensemble ad hoc de la logique linéaire. Certaines idées ont été explorées en 2011 à l'aide de Coq et nous aimerions partager et échanger au sujet de nos projets actuels pour approfondir ce travail.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-389608" status="OLD">
          <orgName>Lab-STICC_ENIB_CID_IHSEV</orgName>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-199324" type="direct"/>
            <relation active="#struct-108091" type="indirect"/>
            <relation active="#struct-131284" type="indirect"/>
            <relation active="#struct-300314" type="indirect"/>
            <relation active="#struct-1705235" type="indirect"/>
            <relation active="#struct-172265" type="indirect"/>
            <relation active="#struct-301262" type="indirect"/>
            <relation active="#struct-301521" type="indirect"/>
            <relation active="#struct-301846" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="UMR6285" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-553461" status="VALID">
          <orgName>CEDRIC. Systèmes sûrs</orgName>
          <orgName type="acronym">CEDRIC - SYS</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://cedric.cnam.fr/index.php/labo/SYS</ref>
          </desc>
          <listRelation>
            <relation active="#struct-16574" type="direct"/>
            <relation name="EA4629" active="#struct-179741" type="indirect"/>
            <relation name="EA4629" active="#struct-300351" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-179741" status="VALID">
          <orgName>Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise</orgName>
          <orgName type="acronym">ENSIIE</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ensiie.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-199324" status="OLD">
          <orgName>Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance</orgName>
          <orgName type="acronym">Lab-STICC</orgName>
          <desc>
            <address>
              <addrLine>Technopole Brest Iroise BP 832 29285 BREST CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lab-sticc.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-108091" type="direct"/>
            <relation active="#struct-131284" type="direct"/>
            <relation active="#struct-300314" type="direct"/>
            <relation active="#struct-1705235" type="indirect"/>
            <relation active="#struct-172265" type="direct"/>
            <relation active="#struct-301262" type="direct"/>
            <relation active="#struct-301521" type="direct"/>
            <relation active="#struct-301846" type="direct"/>
            <relation active="#struct-302102" type="direct"/>
            <relation name="UMR6285" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-108091" status="OLD">
          <idno type="ROR">https://ror.org/033c46s90</idno>
          <orgName>Université européenne de Bretagne - European University of Brittany</orgName>
          <orgName type="acronym">UEB</orgName>
          <desc>
            <address>
              <addrLine>5 boulevard Laënnec - 35000 Rennes</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ueb.eu/</ref>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-131284" status="VALID">
          <idno type="ROR">https://ror.org/02ypw0a72</idno>
          <orgName>École Nationale d'Ingénieurs de Brest</orgName>
          <orgName type="acronym">ENIB</orgName>
          <desc>
            <address>
              <addrLine>945 avenue du Technopole - 29280 Plouzané</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.enib.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300314" type="direct"/>
            <relation active="#struct-1705235" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-300314" status="VALID">
          <idno type="IdRef">291809022</idno>
          <idno type="ISNI">0000000121880893</idno>
          <idno type="ROR">https://ror.org/0372th171</idno>
          <orgName>Université de Brest</orgName>
          <orgName type="acronym">UBO EPE</orgName>
          <desc>
            <address>
              <addrLine>Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-brest.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-1705235" status="VALID">
          <idno type="IdRef">291816037</idno>
          <orgName>Institut National Polytechnique de Bretagne</orgName>
          <orgName type="acronym">Bretagne INP</orgName>
          <date type="start">2025-03-01</date>
          <desc>
            <address>
              <addrLine>945 avenue du Technopôle Brest-Iroise, 29289 Plouzané</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-172265" status="VALID">
          <idno type="IdRef">05017746X</idno>
          <idno type="ISNI">0000000121680285</idno>
          <idno type="ROR">https://ror.org/04ed7fw48</idno>
          <orgName>Université de Bretagne Sud</orgName>
          <orgName type="acronym">UBS</orgName>
          <date type="start">1995-02-07</date>
          <desc>
            <address>
              <addrLine>BP 92116 - 56321 Lorient cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-ubs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301262" status="OLD">
          <orgName>Télécom Bretagne</orgName>
          <date type="start">1977</date>
          <desc>
            <address>
              <addrLine>Technopôle Brest-IroiseCS 8381829238 BREST Cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.telecom-bretagne.eu/</ref>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-301521" status="VALID">
          <orgName>Institut Brestois du Numérique et des Mathématiques</orgName>
          <orgName type="acronym">IBNM</orgName>
          <desc>
            <address>
              <addrLine>Université de Brest - UBO3 Rue des Archives, 29238 Brest</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-brest.fr/menu/recherche-innovation/Laboratoires/Axe+Num%C3%A9rique-Math%C3%A9matiques/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300314" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-301846" status="OLD">
          <idno type="IdRef">177263660</idno>
          <idno type="ROR">https://ror.org/059n54003</idno>
          <orgName>École Nationale Supérieure de Techniques Avancées Bretagne</orgName>
          <orgName type="acronym">ENSTA Bretagne</orgName>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>2 rue François Verny, 29806 Brest cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ensta-bretagne.fr</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-302102" status="VALID">
          <idno type="IdRef">192427156</idno>
          <idno type="ISNI">000000012202567X</idno>
          <idno type="ROR">https://ror.org/025vp2923</idno>
          <idno type="Wikidata">Q27962533</idno>
          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <orgName type="acronym">IMT</orgName>
          <date type="start">2012-03-01</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt.fr/</ref>
          </desc>
        </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-16574" status="VALID">
          <idno type="IdRef">155463381</idno>
          <idno type="RNSR">201119480F</idno>
          <idno type="ROR">https://ror.org/044j5mm75</idno>
          <orgName>Centre d'études et de recherche en informatique et communications</orgName>
          <orgName type="acronym">CEDRIC</orgName>
          <desc>
            <address>
              <addrLine>292 rue Saint-Martin 75141 PARIS Cedex 03Case courrier 2D4P30</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://cedric.cnam.fr/</ref>
          </desc>
          <listRelation>
            <relation name="EA4629" active="#struct-179741" type="direct"/>
            <relation name="EA4629" active="#struct-300351" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300351" status="VALID">
          <idno type="IdRef">027404978</idno>
          <idno type="ISNI">0000000121690459</idno>
          <idno type="ROR">https://ror.org/0175hh227</idno>
          <orgName>Conservatoire National des Arts et Métiers [Cnam]</orgName>
          <orgName type="acronym">Cnam</orgName>
          <desc>
            <address>
              <addrLine>292 Rue Saint-Martin, 75003 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.cnam.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>