@inproceedings{el-ghali-2004-determination,
title = "D{\'e}termination de contenu dans {GEPHOX}",
author = "El Ghali, Adil",
editor = {Blache, Philippe and
Nguyen, No{\"e}l and
Chenfour, Nouredine and
Rajouani, Abdenbi},
booktitle = "Actes de la 11{\`e}me conf{\'e}rence sur le Traitement Automatique des Langues Naturelles. Articles longs",
month = apr,
year = "2004",
address = "F{\`e}s, Maroc",
publisher = "ATALA",
url = "https://aclanthology.org/2004.jeptalnrecital-long.33/",
pages = "319--328",
language = "fra",
abstract = "Le g{\'e}n{\'e}rateur GEPHOX que nous r{\'e}alisons a pour ambition de produire des textes pour des d{\'e}finition ou preuves math{\'e}matiques {\'e}crites {\`a} l`aide de l`assistant de preuve PHOX. Dans cet article nous nous concentrons sur le module de d{\'e}termination de contenu ContDet de GEPHOX. Apr{\`e}s un aper{\c{c}}u sur l`entr{\'e}e du g{\'e}n{\'e}rateur, i.e. la preuve formelle et l`ensemble des r{\`e}gles ayant permis de l`obtenir, nous d{\'e}crivons les base de connaissances du g{\'e}n{\'e}rateur et le fonctionnement de l`algorithme de d{\'e}termination de contenu."
}
<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="el-ghali-2004-determination">
<titleInfo>
<title>Détermination de contenu dans GEPHOX</title>
</titleInfo>
<name type="personal">
<namePart type="given">Adil</namePart>
<namePart type="family">El Ghali</namePart>
<role>
<roleTerm authority="marcrelator" type="text">author</roleTerm>
</role>
</name>
<originInfo>
<dateIssued>2004-04</dateIssued>
</originInfo>
<typeOfResource>text</typeOfResource>
<language>
<languageTerm type="text">fra</languageTerm>
</language>
<relatedItem type="host">
<titleInfo>
<title>Actes de la 11ème conférence sur le Traitement Automatique des Langues Naturelles. Articles longs</title>
</titleInfo>
<name type="personal">
<namePart type="given">Philippe</namePart>
<namePart type="family">Blache</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Noël</namePart>
<namePart type="family">Nguyen</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Nouredine</namePart>
<namePart type="family">Chenfour</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Abdenbi</namePart>
<namePart type="family">Rajouani</namePart>
<role>
<roleTerm authority="marcrelator" type="text">editor</roleTerm>
</role>
</name>
<originInfo>
<publisher>ATALA</publisher>
<place>
<placeTerm type="text">Fès, Maroc</placeTerm>
</place>
</originInfo>
<genre authority="marcgt">conference publication</genre>
</relatedItem>
<abstract>Le générateur GEPHOX que nous réalisons a pour ambition de produire des textes pour des définition ou preuves mathématiques écrites à l‘aide de l‘assistant de preuve PHOX. Dans cet article nous nous concentrons sur le module de détermination de contenu ContDet de GEPHOX. Après un aperçu sur l‘entrée du générateur, i.e. la preuve formelle et l‘ensemble des règles ayant permis de l‘obtenir, nous décrivons les base de connaissances du générateur et le fonctionnement de l‘algorithme de détermination de contenu.</abstract>
<identifier type="citekey">el-ghali-2004-determination</identifier>
<location>
<url>https://aclanthology.org/2004.jeptalnrecital-long.33/</url>
</location>
<part>
<date>2004-04</date>
<extent unit="page">
<start>319</start>
<end>328</end>
</extent>
</part>
</mods>
</modsCollection>
%0 Conference Proceedings
%T Détermination de contenu dans GEPHOX
%A El Ghali, Adil
%Y Blache, Philippe
%Y Nguyen, Noël
%Y Chenfour, Nouredine
%Y Rajouani, Abdenbi
%S Actes de la 11ème conférence sur le Traitement Automatique des Langues Naturelles. Articles longs
%D 2004
%8 April
%I ATALA
%C Fès, Maroc
%G fra
%F el-ghali-2004-determination
%X Le générateur GEPHOX que nous réalisons a pour ambition de produire des textes pour des définition ou preuves mathématiques écrites à l‘aide de l‘assistant de preuve PHOX. Dans cet article nous nous concentrons sur le module de détermination de contenu ContDet de GEPHOX. Après un aperçu sur l‘entrée du générateur, i.e. la preuve formelle et l‘ensemble des règles ayant permis de l‘obtenir, nous décrivons les base de connaissances du générateur et le fonctionnement de l‘algorithme de détermination de contenu.
%U https://aclanthology.org/2004.jeptalnrecital-long.33/
%P 319-328
Markdown (Informal)
[Détermination de contenu dans GEPHOX](https://aclanthology.org/2004.jeptalnrecital-long.33/) (El Ghali, JEP/TALN/RECITAL 2004)
ACL
- Adil El Ghali. 2004. Détermination de contenu dans GEPHOX. In Actes de la 11ème conférence sur le Traitement Automatique des Langues Naturelles. Articles longs, pages 319–328, Fès, Maroc. ATALA.