177 résultats  enregistrer la recherche


inria-00100048v1  Communication dans un congrès
Didier GalmicheDaniel MéryResource Graphs and Countermodels in Resource Logics
IJCAR 2004 Workshop W1 on Disproving - Non-Theorems, Non-validity, Non-Provability, 2004, Cork/Ireland, 2004
inria-00100246v1  Communication dans un congrès
Mathieu D'AquinSébastien BrachaisJean LieberAmedeo NapoliKasimir : portail sémantique pour la gestion des connaissances en cancérologie
Second séminaire francophone du Web Sémantique Médical - WSM 2004, 2004, Rouen, France, 2 p, 2004
inria-00100235v1  Rapport
Germain FaureAlexandre MiquelTowards a denotational semantics for the rho-calculus
[Intern report] A04-R-464 || faure04a, 2004, 14 p
inria-00100450v1  Chapitre d'ouvrage
Denys DuchierClaire GardentTree Descriptions, Constraints and Incrementality
H. Bunt, R. Muskens and E. Thijsse (eds). Computing Meaning, Kluwer Academic Publishers, 23 p, 2001, Studies in Linguistics and Philosophy Series
...
tel-00327441v1  Thèse
Christian BrunetteConstruction et simulation graphiques de comportements : le modèle des Icobjs
Autre [cs.OH]. École Nationale Supérieure des Mines de Paris, 2004. Français
...
inria-00099887v1  Communication dans un congrès
Guy PerrierLa sémantique dans les grammaires d'interaction
11ième Conférence annuelle sur le Traitement Automatique des Langues Naturelles - TALN'2004, 2004, Fès, Maroc, France. 10 p, 2004
...
inria-00099898v1  Communication dans un congrès
Claire GardentMarilisa AmoiaEvelyne JacqueyParaphrastic grammars
2nd International Workshop on Text and Meaning and Interpretation, Jul 2004, Barcelona, Spain, 8 p, 2004
...
inria-00107768v1  Communication dans un congrès
Sylvain PogodallaComputing Semantic Representation: Towards ACG Abstract Terms as Derivation Trees
Seventh International Workshop on Tree Adjoining Grammar and Related Formalisms - TAG+7, 2004, Vancouver, BC, Canada, pp.64-71, 2004
...
tel-00011468v1  Thèse
Dominique MilleModèles et outils logiciels pour l'annotation sémantiquede documentspédagogiques
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2005. Français
...
inria-00107757v1  Communication dans un congrès
Rim Al HulouAmedeo NapoliUtilisation de connaissances pour l'aide à la recherche documentaire fondée sur le contenu
G. Hébrail and L. Lebart and J.-M. Petit. 4èmes Journées d'Extraction et de Gestion des Connaissances - EGC'2004, 2004, Clermont Ferrand, France, RNTI - Cépaduès Editions Toulouse, pp.503, 2004
...
inria-00107767v1  Communication dans un congrès
Sylvain PogodallaVers un statut de l'arbre de dérivation : exemples de construction de représentations sémantiques pour les Grammaires d'Arbres Adjoints
Traitement Automatique des Langues Naturelles - TALN'04, 2004, Fès, Maroc, 10 p, 2004
...
tel-00459307v1  Thèse
Pierre ClairambaultLogique et Interaction : une Étude Sémantique de la Totalité
Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2010. Français
...
inria-00108117v1  Communication dans un congrès
Sylvain PogodallaUsing and Extending the ACG technology: Endowing Categorial Grammars with an Underspecified Semantic Representation
Categorial Grammars, Jun 2004, Montpellier, France, pp.197-209, 2004
...
tel-00011871v1  Thèse
Pierre HyvernatA Logical Investigation of Interaction Systems
Mathematics [math]. Université de la Méditerranée - Aix-Marseille II, 2005. English
inria-00099698v1  Communication dans un congrès
Salma JamoussiKamel SmailiJean-Paul HatonDescription d'un système de compréhension automatique de la parole
Troisièmes Ateliers en Traitement et Analyse d'Images : Méthodes et Applications - TAIMA'03, Oct 2003, Hammamet, Tunisie, 6 p, 2003
inria-00099697v1  Communication dans un congrès
Salma JamoussiKamel SmailiJean-Paul HatonVers la compréhension automatique de la parole : extraction des concepts par réseaux bayésiens
Dixième Conférence en Traitement Automatique des Langues Naturelles - TALN'03, Jun 2003, Batz-sur-Mer, France, 10 p, 2003
inria-00099696v1  Communication dans un congrès
Salma JamoussiKamel SmailiJean-Paul HatonUnderstanding speech based on a Bayesian concept extraction method
Sixth International Conference on Text Speech and Dialogue - TSD'03, Sep 2003, Ceské-Budejovic, République Tchèque, 8 p, 2003
inria-00099715v1  Article dans une revue
Patrick BlackburnJohan BosComputational Semantics
Theoria, Universidad del Bío-Bío, 2003, 18 (46), pp.27-45
inria-00099800v1  Article dans une revue
Stephan MerzOn the Logic of TLA+
Computers and Informatics, 2003, 22 (4), 27 p
...
inria-00099064v1  Communication dans un congrès
Evelyne JacqueyBertrand GaiffeJean-Marie PierrelUn traitement sémantique de la polysémie lexicale dans le domaine du dialogue homme-machine finalisé
Association pour le Traitement Automatique des LAngues. TALN, 2000, Ecole Polytechnique Federale de Lausanne, Suisse, pp.435 - 446, 2000
inria-00099581v1  Communication dans un congrès
Caroline BrunMarc DymetmanEric FanchonStanislas LhommeSylvain PogodallaSemantically-based text authoring and the concurrent documentation of experimental protocols
Cécile Roisin and Ethan V. Munson and Christine Vanoirbeek. ACM Symposium on Document Engineering - DocEng 2003, Nov 2003, Grenoble, France. ACM New York, NY, USA, pp.193-202, 2003, DocEng '03 Proceedings of the 2003 ACM symposium on Document engineering. <http://doi.acm.org/10.1145/958220.958256>. <10.1145/958220.958256>