Type theory BioNLP Risk Management Proof nets Two-sorted first order logic Machine Translation Information retrieval Annotation Data mining Type Theory Terminologie Compositional semantics Categorial grammars Semantic relations Désambiguïsation Computational Semantics Acquisition lexicale Distant dependencies Réseau lexical Compositional vector semantics Enrichissement Divergence Dutch subordinate clause Syntaxe Extraction d’information Logic for information retrieval systems Cognitive linguistics Categorization Corpus Text mining Compound noun-phrases Pregroup grammars Fouille de Textes Intelligence Artificielle Base de connaissances Fichiers logs Information Retrieval Théorie de la démonstration NLP Lexical network Text Mining Linguistics Type-logical grammar Compact bilinear logic Grammaires catégorielles Criteria characterization Proof graphs Crowdsourcing Classification Logic Categorial grammar Formal linguistics Compact Closed Categories Dialog Réseau lexico-sémantique Inférence de relations Compact closed categories Validation Epsilon calculus Inference Natural language processing Fouille de textes Agreement of reflexive pronouns and clitics in French Dépistage Computational linguistics Lexical semantics Information Extraction Incremental dependency parsing algorithm Lexical Semantics Conceptual vectors Collocations Bell States JeuxDeMots DATA MINING Proof theory Data Mining Syntax Type-logical grammars Lexical semantic network Distributed Model of Meaning Natural language semantics Traitement Automatique du Langage Naturel Logique mathématique Formal semantics Cross-serial dependency Parsing Computational semantics Inférence GWAP Semantics Quantum logic Thesaurus Semantic vector models Concept spaces Extraction d'information Natural Language Processing Instance Recognition Rules Terminology Complement control Ontology Population