Generation in the Lambek Calculus Framework: an Approach with Semantic Proof Nets - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2000

Generation in the Lambek Calculus Framework: an Approach with Semantic Proof Nets

Sylvain Pogodalla
Linear logic, proof networks and categorial grammars

Résumé

N.A.

Domaines

Intelligence artificielle [cs.AI] Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
pogodalla-naacl00.pdf (102.69 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Sylvain Pogodalla  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00099268

Soumis le : samedi 13 décembre 2008-07:00:08

Dernière modification le : vendredi 24 mars 2023-14:52:48

Archivage à long terme le : mardi 6 avril 2010-01:11:29

Télécharger pour visualiser

Dates et versions

inria-00099268 , version 1 (13-12-2008)

Identifiants

  • HAL Id : inria-00099268 , version 1

Citer

Sylvain Pogodalla. Generation in the Lambek Calculus Framework: an Approach with Semantic Proof Nets. Proceedings of the 1st Meeting of the North American Chapter of the Association for Computational Linguistics (NAACL 2000), May 2000, Seattle, Washington, United States. pp.70-77. ⟨inria-00099268⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA
71 Consultations
131 Téléchargements

Partager

Gmail Facebook X LinkedIn More