2 |
Pomset logic: a logical and grammatical alternative to the Lambek calculus
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02431876 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
3 |
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
|
|
4 |
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
|
|
5 |
Categorial Proof Nets and Dependency Locality: A New Metric for Linguistic Complexity
|
|
|
|
In: Symposium on Logic and Algorithms in Computational Linguistics ; LACompLing: Logic and Algorithms in Computational Linguistics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01916104 ; LACompLing: Logic and Algorithms in Computational Linguistics, Aug 2018, Stockholm, Sweden. pp.73-86 ; http://staff.math.su.se/rloukanova/LACompLing2018-web/ (2018)
|
|
BASE
|
|
Show details
|
|
6 |
Measuring Linguistic Complexity: Introducing a New Categorial Metric
|
|
|
|
In: Logic and Algorithms in Computational Linguistics 2018, Series: Advances in Intelligent Systems and Computing ; Symposium on Logic and Algorithms in Computational Linguistics (LACompLing 2018) ; https://hal.archives-ouvertes.fr/hal-02146506 ; Symposium on Logic and Algorithms in Computational Linguistics (LACompLing 2018), Aug 2018, Stockholm, Sweden. pp.95-123, ⟨10.1007/978-3-030-30077-7_5⟩ ; http://staff.math.su.se/rloukanova/LACompLing2018-web/ (2018)
|
|
BASE
|
|
Show details
|
|
7 |
L'approche logique des grammaires catégorielles : une syntaxe tournée vers la sémantique
|
|
|
|
In: ISSN: 0182-5887 ; Verbum (Presses Universitaires de Nancy) ; https://hal.archives-ouvertes.fr/hal-02093509 ; Verbum (Presses Universitaires de Nancy), Université de Nancy II, 2018, XL (2), pp.237-267 (2018)
|
|
BASE
|
|
Show details
|
|
9 |
An outline of type-theoretical approaches to lexical semantics
|
|
|
|
In: ISSN: 2299-856X ; EISSN: 2299-8470 ; Journal of Language Modelling ; https://hal.archives-ouvertes.fr/hal-01802968 ; Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2017, 5 (2), pp.165-178. ⟨10.15398/jlm.v5i2.200⟩ (2017)
|
|
BASE
|
|
Show details
|
|
10 |
Special issue on type-theoretical approaches to lexical semantics
|
|
|
|
In: ISSN: 2299-856X ; EISSN: 2299-8470 ; Journal of Language Modelling ; https://hal.archives-ouvertes.fr/hal-01803758 ; France. Journal of Language Modelling, 5 (2 ), 2017 ; http://jlm.ipipan.waw.pl/index.php/JLM/issue/view/16 (2017)
|
|
BASE
|
|
Show details
|
|
11 |
Classifiers, Sorts, and Base Types in the Montagovian Generative Lexicon and Related Type Theoretical Frameworks for Lexical Compositional Semantics
|
|
|
|
In: Modern Perspectives in Type-Theoretical Semantics ; https://hal.archives-ouvertes.fr/hal-01471256 ; Modern Perspectives in Type-Theoretical Semantics, Studies in Linguistics and Philosophy (98), pp.163-188, 2017, 978-3-319-50422-3. ⟨10.1007/978-3-319-50422-3_7⟩ (2017)
|
|
BASE
|
|
Show details
|
|
12 |
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
|
|
13 |
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
|
|
14 |
From logical and linguistic generics to Hilbert’s tau and epsilon quantifiers
|
|
|
|
In: ISSN: 2055-3706 ; IfColog Journal of Logics and their Applications (FLAP) ; https://hal.archives-ouvertes.fr/hal-01803717 ; IfColog Journal of Logics and their Applications (FLAP), College Publications, 2017, Hilbert’s epsilon and tau in Logic, Informatics and Linguistics, 4 (2), pp.231-256 ; http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf (2017)
|
|
BASE
|
|
Show details
|
|
15 |
Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
|
|
|
|
In: ISSN: 2055-3706 ; IfColog Journal of Logics and their Applications (FLAP) ; https://hal.archives-ouvertes.fr/hal-01803760 ; France. IfColog Journal of Logics and their Applications (FLAP), 4 (2), College Publications, 2017 ; http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf (2017)
|
|
BASE
|
|
Show details
|
|
16 |
If sentences could see: Investigating visual information for semantic textual similarity
|
|
|
|
BASE
|
|
Show details
|
|
17 |
Conditions d’assertion de chaque et de tout et règles de déduction du quantificateur universel
|
|
|
|
In: Travaux de linguistique, n 72, 1, 2017-02-03, pp.89-106 (2017)
|
|
BASE
|
|
Show details
|
|
18 |
Quantification in Ordinary Language and Proof Theory
|
|
|
|
In: ISSN: 1281-2463 ; EISSN: 1775-4283 ; Philosophia Scientiae ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01348023 ; Philosophia Scientiae, Editions Kime, 2016, pp.185-205. ⟨10.4000/philosophiascientiae.1163⟩ ; http://www.cairn.info/revue-philosophia-scientiae-2016-1-page-185.htm (2016)
|
|
BASE
|
|
Show details
|
|
20 |
Extended abstracts of the ESSLLI 2015 workshop TYTLES: Types Theory and Lexical Semantics
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01584832 ; Aug 2015, Barcelona, Spain. 2015 (2015)
|
|
BASE
|
|
Show details
|
|
|
|