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