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