<?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-02024930</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-19T00:22:57+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Recursive decomposition tree of a Moore co-family and closure algorithm</title>
            <author role="aut">
              <persName>
                <forename type="first">Pierre</forename>
                <surname>Colomb</surname>
              </persName>
              <idno type="halauthorid">553342-0</idno>
              <affiliation ref="#struct-490706"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Alexis</forename>
                <surname>Irlande</surname>
              </persName>
              <email type="md5">ccb7d5dde5e1353a7297d87f400cc1e4</email>
              <email type="domain">lirmm.fr</email>
              <idno type="idhal" notation="numeric">1042956</idno>
              <idno type="halauthorid" notation="string">1051948-1042956</idno>
              <affiliation ref="#struct-323000"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Olivier</forename>
                <surname>Raynaud</surname>
              </persName>
              <email type="md5">7bea806dd9384aa9835c7ab9a39b56bc</email>
              <email type="domain">isima.fr</email>
              <idno type="idhal" notation="numeric">847457</idno>
              <idno type="halauthorid" notation="string">304346-847457</idno>
              <affiliation ref="#struct-490706"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Yoan</forename>
                <surname>Renaud</surname>
              </persName>
              <email type="md5">77090752c4ec8d2321c120ee8e075b09</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="numeric">765133</idno>
              <idno type="halauthorid" notation="string">2530335-765133</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4036-8315</idno>
              <idno type="IDREF">https://www.idref.fr/131388932</idno>
              <idno type="VIAF">https://viaf.org/viaf/200103059</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=On3QrDEAAAAJ</idno>
              <affiliation ref="#struct-2003"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Olivier</forename>
                <surname>Raynaud</surname>
              </persName>
              <email type="md5">7bea806dd9384aa9835c7ab9a39b56bc</email>
              <email type="domain">isima.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-02-19 14:25:40</date>
              <date type="whenModified">2025-09-03 10:02:30</date>
              <date type="whenReleased">2019-03-04 14:46:15</date>
              <date type="whenProduced">2014</date>
              <date type="whenEndEmbargoed">2019-02-19</date>
              <ref type="file" target="https://hal.science/hal-02024930v1/document">
                <date notBefore="2019-02-19"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-02024930v1/file/co-closure.pdf" id="file-2024930-2060950">
                <date notBefore="2019-02-19"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="375784">
                <persName>
                  <forename>Olivier</forename>
                  <surname>Raynaud</surname>
                </persName>
                <email type="md5">7bea806dd9384aa9835c7ab9a39b56bc</email>
                <email type="domain">isima.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02024930</idno>
            <idno type="halUri">https://hal.science/hal-02024930</idno>
            <idno type="halBibtex">colomb:hal-02024930</idno>
            <idno type="halRefHtml">&lt;i&gt;Annals of Mathematics and Artificial Intelligence&lt;/i&gt;, 2014, 70 (1-2), pp.107-122. &lt;a target="_blank" href="https://dx.doi.org/10.1007/s10472-013-9362-x"&gt;&amp;#x27E8;10.1007/s10472-013-9362-x&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Annals of Mathematics and Artificial Intelligence, 2014, 70 (1-2), pp.107-122. &amp;#x27E8;10.1007/s10472-013-9362-x&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2024930-2060950"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="PRES_CLERMONT">Université de Clermont</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-LYON1">Université Claude Bernard - Lyon I</idno>
            <idno type="stamp" n="UNIV-LYON2">Université Lumière Lyon 2</idno>
            <idno type="stamp" n="INSA-LYON">Institut National des Sciences Appliquées de Lyon</idno>
            <idno type="stamp" n="EC-LYON">Ecole Centrale de Lyon</idno>
            <idno type="stamp" n="LIRIS" corresp="UNIV-LYON1">Laboratoire d'InfoRmatique en Image et Systèmes d'information</idno>
            <idno type="stamp" n="LIMOS" corresp="PRES_CLERMONT">Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes</idno>
            <idno type="stamp" n="INSA-GROUPE">Groupe INSA</idno>
            <idno type="stamp" n="UDL">UDL</idno>
            <idno type="stamp" n="UNIV-LYON">Université de Lyon</idno>
            <idno type="stamp" n="CLERMONT-AUVERGNE-INP">Clermont Auvergne INP</idno>
            <idno type="stamp" n="TEST3-HALCNRS">TEST3-HALCNRS</idno>
            <idno type="stamp" n="HAL-LYON-2-NOUVELLE-VERSION">Nouvelle version portail </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="en">Recursive decomposition tree of a Moore co-family and closure algorithm</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Pierre</forename>
                    <surname>Colomb</surname>
                  </persName>
                  <idno type="halauthorid">553342-0</idno>
                  <affiliation ref="#struct-490706"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Alexis</forename>
                    <surname>Irlande</surname>
                  </persName>
                  <email type="md5">ccb7d5dde5e1353a7297d87f400cc1e4</email>
                  <email type="domain">lirmm.fr</email>
                  <idno type="idhal" notation="numeric">1042956</idno>
                  <idno type="halauthorid" notation="string">1051948-1042956</idno>
                  <affiliation ref="#struct-323000"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Olivier</forename>
                    <surname>Raynaud</surname>
                  </persName>
                  <email type="md5">7bea806dd9384aa9835c7ab9a39b56bc</email>
                  <email type="domain">isima.fr</email>
                  <idno type="idhal" notation="numeric">847457</idno>
                  <idno type="halauthorid" notation="string">304346-847457</idno>
                  <affiliation ref="#struct-490706"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Yoan</forename>
                    <surname>Renaud</surname>
                  </persName>
                  <email type="md5">77090752c4ec8d2321c120ee8e075b09</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="numeric">765133</idno>
                  <idno type="halauthorid" notation="string">2530335-765133</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4036-8315</idno>
                  <idno type="IDREF">https://www.idref.fr/131388932</idno>
                  <idno type="VIAF">https://viaf.org/viaf/200103059</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=On3QrDEAAAAJ</idno>
                  <affiliation ref="#struct-2003"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">10488</idno>
                <idno type="issn">1012-2443</idno>
                <idno type="eissn">1573-7470</idno>
                <title level="j">Annals of Mathematics and Artificial Intelligence</title>
                <imprint>
                  <publisher>Springer Verlag</publisher>
                  <biblScope unit="volume">70</biblScope>
                  <biblScope unit="issue">1-2</biblScope>
                  <biblScope unit="pp">107-122</biblScope>
                  <date type="datePub">2014</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/s10472-013-9362-x</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</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>A collection of sets on a ground set U n (U n = {1, 2, ..., n}) closed under intersection and containing U n is known as a Moore family. The set of Moore families for a fixed n is in bijection with the set of Moore co-families (union-closed families containing the empty set) denoted M n. This paper follows the work initiated in [9] in which we have given an inductive definition of the lattice of Moore co-families. In the present paper we use this definition to define a recursive decomposition tree of any Moore co-family and we design an original algorithm to compute the closure under union of any family. Then we compare performance of this algorithm to performance of Ganter's algorithm and Norris' algorithm.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-490706" status="OLD">
          <idno type="IdRef">155645919</idno>
          <idno type="RNSR">200212221E</idno>
          <orgName>Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes</orgName>
          <orgName type="acronym">LIMOS</orgName>
          <date type="start">2017-01-01</date>
          <date type="end">2020-12-31</date>
          <desc>
            <address>
              <addrLine>Campus Universitaire des Cézeaux, 1 rue de la Chebarde, TSA 60125 / CS 60026, 63178 Aubière Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://limos.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UMR6158" active="#struct-359750" type="direct"/>
            <relation name="UMR6158" active="#struct-422708" type="direct"/>
            <relation name="UMR6158" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-323000" status="VALID">
          <idno type="ROR">https://ror.org/059yx9a68</idno>
          <orgName>Universidad Nacional de Colombia [Bogotà]</orgName>
          <orgName type="acronym">UNAL</orgName>
          <desc>
            <address>
              <addrLine>Cra 45, Bogotá, Colombie</addrLine>
              <country key="CO"/>
            </address>
            <ref type="url">http://unal.edu.co/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-2003" status="VALID">
          <idno type="IdRef">149705271</idno>
          <idno type="ISNI">0000000122577669</idno>
          <idno type="RNSR">200511875R</idno>
          <idno type="ROR">https://ror.org/04dv4he91</idno>
          <orgName>Laboratoire d'InfoRmatique en Image et Systèmes d'information</orgName>
          <orgName type="acronym">LIRIS</orgName>
          <date type="start">2003-01-01</date>
          <desc>
            <address>
              <addrLine>Bâtiment Blaise Pascal - 20, avenue Albert Einstein - 69621 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://liris.cnrs.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-33804" type="direct"/>
            <relation active="#struct-126765" type="direct"/>
            <relation active="#struct-301088" type="indirect"/>
            <relation active="#struct-194495" type="direct"/>
            <relation active="#struct-219748" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation name="UMR5205" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-359750" status="VALID">
          <idno type="IdRef">028028694</idno>
          <orgName>Ecole Nationale Supérieure des Mines de St Etienne</orgName>
          <orgName type="acronym">ENSM ST-ETIENNE</orgName>
          <date type="start">1816-01-01</date>
          <desc>
            <address>
              <addrLine>158 Cour Fauriel, 42100 Saint-Étienne</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.mines-stetienne.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-422708" status="OLD">
          <idno type="IdRef">196200032</idno>
          <idno type="ROR">https://ror.org/01a8ajp46</idno>
          <orgName>Université Clermont Auvergne [2017-2020]</orgName>
          <orgName type="acronym">UCA  [2017-2020]</orgName>
          <date type="start">2017-01-01</date>
          <date type="end">2020-12-31</date>
          <desc>
            <address>
              <addrLine>49, bd François-Mitterrand / CS 60032 / 63001 Clermont-Ferrand Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.uca.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="institution" xml:id="struct-33804" status="VALID">
          <idno type="IdRef">02640334X</idno>
          <idno type="ISNI">0000 0001 2188 0906</idno>
          <idno type="ROR">https://ror.org/03rth4p18</idno>
          <idno type="Wikidata">Q4041</idno>
          <orgName>Université Lumière - Lyon 2</orgName>
          <orgName type="acronym">UL2</orgName>
          <desc>
            <address>
              <addrLine>86, rue Pasteur - 69007 Lyon</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lyon2.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-126765" status="VALID">
          <idno type="ROR">https://ror.org/05s6rge65</idno>
          <orgName>École Centrale de Lyon</orgName>
          <orgName type="acronym">ECL</orgName>
          <desc>
            <address>
              <addrLine>36 avenue Guy de Collongue - 69134 Ecully cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ec-lyon.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301088" status="VALID">
          <idno type="ROR">https://ror.org/01rk35k63</idno>
          <orgName>Université de Lyon</orgName>
          <desc>
            <address>
              <addrLine>92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-lyon.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-194495" status="VALID">
          <idno type="IdRef">026402823</idno>
          <idno type="ISNI">0000000121686185</idno>
          <idno type="ROR">https://ror.org/029brtt94</idno>
          <orgName>Université Claude Bernard Lyon 1</orgName>
          <orgName type="acronym">UCBL</orgName>
          <desc>
            <address>
              <addrLine>43, boulevard du 11 novembre 1918, 69622 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lyon1.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-219748" status="VALID">
          <idno type="IdRef">052444724</idno>
          <idno type="ISNI">0000 0001 2292 0228</idno>
          <orgName>Institut National des Sciences Appliquées de Lyon</orgName>
          <orgName type="acronym">INSA Lyon</orgName>
          <date type="start">1957-03-18</date>
          <desc>
            <address>
              <addrLine>20 Avenue Albert Einstein, 69621 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-lyon.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
            <relation active="#struct-301232" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>