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