| 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
|
|
|
| 8 |
Sentence meaning as argumentative dialogues
|
|
|
|
In: SEMDIAL: Semantics and Pragmatics of Dialogue ; https://hal.archives-ouvertes.fr/hal-02150083 ; SEMDIAL: Semantics and Pragmatics of Dialogue, Nov 2018, Aix-en-Provence, France. 22nd Workshop on the Semantics and Pragmatics of Dialogue ; https://semdial.hypotheses.org/ (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)
|
|
Abstract:
International audience ; Type-theoretic frameworks for compositional semantics are aimed at producing structured meaning representations of natural language utterances. Using elements of lexical semantics, these frameworks are able to model many complex phenomena related to the polysemy of words and their context-dependent meanings. However, they are just as powerful as the lexical resources they can access. This paper explores ways to create and enrich wide-coverage, weighted lexical resources from crowd-sourced data. Specifically, we investigate how existing rich lexical networks – created and validated by serious games – can be used to infer linguistic coercions along with ranking corresponding to preferences in their interpretations.
|
|
Keyword:
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
|
|
URL: https://hal-lirmm.ccsd.cnrs.fr/lirmm-01916209
https://doi.org/10.1007/978-3-319-93794-6_15
|
|
BASE
|
|
Hide 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
|
|
|
|
|
