<?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-01714440</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-26T14:41:43+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Fast Instantiation of GGP Game Descriptions Using Prolog with Tabling</title>
            <author role="aut">
              <persName>
                <forename type="first">Jean-Noël</forename>
                <surname>Vittaut</surname>
              </persName>
              <email type="md5">119a3dd2a6e52058370e36e0a705758b</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">jean-noel-vittaut</idno>
              <idno type="idhal" notation="numeric">17892</idno>
              <idno type="halauthorid" notation="string">30532-17892</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-6654-4199</idno>
              <idno type="IDREF">https://www.idref.fr/227789059</idno>
              <affiliation ref="#struct-104738"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean</forename>
                <surname>Méhat</surname>
              </persName>
              <idno type="halauthorid">1155879-0</idno>
              <affiliation ref="#struct-104738"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Jean-Noël</forename>
                <surname>Vittaut</surname>
              </persName>
              <email type="md5">119a3dd2a6e52058370e36e0a705758b</email>
              <email type="domain">lip6.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2018-02-21 15:06:18</date>
              <date type="whenModified">2026-02-23 09:38:02</date>
              <date type="whenReleased">2018-02-23 14:07:15</date>
              <date type="whenProduced">2014-08-18</date>
              <date type="whenEndEmbargoed">2018-02-21</date>
              <ref type="file" target="https://hal.science/hal-01714440v1/document">
                <date notBefore="2018-02-21"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-01714440v1/file/ECAI-518.pdf" id="file-1714440-1755205">
                <date notBefore="2018-02-21"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="598058">
                <persName>
                  <forename>Jean-Noël</forename>
                  <surname>Vittaut</surname>
                </persName>
                <email type="md5">119a3dd2a6e52058370e36e0a705758b</email>
                <email type="domain">lip6.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01714440</idno>
            <idno type="halUri">https://hal.science/hal-01714440</idno>
            <idno type="halBibtex">vittaut:hal-01714440</idno>
            <idno type="halRefHtml">&lt;i&gt;ECAI 2014, 21st European Conference on Artificial Intelligence&lt;/i&gt;, Aug 2014, Prague, Czech Republic</idno>
            <idno type="halRef">ECAI 2014, 21st European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1714440-1755205"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-PARIS8" corresp="UNIV-PARIS-LUMIERES">Université Paris VIII Vincennes-Saint Denis</idno>
            <idno type="stamp" n="LIASD" corresp="UNIV-PARIS8">Laboratoire d'Intelligence Artificielle et Sémantique des Données</idno>
            <idno type="stamp" n="UNIV-PARIS-LUMIERES"/>
            <idno type="stamp" n="UNIV-PARIS8-OA" corresp="UNIV-PARIS8">HAL UNIV-PARIS8 - open access</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</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="en">Fast Instantiation of GGP Game Descriptions Using Prolog with Tabling</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean-Noël</forename>
                    <surname>Vittaut</surname>
                  </persName>
                  <email type="md5">119a3dd2a6e52058370e36e0a705758b</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">jean-noel-vittaut</idno>
                  <idno type="idhal" notation="numeric">17892</idno>
                  <idno type="halauthorid" notation="string">30532-17892</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-6654-4199</idno>
                  <idno type="IDREF">https://www.idref.fr/227789059</idno>
                  <affiliation ref="#struct-104738"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean</forename>
                    <surname>Méhat</surname>
                  </persName>
                  <idno type="halauthorid">1155879-0</idno>
                  <affiliation ref="#struct-104738"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>ECAI 2014, 21st European Conference on Artificial Intelligence</title>
                  <date type="start">2014-08-18</date>
                  <settlement>Prague</settlement>
                  <country key="CZ">Czech Republic</country>
                </meeting>
                <imprint/>
              </monogr>
            </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="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</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>We present a method to instantiate game descriptions used in General Game Playing with a Prolog interpreter using tabling. Instantiation is a crucial step for speeding up the interpretation of game descriptions and increasing the playing strength of general players. Our method allows us to ground almost all of the game descriptions present on the GGP servers in a time that is compatible with the common time settings of the GGP competition. It instantiates more rapidly than previous published methods.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-104738" status="OLD">
          <idno type="RNSR">200918461G</idno>
          <orgName>Laboratoire d'Informatique Avancée de Saint-Denis</orgName>
          <orgName type="acronym">LIASD</orgName>
          <date type="start">2009-01-01</date>
          <desc>
            <address>
              <addrLine>Université Paris 8 Vincennes-Saint-Denis - 2 rue de la Liberté - 93526 Saint-Denis cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ai.univ-paris8.fr</ref>
          </desc>
          <listRelation>
            <relation name="EA4383" active="#struct-11141" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-11141" status="VALID">
          <idno type="IdRef">026403552</idno>
          <idno type="ISNI">0000000121083026</idno>
          <idno type="ROR">https://ror.org/04wez5e68</idno>
          <orgName>Université Paris 8</orgName>
          <orgName type="acronym">UP8</orgName>
          <date type="start">1971-01-01</date>
          <desc>
            <address>
              <addrLine>2 rue de la Liberté - 93526 Saint-Denis cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-paris8.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>