<?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-00126022</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-12T06:56:30+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">Raisonnements sur l'espace et le temps : des modèles aux applications</title>
            <author role="sad">
              <persName>
                <forename type="first">Florence</forename>
                <surname>Le Ber</surname>
              </persName>
              <email type="md5">d1f002916369aa705037dd8a5f627d8c</email>
              <email type="domain">icube.unistra.fr</email>
              <idno type="idhal" notation="string">florence-le-ber</idno>
              <idno type="idhal" notation="numeric">535</idno>
              <idno type="halauthorid" notation="string">2224-535</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2415-7606</idno>
              <idno type="IDREF">https://www.idref.fr/113466404</idno>
              <orgName ref="#struct-300009"/>
              <affiliation ref="#struct-10124"/>
              <affiliation ref="#struct-2358"/>
            </author>
            <author role="sad">
              <persName>
                <forename type="first">Gérard</forename>
                <surname>Ligozat</surname>
              </persName>
              <email type="md5">de729e920ba9d63f04a8fa0e3f97f8db</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="numeric">997068</idno>
              <idno type="halauthorid" notation="string">105650-997068</idno>
              <idno type="IDREF">https://www.idref.fr/026990342</idno>
              <affiliation ref="#struct-247329"/>
            </author>
            <author role="sad">
              <persName>
                <forename type="first">Odile</forename>
                <surname>Papini</surname>
              </persName>
              <email type="md5">e768218907a1635b3482cc83c6b8213c</email>
              <email type="domain">univ-amu.fr</email>
              <idno type="idhal" notation="numeric">1102895</idno>
              <idno type="halauthorid" notation="string">130085-1102895</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-7537-5822</idno>
              <idno type="IDREF">https://www.idref.fr/050371630</idno>
              <affiliation ref="#struct-199402"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Florence</forename>
                <surname>Le Ber</surname>
              </persName>
              <email type="md5">369d0272adcd8a1caf39f8527ddbca12</email>
              <email type="domain">engees.unistra.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2007-01-23 13:16:52</date>
              <date type="whenModified">2026-01-24 03:02:44</date>
              <date type="whenReleased">2007-01-23 13:16:52</date>
              <date type="whenProduced">2007</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="103335">
                <persName>
                  <forename>Florence</forename>
                  <surname>Le Ber</surname>
                </persName>
                <email type="md5">369d0272adcd8a1caf39f8527ddbca12</email>
                <email type="domain">engees.unistra.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00126022</idno>
            <idno type="halUri">https://hal.science/hal-00126022</idno>
            <idno type="halBibtex">leber:hal-00126022</idno>
            <idno type="halRefHtml">Lavoisier, pp.419, 2007</idno>
            <idno type="halRef">Lavoisier, pp.419, 2007</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-TLN">Université de Toulon</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="UNIV-AMU">Aix Marseille Université</idno>
            <idno type="stamp" n="UNIV-PSUD">Université Paris Sud - Paris XI</idno>
            <idno type="stamp" n="UNIV-STRASBG1">Université Louis Pasteur - Strasbourg I</idno>
            <idno type="stamp" n="INPL">Institut National Polytechnique de Lorraine</idno>
            <idno type="stamp" n="ENGEES">Ecole Nationale du Génie de l'Eau et de l'Environnement de Strasbourg</idno>
            <idno type="stamp" n="UNIV-STRASBG">Université de Strasbourg</idno>
            <idno type="stamp" n="INRIA-LORRAINE">INRIA Nancy - Grand Est</idno>
            <idno type="stamp" n="LORIA2">Publications du LORIA</idno>
            <idno type="stamp" n="LIMSI">Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur</idno>
            <idno type="stamp" n="INRIA-NANCY-GRAND-EST">INRIA Nancy - Grand Est</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="LSIS">Laboratoire des Sciences de l'Information et des Systèmes</idno>
            <idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="LORIA">Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno>
            <idno type="stamp" n="AGREENIUM">Archive ouverte en agrobiosciences</idno>
            <idno type="stamp" n="UNIV-PSUD-SACLAY" corresp="UNIV-PARIS-SACLAY">Université Paris Sud pour Paris Saclay</idno>
            <idno type="stamp" n="LIS-LAB">Laboratoire d'Informatique et Systèmes</idno>
            <idno type="stamp" n="SITE-ALSACE">Archive ouverte du site Alsace</idno>
            <idno type="stamp" n="INRIA-300009">Inria 300009</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SU-INF-2018" corresp="SORBONNE-UNIVERSITE">SORBONNE université &lt;2018</idno>
            <idno type="stamp" n="LISN">Laboratoire Interdisciplinaire des Sciences du Numérique</idno>
            <idno type="stamp" n="GS-SPORT-HUMAN-MOVEMENT">Graduate School Sport, Mouvement, Facteurs Humains</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="UNIVOAK">UNIVOAK</idno>
            <idno type="stamp" n="AM2I-UL">Pôle scientifique Automatique, Mathématiques, Informatique et leurs Intéractions de l'Université de Lorraine</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="1">Not set</note>
            <note type="popular" n="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="fr">Raisonnements sur l'espace et le temps : des modèles aux applications</title>
                <author role="sad">
                  <persName>
                    <forename type="first">Florence</forename>
                    <surname>Le Ber</surname>
                  </persName>
                  <email type="md5">d1f002916369aa705037dd8a5f627d8c</email>
                  <email type="domain">icube.unistra.fr</email>
                  <idno type="idhal" notation="string">florence-le-ber</idno>
                  <idno type="idhal" notation="numeric">535</idno>
                  <idno type="halauthorid" notation="string">2224-535</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2415-7606</idno>
                  <idno type="IDREF">https://www.idref.fr/113466404</idno>
                  <orgName ref="#struct-300009"/>
                  <affiliation ref="#struct-10124"/>
                  <affiliation ref="#struct-2358"/>
                </author>
                <author role="sad">
                  <persName>
                    <forename type="first">Gérard</forename>
                    <surname>Ligozat</surname>
                  </persName>
                  <email type="md5">de729e920ba9d63f04a8fa0e3f97f8db</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="numeric">997068</idno>
                  <idno type="halauthorid" notation="string">105650-997068</idno>
                  <idno type="IDREF">https://www.idref.fr/026990342</idno>
                  <affiliation ref="#struct-247329"/>
                </author>
                <author role="sad">
                  <persName>
                    <forename type="first">Odile</forename>
                    <surname>Papini</surname>
                  </persName>
                  <email type="md5">e768218907a1635b3482cc83c6b8213c</email>
                  <email type="domain">univ-amu.fr</email>
                  <idno type="idhal" notation="numeric">1102895</idno>
                  <idno type="halauthorid" notation="string">130085-1102895</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-7537-5822</idno>
                  <idno type="IDREF">https://www.idref.fr/050371630</idno>
                  <affiliation ref="#struct-199402"/>
                </author>
              </analytic>
              <monogr>
                <imprint>
                  <publisher>Lavoisier</publisher>
                  <biblScope unit="pp">419</biblScope>
                  <date type="datePub">2007</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</classCode>
              <classCode scheme="halTypology" n="OUV">Books</classCode>
              <classCode scheme="halOldTypology" n="DOUV">Directions of work or proceedings</classCode>
              <classCode scheme="halTreeTypology" n="OUV">Books</classCode>
            </textClass>
            <abstract xml:lang="fr">
              <p>Cet ouvrage traite des formalismes de représentation et de raisonnement sur l'espace et le temps, tels qu'ils sont développés actuellement en intelligence artificielle. Il est organisé en trois parties principales. Nous présentons tout d'abord des formalismes logiques et algébriques de représentation de l'espace et du temps. Dans une deuxième partie, nous décrivons les techniques de raisonnement associés à ces représentations : raisonnements logiques, résolution de contraintes, treillis et modèles graphiques. Une troisième partie s'attache à décrire quelques applications concrètes de ces techniques, en particulier à l'analyse et à la gestion de territores agricoles.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-10124" status="OLD">
          <orgName>Centre d'Ecologie Végétale et d'Hydrologie</orgName>
          <orgName type="acronym">CEVH</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-94023" type="direct"/>
            <relation active="#struct-300320" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-2358" status="OLD">
          <idno type="RNSR">200818291B</idno>
          <orgName>Knowledge  representation, reasonning</orgName>
          <orgName type="acronym">ORPAILLEUR</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/orpailleur</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2496" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-466633" type="direct"/>
            <relation active="#struct-300291" type="indirect"/>
            <relation active="#struct-300292" type="indirect"/>
            <relation active="#struct-300293" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-247329" status="OLD">
          <orgName>Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur</orgName>
          <orgName type="acronym">LIMSI</orgName>
          <date type="start">1962-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Université Paris-Sud Bât. 507 - Rue du Belvédère -91405 ORSAY CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.limsi.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-92966" type="direct"/>
            <relation active="#struct-408837" type="direct"/>
            <relation active="#struct-413221" type="indirect"/>
            <relation active="#struct-419361" type="direct"/>
            <relation name="UPR3251" active="#struct-441569" type="direct"/>
            <relation active="#struct-562112" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-199402" status="OLD">
          <idno type="IdRef">150137125</idno>
          <idno type="RNSR">201220329Z</idno>
          <orgName>Laboratoire des Sciences de l'Information et des Systèmes</orgName>
          <orgName type="acronym">LSIS</orgName>
          <date type="start">2012-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>Domaine Universitaire de Saint-JérômeBatiment PolytechAvenue Escadrille Normandie-Niemen13397 MARSEILLE CEDEX 20</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lsis.org</ref>
          </desc>
          <listRelation>
            <relation name="UMR7296" active="#struct-198056" type="direct"/>
            <relation name="UMR7296" active="#struct-303091" type="direct"/>
            <relation name="UMR7296" active="#struct-303092" type="direct"/>
            <relation name="UMR7296" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-94023" status="VALID">
          <idno type="ROR">https://ror.org/02jhjzd11</idno>
          <orgName>École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg</orgName>
          <orgName type="acronym">ENGEES</orgName>
          <desc>
            <address>
              <addrLine>1 quai Koch - BP 61039 - 67070 Strasbourg Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://engees.unistra.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300320" status="OLD">
          <orgName>Université Louis Pasteur - Strasbourg I</orgName>
          <date type="start">1970-01-01</date>
          <date type="end">2009-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-2496" status="OLD">
          <orgName>INRIA Lorraine</orgName>
          <desc>
            <address>
              <addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-466633" status="OLD">
          <orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
          <orgName type="acronym">LORIA</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2011-12-31</date>
          <desc>
            <address>
              <addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-300291" type="direct"/>
            <relation active="#struct-300292" type="direct"/>
            <relation active="#struct-300293" type="direct"/>
            <relation name="UMR7503" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300291" status="OLD">
          <orgName>Université Henri Poincaré - Nancy 1</orgName>
          <orgName type="acronym">UHP</orgName>
          <date type="end">2011-12-31</date>
          <desc>
            <address>
              <addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300292" status="OLD">
          <orgName>Université Nancy 2</orgName>
          <date type="end">2011-12-31</date>
          <desc>
            <address>
              <addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300293" status="OLD">
          <orgName>Institut National Polytechnique de Lorraine</orgName>
          <orgName type="acronym">INPL</orgName>
          <date type="end">2011-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </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="institution" xml:id="struct-92966" status="OLD">
          <idno type="ROR">https://ror.org/028rypz17</idno>
          <orgName>Université Paris-Sud - Paris 11</orgName>
          <orgName type="acronym">UP11</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Bâtiment 300 - 91405 Orsay cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-psud.fr/</ref>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-408837" status="VALID">
          <orgName>Sorbonne Université - UFR d'Ingénierie</orgName>
          <orgName type="acronym">UFR 919</orgName>
          <desc>
            <address>
              <addrLine>SORBONNE UNIVERSITEFACULTE DES SCIENCES ET INGENIERIEUFR D'INGENIERIETour 55/65 - 2e étage4 place Jussieu75252 Paris cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://ingenierie.sorbonne-universite.fr/fr/index.html</ref>
          </desc>
          <listRelation>
            <relation active="#struct-413221" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-413221" status="VALID">
          <idno type="IdRef">221333754</idno>
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Sorbonne Université</orgName>
          <orgName type="acronym">SU</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>21 rue de l’École de médecine - 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sorbonne-universite.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-419361" status="VALID">
          <idno type="IdRef">241345251</idno>
          <idno type="ROR">https://ror.org/03xjwb503</idno>
          <orgName>Université Paris-Saclay</orgName>
          <desc>
            <address>
              <addrLine>Bâtiment Bréguet, 3 Rue Joliot Curie 2e ét, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-paris-saclay.fr/fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-562112" status="OLD">
          <orgName>Université Paris Saclay (COmUE)</orgName>
          <desc>
            <address>
              <addrLine>Espace Technologique, Bât. Discovery - RD 128 - 2è ététage, 91190 Saint-Aubin</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-paris-saclay.fr/fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-198056" status="VALID">
          <idno type="IdRef">15863621X</idno>
          <idno type="ISNI">0000 0001 2176 4817</idno>
          <idno type="ROR">https://ror.org/035xkbk20</idno>
          <orgName>Aix Marseille Université</orgName>
          <orgName type="acronym">AMU</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>Aix-Marseille UniversitéJardins du Pharo58 Boulevard Charles Livon13284 Marseille cedex 7</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-amu.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-303091" status="VALID">
          <idno type="IdRef">031122337</idno>
          <idno type="ROR">https://ror.org/02m9kbe37</idno>
          <orgName>Université de Toulon</orgName>
          <orgName type="acronym">UTLN</orgName>
          <desc>
            <address>
              <addrLine>Avenue de l'Université - BP 20132 - 83957 La Garde Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tln.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-303092" status="OLD">
          <orgName>Arts et Métiers Paristech ENSAM Aix-en-Provence</orgName>
          <date type="end">2020-03-04</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>