1 |
Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars
|
|
|
|
In: https://hal-lirmm.ccsd.cnrs.fr/tel-03452731 ; Computation and Language [cs.CL]. Université Montpellier, 2021 (2021)
|
|
BASE
|
|
Show details
|
|
2 |
Logical foundations for hybrid type-logical grammars
|
|
|
|
In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-02944393 ; Journal of Logic, Language and Information, Springer Verlag, In press (2021)
|
|
BASE
|
|
Show details
|
|
3 |
Neural Proof Nets
|
|
|
|
In: CoNLL 2020 - 24th Conference on Computational Natural Language Learning ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-02952267 ; CoNLL 2020 - 24th Conference on Computational Natural Language Learning, Nov 2020, Virtual, Dominican Republic. pp.26-40, ⟨10.18653/v1/2020.conll-1.3⟩ ; https://www.conll.org/ (2020)
|
|
BASE
|
|
Show details
|
|
4 |
Proof-theoretic aspects of NLλ
|
|
|
|
In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02973980 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
5 |
Partial Orders, Residuation, and First-Order Linear Logic ...
|
|
|
|
BASE
|
|
Show details
|
|
7 |
A computational account of virtual travelers in the Montagovian generative lexicon
|
|
|
|
In: The Semantics of Dynamic Space in French ; https://hal.archives-ouvertes.fr/hal-02093536 ; Michel 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⟩ ; https://benjamins.com/catalog/hcp.66.09lef (2019)
|
|
BASE
|
|
Show details
|
|
8 |
Natural Language Semantics and Computability
|
|
|
|
In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal.inria.fr/hal-01315316 ; Journal of Logic, Language and Information, Springer Verlag, 2019, 28 (2), pp.287-307. ⟨10.1007/s10849-019-09290-7⟩ (2019)
|
|
BASE
|
|
Show details
|
|
9 |
Deductive Parsing with an Unbounded Type Lexicon
|
|
|
|
In: 3rd Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science ; SEMSPACE ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-02313572 ; SEMSPACE, Aug 2019, Riga, Latvia (2019)
|
|
BASE
|
|
Show details
|
|
10 |
Collecting Weighted Coercions from Crowd-Sourced Lexical Data for Compositional Semantic Analysis
|
|
|
|
In: JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers ; JSAI-isAI Workshops ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01916209 ; JSAI-isAI Workshops, Nov 2017, Tokyo, Japan. pp.214-230, ⟨10.1007/978-3-319-93794-6_15⟩ ; https://www.ai-gakkai.or.jp/isai/isai2017 (2017)
|
|
BASE
|
|
Show details
|
|
11 |
Collecting Crowd-Sourced Lexical Coercions for Compositional Semantic Analysis
|
|
|
|
In: 14th International Workshop on Logic and Engineering of Natural Language Semantics @ JSAI International Symposia on AI (isAI2017) ; LENLS: Logic and Engineering of Natural Language Semantics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01916195 ; LENLS: Logic and Engineering of Natural Language Semantics, Nov 2017, Tokyo, Japan ; http://www.is.ocha.ac.jp/~bekki/lenls/lenls14/index.html (2017)
|
|
BASE
|
|
Show details
|
|
12 |
The Grail Theorem Prover: Type Theory for Syntax and Semantics
|
|
|
|
In: Modern Perspectives in Type-Theoretical Semantics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01471644 ; Zhaohui 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⟩ (2017)
|
|
BASE
|
|
Show details
|
|
14 |
The Grail theorem prover: Type theory for syntax and semantics ...
|
|
|
|
BASE
|
|
Show details
|
|
15 |
Typed Hilbert Operators for the Lexical Semantics of Singular and Plural Determiner Phrases
|
|
|
|
In: Workshop on Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics ; Epsilon: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics ; https://hal.inria.fr/hal-01214439 ; Epsilon: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics, Christian Retoré; Stergios Chatzikyriakidis; Fabio Pasquali, Aug 2015, Montpellier, France ; https://sites.google.com/site/epsilon2015workshop/ (2015)
|
|
BASE
|
|
Show details
|
|
16 |
Comparing and evaluating extended Lambek calculi
|
|
|
|
In: Empirical advances in categorial grammars ; https://hal.archives-ouvertes.fr/hal-01164670 ; Empirical advances in categorial grammars, Yusuke Kubota and Robert Levine, Aug 2015, Barcelona, Spain (2015)
|
|
BASE
|
|
Show details
|
|
18 |
Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types
|
|
|
|
In: 11th International Workshop on Logic and Engineering of Natural Language Semantics @ JSAI International Symposia on AI (isAI2017) - Revised Selected Papers ; LENLS: Logic and Engineering of Natural Language Semantics ; https://hal.inria.fr/hal-01098748 ; LENLS: Logic and Engineering of Natural Language Semantics, JSAI / isAI, Nov 2014, Kanagawa, Japan. pp.144-159, ⟨10.1007/978-3-662-48119-6_11⟩ ; http://www.is.ocha.ac.jp/~bekki/lenls/lenls11/index.html (2014)
|
|
BASE
|
|
Show details
|
|
19 |
Note de lecture sur "Discourse processing" de Manfred Stede
|
|
|
|
In: ISSN: 1248-9433 ; EISSN: 1965-0906 ; Revue TAL ; https://hal.archives-ouvertes.fr/hal-00820178 ; Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2013, 53 (2), pp.214--217 (2013)
|
|
BASE
|
|
Show details
|
|
20 |
Plurals: individuals and sets in a richly typed semantics
|
|
|
|
In: LENSL'10 - 10th Workshop on Logic and Engineering of Natural Semantics of Language, Japanese Symposium for Artifitial Intelligence, International Society for AI - 2013 ; https://hal.inria.fr/hal-00923556 ; LENSL'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 (2013)
|
|
BASE
|
|
Show details
|
|
|
|