<?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-01579052v2</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-12T13:53:54+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">Décision de la cohérence des réseaux de contraintes qualitatives combinés</title>
            <author role="aut">
              <persName>
                <forename type="first">Quentin</forename>
                <surname>Cohen-Solal</surname>
              </persName>
              <email type="md5">dacb1f50cb3df39e314b54ac265df7d0</email>
              <email type="domain">insa-rouen.fr</email>
              <idno type="idhal" notation="numeric">969307</idno>
              <idno type="halauthorid" notation="string">934057-969307</idno>
              <affiliation ref="#struct-406663"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Maroua</forename>
                <surname>Bouzid</surname>
              </persName>
              <email type="md5">5563cdcf0e67d007f70f2aac30fad4cf</email>
              <email type="domain">unicaen.fr</email>
              <idno type="idhal" notation="numeric">937435</idno>
              <idno type="halauthorid" notation="string">694033-937435</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>
            <editor role="depositor">
              <persName>
                <forename>Quentin</forename>
                <surname>Cohen-Solal</surname>
              </persName>
              <email type="md5">b39796b38dc21b44cf74b1d6c62ebfb5</email>
              <email type="domain">dauphine.psl.eu</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2017-08-31 12:00:06</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2018-03-26 19:00:15</date>
              <date type="whenModified">2025-02-21 03:07:13</date>
              <date type="whenReleased">2018-03-27 14:35:17</date>
              <date type="whenProduced">2017</date>
              <date type="whenEndEmbargoed">2018-03-26</date>
              <ref type="file" target="https://hal.science/hal-01579052v2/document">
                <date notBefore="2018-03-26"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-01579052v2/file/ria%20Cohen-Solal%20Bouzid%20Niveau.pdf" id="file-1743970-1782946">
                <date notBefore="2018-03-26"/>
              </ref>
              <ref type="externalLink" target="https://hal.archives-ouvertes.fr/hal-01579052/file/ria%20Cohen-Solal%20Bouzid%20Niveau.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="364991">
                <persName>
                  <forename>Quentin</forename>
                  <surname>Cohen-Solal</surname>
                </persName>
                <email type="md5">b39796b38dc21b44cf74b1d6c62ebfb5</email>
                <email type="domain">dauphine.psl.eu</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01579052</idno>
            <idno type="halUri">https://hal.science/hal-01579052</idno>
            <idno type="halBibtex">cohensolal:hal-01579052</idno>
            <idno type="halRefHtml">&lt;i&gt;Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle&lt;/i&gt;, 2017, 31, pp.41 - 70. &lt;a target="_blank" href="https://dx.doi.org/10.3166/ria.31.41-70"&gt;&amp;#x27E8;10.3166/ria.31.41-70&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2017, 31, pp.41 - 70. &amp;#x27E8;10.3166/ria.31.41-70&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1743970-1782946"/></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>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="fr">Décision de la cohérence des réseaux de contraintes qualitatives combinés</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Quentin</forename>
                    <surname>Cohen-Solal</surname>
                  </persName>
                  <email type="md5">dacb1f50cb3df39e314b54ac265df7d0</email>
                  <email type="domain">insa-rouen.fr</email>
                  <idno type="idhal" notation="numeric">969307</idno>
                  <idno type="halauthorid" notation="string">934057-969307</idno>
                  <affiliation ref="#struct-406663"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Maroua</forename>
                    <surname>Bouzid</surname>
                  </persName>
                  <email type="md5">5563cdcf0e67d007f70f2aac30fad4cf</email>
                  <email type="domain">unicaen.fr</email>
                  <idno type="idhal" notation="numeric">937435</idno>
                  <idno type="halauthorid" notation="string">694033-937435</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>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">81131</idno>
                <idno type="issn">0992-499X</idno>
                <idno type="eissn">1958-5748</idno>
                <title level="j">Revue des Sciences et Technologies de l'Information -  Série RIA : Revue d'Intelligence Artificielle</title>
                <imprint>
                  <publisher>Lavoisier</publisher>
                  <biblScope unit="volume">31</biblScope>
                  <biblScope unit="pp">41 - 70</biblScope>
                  <date type="datePub">2017</date>
                </imprint>
              </monogr>
              <idno type="doi">10.3166/ria.31.41-70</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">qualitative constraint networks</term>
                <term xml:lang="en">consistency checking</term>
                <term xml:lang="en">multi-scale reasoning</term>
                <term xml:lang="en">loose integration</term>
                <term xml:lang="en">tractable subclass</term>
                <term xml:lang="en">temporal reasoning</term>
                <term xml:lang="fr">raisonnement sur le temps</term>
                <term xml:lang="fr">décision de la cohérence</term>
                <term xml:lang="fr">réseaux de contraintes qualitatives</term>
                <term xml:lang="fr">intégration lâche</term>
                <term xml:lang="fr">raisonnement multiéchelle</term>
                <term xml:lang="fr">sous-classe traitable</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</classCode>
              <classCode scheme="halDomain" n="info.info-cc">Computer Science [cs]/Computational Complexity [cs.CC]</classCode>
              <classCode scheme="halDomain" n="info.info-ds">Computer Science [cs]/Data Structures and Algorithms [cs.DS]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We study the problem of consistency checking for constraint networks over combined qualitative formalisms. We propose a framework which encompasses loose integrations, multi-scale reasoning and a form of spatio-temporal reasoning. In particular, we identify sufficient conditions ensuring the polynomiality of consistency checking, and we use them to find trac-table subclasses. </p>
            </abstract>
            <abstract xml:lang="fr">
              <p>Nous étudions le problème de la décision de la cohérence de réseaux de contraintes dans le cadre de combinaisons de formalismes qualitatifs. Nous proposons un cadre formel qui englobe les intégrations lâches, le raisonnement multiéchelle et une forme de raisonnement spatio-temporel. En particulier, nous identifions des conditions suffisantes assurant la poly-nomialité de la décision de la cohérence, et nous appliquons ces résultats pour trouver des sous-classes traitables.</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>