<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="el-ghali-roussarie-2003-structuration">
    <titleInfo>
        <title>Structuration automatique de preuves mathématiques : de la logique à la rhétorique</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>
    <name type="personal">
        <namePart type="given">Laurent</namePart>
        <namePart type="family">Roussarie</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>2003-06</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <language>
        <languageTerm type="text">French</languageTerm>
        <languageTerm type="code" authority="iso639-2b">fre</languageTerm>
    </language>
    <relatedItem type="host">
        <titleInfo>
            <title>Actes de la 10ème conférence sur le Traitement Automatique des Langues Naturelles. Posters</title>
        </titleInfo>
        <name type="personal">
            <namePart type="given">Béatrice</namePart>
            <namePart type="family">Daille</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Emmanuel</namePart>
            <namePart type="family">Morin</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <originInfo>
            <publisher>ATALA</publisher>
            <place>
                <placeTerm type="text">Batz-sur-Mer, France</placeTerm>
            </place>
        </originInfo>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <abstract>Nous présentons dans ses grandes lignes un modèle de structuration de documents pour la génération automatique de preuves mathématiques. Le modèle prend en entrée des sorties d’un prouveur automatique et vise à produire des textes dont le style s’approche le plus possible des démonstrations rédigées par des humains. Cela implique la mise au point d’une stratégie de planification de document capable de s’écarter de la structure purement logique de la preuve. La solution que nous proposons consiste à intégrer de manière simple des informations de type intentionnel afin d’enrichir la structure rhétorique finale du texte.</abstract>
    <identifier type="citekey">el-ghali-roussarie-2003-structuration</identifier>
    <location>
        <url>https://aclanthology.org/2003.jeptalnrecital-poster.7</url>
    </location>
    <part>
        <date>2003-06</date>
        <extent unit="page">
            <start>333</start>
            <end>338</end>
        </extent>
    </part>
</mods>
</modsCollection>

%0 Conference Proceedings
%T Structuration automatique de preuves mathématiques : de la logique à la rhétorique
%A El Ghali, Adil
%A Roussarie, Laurent
%Y Daille, Béatrice
%Y Morin, Emmanuel
%S Actes de la 10ème conférence sur le Traitement Automatique des Langues Naturelles. Posters
%D 2003
%8 June
%I ATALA
%C Batz-sur-Mer, France
%G French
%F el-ghali-roussarie-2003-structuration
%X Nous présentons dans ses grandes lignes un modèle de structuration de documents pour la génération automatique de preuves mathématiques. Le modèle prend en entrée des sorties d’un prouveur automatique et vise à produire des textes dont le style s’approche le plus possible des démonstrations rédigées par des humains. Cela implique la mise au point d’une stratégie de planification de document capable de s’écarter de la structure purement logique de la preuve. La solution que nous proposons consiste à intégrer de manière simple des informations de type intentionnel afin d’enrichir la structure rhétorique finale du texte.
%U https://aclanthology.org/2003.jeptalnrecital-poster.7
%P 333-338

Markdown (Informal)

[Structuration automatique de preuves mathématiques : de la logique à la rhétorique](https://aclanthology.org/2003.jeptalnrecital-poster.7) (El Ghali & Roussarie, JEP/TALN/RECITAL 2003)

• Structuration automatique de preuves mathématiques : de la logique à la rhétorique (El Ghali & Roussarie, JEP/TALN/RECITAL 2003)

ACL

• Adil El Ghali and Laurent Roussarie. 2003. Structuration automatique de preuves mathématiques : de la logique à la rhétorique. In Actes de la 10ème conférence sur le Traitement Automatique des Langues Naturelles. Posters, pages 333–338, Batz-sur-Mer, France. ATALA.