<?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-01213320</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-03T07:17:06+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">Typologie d'axiomes pour une logique modale pondérée</title>
            <author role="aut">
              <persName>
                <forename type="first">Bénédicte</forename>
                <surname>Legastelois</surname>
              </persName>
              <email type="md5">c801e60c9b37c1f4004f5f71b0157ad8</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="numeric">971488</idno>
              <idno type="halauthorid" notation="string">954965-971488</idno>
              <affiliation ref="#struct-408310"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Marie-Jeanne</forename>
                <surname>Lesot</surname>
              </persName>
              <email type="md5">32fee6cf7c0d963e71ae3b4c0a24d633</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">marie-jeanne-lesot</idno>
              <idno type="idhal" notation="numeric">14208</idno>
              <idno type="halauthorid" notation="string">8397-14208</idno>
              <idno type="IDREF">https://www.idref.fr/085526282</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-3604-6647</idno>
              <idno type="ISNI">http://isni.org/isni/0000000065622354</idno>
              <idno type="VIAF">https://viaf.org/viaf/91059848</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/DBI-5116-2022</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/DBI-5116-2022</idno>
              <affiliation ref="#struct-408310"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Adrien</forename>
                <surname>Revault d'Allonnes</surname>
              </persName>
              <email type="md5">9428aea8b475dfed7bb0c7fad9ba49ad</email>
              <email type="domain">univ-paris8.fr</email>
              <idno type="idhal" notation="string">adrien-revault-dallonnes</idno>
              <idno type="idhal" notation="numeric">12996</idno>
              <idno type="halauthorid" notation="string">27216-12996</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-2888-1770</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=l5A1H8cAAAAJ&amp;hl=en</idno>
              <idno type="IDREF">https://www.idref.fr/15979790X</idno>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Lip6</forename>
                <surname>Publications</surname>
              </persName>
              <email type="md5">48f930374cf1d03f2eafeaae16bb5814</email>
              <email type="domain">lip6.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2017-12-12 12:03:46</date>
              <date type="whenModified">2023-04-11 15:16:28</date>
              <date type="whenReleased">2017-12-13 13:36:26</date>
              <date type="whenProduced">2015-06</date>
              <date type="whenEndEmbargoed">2017-12-12</date>
              <ref type="file" target="https://hal.science/hal-01213320v1/document">
                <date notBefore="2017-12-12"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-01213320v1/file/IAFLegasteloisetal.pdf" id="file-1661844-1704062">
                <date notBefore="2017-12-12"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="196566">
                <persName>
                  <forename>Lip6</forename>
                  <surname>Publications</surname>
                </persName>
                <email type="md5">48f930374cf1d03f2eafeaae16bb5814</email>
                <email type="domain">lip6.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01213320</idno>
            <idno type="halUri">https://hal.science/hal-01213320</idno>
            <idno type="halBibtex">legastelois:hal-01213320</idno>
            <idno type="halRefHtml">&lt;i&gt;Journées d'Intelligence Artificielle Fondamentales, IAF'15&lt;/i&gt;, Jun 2015, Rennes, France</idno>
            <idno type="halRef">Journées d'Intelligence Artificielle Fondamentales, IAF'15, Jun 2015, Rennes, France</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1661844-1704062"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UPMC" corresp="SORBONNE-UNIVERSITE">Université Pierre et Marie Curie</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="UPMC_POLE_1" corresp="UPMC">UPMC Pôle 1</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="3">National</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="fr">Typologie d'axiomes pour une logique modale pondérée</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Bénédicte</forename>
                    <surname>Legastelois</surname>
                  </persName>
                  <email type="md5">c801e60c9b37c1f4004f5f71b0157ad8</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="numeric">971488</idno>
                  <idno type="halauthorid" notation="string">954965-971488</idno>
                  <affiliation ref="#struct-408310"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Marie-Jeanne</forename>
                    <surname>Lesot</surname>
                  </persName>
                  <email type="md5">32fee6cf7c0d963e71ae3b4c0a24d633</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">marie-jeanne-lesot</idno>
                  <idno type="idhal" notation="numeric">14208</idno>
                  <idno type="halauthorid" notation="string">8397-14208</idno>
                  <idno type="IDREF">https://www.idref.fr/085526282</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-3604-6647</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000065622354</idno>
                  <idno type="VIAF">https://viaf.org/viaf/91059848</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/DBI-5116-2022</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/DBI-5116-2022</idno>
                  <affiliation ref="#struct-408310"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Adrien</forename>
                    <surname>Revault d'Allonnes</surname>
                  </persName>
                  <email type="md5">9428aea8b475dfed7bb0c7fad9ba49ad</email>
                  <email type="domain">univ-paris8.fr</email>
                  <idno type="idhal" notation="string">adrien-revault-dallonnes</idno>
                  <idno type="idhal" notation="numeric">12996</idno>
                  <idno type="halauthorid" notation="string">27216-12996</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-2888-1770</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.com/citations?user=l5A1H8cAAAAJ&amp;hl=en</idno>
                  <idno type="IDREF">https://www.idref.fr/15979790X</idno>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>Journées d'Intelligence Artificielle Fondamentales, IAF'15</title>
                  <date type="start">2015-06</date>
                  <settlement>Rennes</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</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>In the framework of weighted modal logics, this paper studies the definition of weighted extensions for the classical modal axioms. It discusses the notion of relevant weight values, in a particular weighted Kripke's semantics and exploiting the properties satisfied by the accessibility relation. Different generalizations of the classical axioms are constructed and, from these, a typology of weighted axioms is built, that distinguishes between four types depending on their relations to classic axioms and to the, possibly equivalent, frame conditions.</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>Cet article se place dans le contexte des logiques modales pondérées et  la définition d'extensions pondérées des axiomes classiques. Il propose une sémantique reposant sur un comptage relatif des mondes, qui présente l'avantage de fournir des informations permet-tant de guider la définition des poids. Il discute la notion de valeurs de poids pertinentes, exploitant à la fois la structure des axiomes et leur interprétation sémantique, pour des cadres de Kripke dont la relation vérifie des contraintes comme la réflexivité ou la transitivité par exemple. Ií établit une typologie d'axiomes pondérés, selon 4 catégories, dépendant de l'enrichissement apporté apporté à la version classique de l'axiome ainsi que de l'éventuelle équivalence avec les contraintes sur la relation.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-408310" status="OLD">
          <orgName>Learning, Fuzzy and Intelligent systems</orgName>
          <orgName type="acronym">LFI</orgName>
          <date type="start">2013-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-233" type="direct"/>
            <relation active="#struct-93591" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-233" status="OLD">
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>Laboratoire d'Informatique de Paris 6</orgName>
          <orgName type="acronym">LIP6</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lip6.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93591" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-93591" status="OLD">
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Université Pierre et Marie Curie - Paris 6</orgName>
          <orgName type="acronym">UPMC</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 place Jussieu - 75005 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.upmc.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>
      </listOrg>
    </back>
  </text>
</TEI>