<?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-02272463</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-17T01:12:00+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">ASP for Construction and Validation of Regulatory Biological Networks</title>
            <author role="aut">
              <persName>
                <forename type="first">Alexandre</forename>
                <surname>Rocca</surname>
              </persName>
              <idno type="halauthorid">1119258-0</idno>
              <affiliation ref="#struct-391841"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Nicolas</forename>
                <surname>Mobilia</surname>
              </persName>
              <idno type="halauthorid">1200561-0</idno>
              <affiliation ref="#struct-391841"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Eric</forename>
                <surname>Fanchon</surname>
              </persName>
              <email type="md5">89978d1342a6e28523112db21d4756aa</email>
              <email type="domain">univ-grenoble-alpes.fr</email>
              <idno type="idhal" notation="string">eric-fanchon</idno>
              <idno type="idhal" notation="numeric">1377912</idno>
              <idno type="halauthorid" notation="string">105563-1377912</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7409-962X</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/M-7721-2014</idno>
              <idno type="IDREF">https://www.idref.fr/032434871</idno>
              <idno type="VIAF">https://viaf.org/viaf/73926876</idno>
              <idno type="ISNI">http://isni.org/isni/0000000039496817</idno>
              <affiliation ref="#struct-391841"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Tony</forename>
                <surname>Ribeiro</surname>
              </persName>
              <email type="md5">c48cabdeb13f3271edef12316483802b</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="numeric">1028387</idno>
              <idno type="halauthorid" notation="string">1201346-1028387</idno>
              <affiliation ref="#struct-95421"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Laurent</forename>
                <surname>Trilling</surname>
              </persName>
              <idno type="halauthorid">105564-0</idno>
              <affiliation ref="#struct-391841"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Katsumi</forename>
                <surname>Inoue</surname>
              </persName>
              <idno type="halauthorid">567664-0</idno>
              <affiliation ref="#struct-6501"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Mathias</forename>
                <surname>Legrand</surname>
              </persName>
              <email type="md5">ffcb48ad643d28bacba8c1287c93bce7</email>
              <email type="domain">ec-nantes.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2024-12-20 15:25:41</date>
              <date type="whenModified">2025-10-20 03:13:47</date>
              <date type="whenReleased">2024-12-20 15:55:21</date>
              <date type="whenProduced">2014-08-08</date>
              <date type="whenEndEmbargoed">2024-12-20</date>
              <ref type="file" target="https://hal.science/hal-02272463v1/document">
                <date notBefore="2024-12-20"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-02272463v1/file/FdC2014.pdf" id="file-4851736-4221772">
                <date notBefore="2024-12-20"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="109149">
                <persName>
                  <forename>Mathias</forename>
                  <surname>Legrand</surname>
                </persName>
                <email type="md5">ffcb48ad643d28bacba8c1287c93bce7</email>
                <email type="domain">ec-nantes.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02272463</idno>
            <idno type="halUri">https://hal.science/hal-02272463</idno>
            <idno type="halBibtex">rocca:hal-02272463</idno>
            <idno type="halRefHtml">&lt;i&gt;Logical Modeling of Biological Systems&lt;/i&gt;, John Wiley &amp; Sons, Inc., pp.167-206, 2014, &lt;a target="_blank" href="https://dx.doi.org/10.1002/9781119005223.ch5"&gt;&amp;#x27E8;10.1002/9781119005223.ch5&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Logical Modeling of Biological Systems, John Wiley &amp; Sons, Inc., pp.167-206, 2014, &amp;#x27E8;10.1002/9781119005223.ch5&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-4851736-4221772"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-NANTES">Université de Nantes</idno>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</idno>
            <idno type="stamp" n="IMAG">IMAG</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-GRENOBLE1">Université Joseph Fourier - Grenoble I</idno>
            <idno type="stamp" n="INPG">Institut polytechnique de Grenoble</idno>
            <idno type="stamp" n="LINA" corresp="UNIV-NANTES">Laboratoire d'Informatique de Nantes Atlantique</idno>
            <idno type="stamp" n="TIMC-IMAG">TIMC</idno>
            <idno type="stamp" n="TIMC-IMAG-BCM" corresp="TIMC-IMAG">BCM : Biologie Computationnelle et Mathématique</idno>
            <idno type="stamp" n="LS2N">Laboratoire des Sciences du Numérique de Nantes</idno>
            <idno type="stamp" n="UNIV-LYON">Université de Lyon</idno>
            <idno type="stamp" n="NANTES-UNIVERSITE">Nantes Université</idno>
            <idno type="stamp" n="UNIV-NANTES-AV2022">Université de Nantes</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">ASP for Construction and Validation of Regulatory Biological Networks</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Alexandre</forename>
                    <surname>Rocca</surname>
                  </persName>
                  <idno type="halauthorid">1119258-0</idno>
                  <affiliation ref="#struct-391841"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Nicolas</forename>
                    <surname>Mobilia</surname>
                  </persName>
                  <idno type="halauthorid">1200561-0</idno>
                  <affiliation ref="#struct-391841"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Eric</forename>
                    <surname>Fanchon</surname>
                  </persName>
                  <email type="md5">89978d1342a6e28523112db21d4756aa</email>
                  <email type="domain">univ-grenoble-alpes.fr</email>
                  <idno type="idhal" notation="string">eric-fanchon</idno>
                  <idno type="idhal" notation="numeric">1377912</idno>
                  <idno type="halauthorid" notation="string">105563-1377912</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7409-962X</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/M-7721-2014</idno>
                  <idno type="IDREF">https://www.idref.fr/032434871</idno>
                  <idno type="VIAF">https://viaf.org/viaf/73926876</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000039496817</idno>
                  <affiliation ref="#struct-391841"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Tony</forename>
                    <surname>Ribeiro</surname>
                  </persName>
                  <email type="md5">c48cabdeb13f3271edef12316483802b</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="numeric">1028387</idno>
                  <idno type="halauthorid" notation="string">1201346-1028387</idno>
                  <affiliation ref="#struct-95421"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Laurent</forename>
                    <surname>Trilling</surname>
                  </persName>
                  <idno type="halauthorid">105564-0</idno>
                  <affiliation ref="#struct-391841"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Katsumi</forename>
                    <surname>Inoue</surname>
                  </persName>
                  <idno type="halauthorid">567664-0</idno>
                  <affiliation ref="#struct-6501"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Logical Modeling of Biological Systems</title>
                <imprint>
                  <publisher>John Wiley &amp; Sons, Inc.</publisher>
                  <pubPlace>Hoboken, NJ, USA</pubPlace>
                  <biblScope unit="pp">167-206</biblScope>
                  <date type="datePub">2014-08-08</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1002/9781119005223.ch5</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">temporal logics</term>
                <term xml:lang="en">temporal logic (LTL)</term>
                <term xml:lang="en">regulatory biological networks</term>
                <term xml:lang="en">genetic regulatory networks (GRNs)</term>
                <term xml:lang="en">computational tree logic (CTL)</term>
                <term xml:lang="en">Boolean network</term>
                <term xml:lang="en">biological logical networks</term>
                <term xml:lang="en">answer set programming (ASP)</term>
              </keywords>
              <classCode scheme="halDomain" n="sdv">Life Sciences [q-bio]</classCode>
              <classCode scheme="halTypology" n="COUV">Book sections</classCode>
              <classCode scheme="halOldTypology" n="COUV">Book sections</classCode>
              <classCode scheme="halTreeTypology" n="COUV">Book sections</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>This chapter presents a declarative approach for analyzing and building genetic regulatory networks (GRNs). First, it proposes an implementation of a model checker for linear temporal logic (LTL) and computational tree logic (CTL) formulas in answer set programming (ASP), a logic programming language based on the stable model semantic. Second, the chapter discusses a specification in ASP of Thomas GRNs that are both a generalization of Boolean networks and an approximation of piecewise linear differential equations. Then, it describes a methodology for analyzing networks with a declarative approach, including consistency repairing and learning of properties from a set of consistent models. The aim is not only to exhibit the importance of logic programming, but also to point up the advantages of ASP, coming from non‐monotonicity, minimality of models, expressiveness and practical performances. Finally, the provided functionalities and the proposed methodology are evaluated over three real biological applications.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-391841" status="OLD">
          <orgName>Biologie Computationnelle et Mathématique</orgName>
          <orgName type="acronym">TIMC-IMAG-BCM</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>Domaine de la Merci, 38706 La Tronche, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www-timc.imag.fr/bcm</ref>
          </desc>
          <listRelation>
            <relation active="#struct-707" type="direct"/>
            <relation active="#struct-51016" type="indirect"/>
            <relation active="#struct-89889" type="indirect"/>
            <relation active="#struct-301767" type="indirect"/>
            <relation name="UMR5525" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-95421" status="OLD">
          <orgName>Laboratoire d'Informatique de Nantes Atlantique</orgName>
          <orgName type="acronym">LINA</orgName>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>LINA - Faculté des Sciences 2 rue de la Houssinière - BP 92208 44322 NANTES CEDEX 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sciences.univ-nantes.fr/lina</ref>
          </desc>
          <listRelation>
            <relation active="#struct-84538" type="direct"/>
            <relation active="#struct-97058" type="direct"/>
            <relation active="#struct-93263" type="indirect"/>
            <relation name="UMR6241" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-6501" status="VALID">
          <idno type="ROR">https://ror.org/04ksd4g47</idno>
          <orgName>National Institute of Informatics</orgName>
          <orgName type="acronym">NII</orgName>
          <desc>
            <address>
              <addrLine>2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430</addrLine>
              <country key="JP"/>
            </address>
            <ref type="url">http://www.nii.ac.jp/en/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-707" status="OLD">
          <idno type="IdRef">14728936X</idno>
          <idno type="ISNI">0000 0004 4687 1979</idno>
          <idno type="RNSR">199511969L</idno>
          <idno type="ROR">https://ror.org/03985kf35</idno>
          <orgName>Techniques de l'Ingénierie Médicale et de la Complexité - Informatique, Mathématiques et Applications, Grenoble - UMR 5525</orgName>
          <orgName type="acronym">TIMC-IMAG</orgName>
          <date type="start">1993-01-01</date>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>Domaine de la Merci, 38706 La Tronche, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www-timc.imag.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-51016" type="direct"/>
            <relation active="#struct-89889" type="direct"/>
            <relation active="#struct-301767" type="direct"/>
            <relation name="UMR5525" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-51016" status="OLD">
          <idno type="IdRef">026404796</idno>
          <idno type="ROR">https://ror.org/02aj0kh94</idno>
          <orgName>Université Joseph Fourier - Grenoble 1</orgName>
          <orgName type="acronym">UJF</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ujf-grenoble.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-89889" status="OLD">
          <idno type="IdRef">026388804</idno>
          <idno type="ROR">https://ror.org/05sbt2524</idno>
          <orgName>Institut polytechnique de Grenoble - Grenoble Institute of Technology</orgName>
          <orgName type="acronym">Grenoble INP</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.grenoble-inp.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301767" status="VALID">
          <idno type="ROR">https://ror.org/01c7wz417</idno>
          <orgName>VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement</orgName>
          <orgName type="acronym">VAS</orgName>
          <date type="start">2010-01-01</date>
          <desc>
            <address>
              <addrLine>Université de Lyon, VetAgro Sup, 69280 Marcy l'Etoile (campus vétérinaire); Université de Clermont, VetAgro Sup, 63370 Lempdes (campus agronomique)</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.vetagro-sup.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-84538" status="OLD">
          <orgName>Mines Nantes</orgName>
          <orgName type="acronym">Mines Nantes</orgName>
          <date type="start">1991-10-08</date>
          <date type="end">2016-12-31</date>
          <desc>
            <address>
              <addrLine>La Chantrerie - 4, rue Alfred Kastler - BP 20722 - 44307 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.mines-nantes.fr/</ref>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-97058" status="OLD">
          <orgName>Université de Nantes - UFR des Sciences et des Techniques</orgName>
          <orgName type="acronym">UN UFR ST</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>2, rue de la Houssinière - BP 92208 - 44322 Nantes cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sciences-techniques.univ-nantes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93263" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-93263" status="OLD">
          <idno type="IdRef">026403447</idno>
          <idno type="ROR">https://ror.org/03gnr7b55</idno>
          <orgName>Université de Nantes</orgName>
          <orgName type="acronym">UN</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-nantes.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>