@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://preview.aclanthology.org/fix-sig-urls/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."
}