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