Filtrer vos résultats
- 47
- 16
- 31
- 9
- 7
- 5
- 3
- 3
- 2
- 1
- 1
- 1
- 4
- 1
- 61
- 7
- 5
- 1
- 3
- 4
- 3
- 3
- 5
- 4
- 2
- 3
- 5
- 2
- 2
- 5
- 7
- 3
- 3
- 2
- 1
- 1
- 3
- 2
- 52
- 8
- 3
- 40
- 29
- 10
- 6
- 6
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 63
- 22
- 6
- 6
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
63 résultats
|
Second order lambda calculus for meaning assembly: on the logical syntax of pluralsCoconat, Dec 2011, Tilburg, Netherlands
Communication dans un congrès
hal-00650644v1
|
||
|
Collecting Crowd-Sourced Lexical Coercions for Compositional Semantic AnalysisLENLS: Logic and Engineering of Natural Language Semantics, Nov 2017, Tokyo, Japan
Communication dans un congrès
lirmm-01916195v1
|
||
|
Plurals: individuals and sets in a richly typed semanticsLENSL'10 - 10th Workshop on Logic and Engineering of Natural Semantics of Language, Japanese Symposium for Artifitial Intelligence, International Society for AI - 2013, jSAI-ISAI, Oct 2013, Hiyoshi, Kanagawa, Japan. pp.143-156
Communication dans un congrès
hal-00923556v1
|
||
Un calcul de termes typés pour la pragmatique lexicale: chemins et voyageurs fictifs dans un corpus de récits de voyageTALN 2011, 2011, Unknown, Unknown Region
Communication dans un congrès
hal-01231917v1
|
|||
|
Partial Orders, Residuation, and First-Order Linear LogicNatural Language Processing in Artificial Intelligence, 939, Springer, pp.37-67, 2021, Studies in Computational Intelligence, 978-3-030-63786-6
Chapitre d'ouvrage
lirmm-02916101v1
|
||
|
Deductive Parsing with an Unbounded Type LexiconSEMSPACE, Aug 2019, Riga, Latvia
Communication dans un congrès
lirmm-02313572v1
|
||
|
Type-Logical and Hyperedge Replacement Grammars[Research Report] LaBRI; INRIA. 2008, pp.70
Rapport
inria-00413340v1
|
||
|
Lambek Grammars, Tree Adjoining Grammars and Hyperedge Replacement GrammarsNinth International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+ 9), 2008, Tübingen, Germany. pp.1-8
Communication dans un congrès
hal-00278794v1
|
||
|
Un calcul de termes typés pour la pragmatique lexicale: chemins et voyageurs fictifs dans un corpus de récits de voyages18e conférence sur le traitement automatique du langage naturel, TALN 2011, Jun 2011, Montpellier, France. pp.161--166
Communication dans un congrès
hal-00607690v1
|
||
|
A discursive analysis of itineraries in an historical and regional corpus of travelsConstraints in discourse, Sep 2011, Ayay-roches-rouges, France. http://passage.inria.fr/cid2011/doku.php
Communication dans un congrès
hal-00607691v1
|
||
Les indices pronominaux du français dans les grammaires catégoriellesLingvisticae investigationes : International Journal of Linguistics and Language, 2006, 27 (1), pp.137-146
Article dans une revue
hal-00278791v1
|
|||
|
Parsing Corpus-Induced Type-Logical GrammarsCoLogNet/ElsNet Workshop on Linguistic Corpora and Logic Based Grammar Formalisms, 2003, Utrecht, Netherlands. pp.70-85
Communication dans un congrès
hal-00278796v1
|
||
Grail LightLogiciel hal-02101396v1 |
|||
|
Classical logic and intuitionistic logic: equivalent formulations in natural deduction, Gödel-Kolmogorov-Glivenko translation[Research Report] LIRMM; LABRI. 2016
Rapport
lirmm-01281243v1
|
||
|
Do model-theoretic grammars have fundamental advantages over proof-theoretic grammars?2023
Pré-publication, Document de travail
lirmm-04285668v1
|
||
|
Proof-theoretic aspects of NLλ2020
Pré-publication, Document de travail
lirmm-02973980v1
|
||
|
Dialogical Argumentation and Textual EntailmentNatural Language Processing in Artificial Intelligence—NLPinAI 2020, 939, Springer, pp.191-226, 2021, Studies in Computational Intelligence, 978-3030637866. ⟨10.1007/978-3-030-63787-3_7⟩
Chapitre d'ouvrage
hal-02915526v2
|
||
|
Combining logical and distributional methods in type-logical grammarsJournal of Language Modelling, 2019, 6 (2), pp.287-317. ⟨10.15398/jlm.v6i2.231⟩
Article dans une revue
lirmm-01651508v1
|
||
|
Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammarsComputation and Language [cs.CL]. Université Montpellier, 2021
HDR
tel-03452731v1
|
||
|
Natural Language Semantics and ComputabilityJournal of Logic, Language and Information, 2019, 28 (2), pp.287-307. ⟨10.1007/s10849-019-09290-7⟩
Article dans une revue
hal-01315316v1
|
||
|
Chart Parsing Multimodal Grammars[Technical Report] LIRMM (UM, CNRS); Université de Montpellier. 2018
Rapport
lirmm-01759945v1
|
||
|
DACCORD : un jeu de données pour la Détection Automatique d'énonCés COntRaDictoires en françaisCORIA-TALN 2023 : 30e Conférence sur le Traitement Automatique des Langues Naturelles, Jun 2023, Paris, France. pp.285-297
Communication dans un congrès
hal-04130173v1
|
||
|
ÆTHEL: Automatically Extracted Typelogical Derivations for DutchLREC 2020 - 12th Conference on Language Resources and Evaluation, May 2020, Marseille, France. pp.5257-5266
Communication dans un congrès
lirmm-02916423v1
|
||
Collecting Weighted Coercions from Crowd-Sourced Lexical Data for Compositional Semantic AnalysisJSAI-isAI Workshops, Nov 2017, Tokyo, Japan. pp.214-230, ⟨10.1007/978-3-319-93794-6_15⟩
Communication dans un congrès
lirmm-01916209v1
|
|||
|
Le contexte en traitement automatique des languesGerda Hassler. Les concepts fondateurs de la philosophie du langage: Contexte, ISTE, A paraître
Chapitre d'ouvrage
hal-04008967v1
|
||
L'ordre des mots dans les grammaires catégoriellesPré-Actes des Journées de la syntaxe: ordre des mots dans la phrase française, positions et topologie, 2004, Bordeaux, France. pp.56-59
Communication dans un congrès
hal-00012407v1
|
|||
|
The Grail Theorem Prover: Type Theory for Syntax and SemanticsZhaohui Luo; Stergios Chatzikyriakidis. Modern Perspectives in Type-Theoretical Semantics, Studies in Linguistics and Philosophy (98), Springer, pp.247-277, 2017, Part III, 978-3-319-50420-9. ⟨10.1007/978-3-319-50422-3_10⟩
Chapitre d'ouvrage
lirmm-01471644v1
|
||
|
Typed Hilbert Operators for the Lexical Semantics of Singular and Plural Determiner PhrasesEpsilon: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics, Christian Retoré; Stergios Chatzikyriakidis; Fabio Pasquali, Aug 2015, Montpellier, France
Communication dans un congrès
hal-01214439v1
|
||
|
Extended Lambek calculi and first-order linear logicClaudia Casadio, Bob Coecke, Michael Moortgat and Philip Scott. Categories and Types in Logic, Language and Physics: Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, 8222, Springer, pp.297-330, 2014, Lecture Notes in Computer Science, 978-3-642-54788-1
Chapitre d'ouvrage
hal-00826416v1
|
||
A computational account of virtual travelers in the Montagovian generative lexiconMichel Aurnague; Dejan Stosic. The Semantics of Dynamic Space in French, John Benjamins, pp.407-450, 2019, Part IV. Formal and computational aspects of motion-based narrations, 9789027203205. ⟨10.1075/hcp.66.09lef⟩
Chapitre d'ouvrage
hal-02093536v1
|