| 1 |
Pomset logic: a logical and grammatical alternative to the Lambek calculus
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02431876 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
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
|
|
|
| 3 |
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
|
|
|
| 4 |
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
|
|
|
| 5 |
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
|
|
|
| 6 |
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
|
|
|
| 7 |
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
|
|
|
| 8 |
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
|
|
|
| 9 |
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
|
|
|
| 10 |
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
|
|
|
| 11 |
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
|
|
|
| 12 |
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
|
|
|
| 13 |
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
|
|
|
| 14 |
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
|
|
|
| 15 |
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
|
|
|
| 16 |
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
|
|
|
| 17 |
Are Books Events? Ontological Inclusions as Coercive Sub-Typing, Lexical Transfers as Entailment
|
|
|
|
In: 12th annual International Workshop on Logic and Engineering of Natural Language Semantics ; LENLS: Logic and Engineering of Natural Language Semantics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01311120 ; LENLS: Logic and Engineering of Natural Language Semantics, Nov 2015, Tokyo, Japan. pp.74-87 ; http://www.is.ocha.ac.jp/~bekki/lenls/lenls12/index.html (2015)
|
|
BASE
|
|
Show details
|
|
|
| 18 |
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
|
|
|
| 19 |
Quantifier scope: a formal and experimental study
|
|
|
|
In: 9e Colloque des Jeunes Chercheurs en Sciences Cognitives ; CJC-SC: Colloque des Jeunes Chercheurs en Sciences Cognitives ; https://hal.archives-ouvertes.fr/hal-01194934 ; CJC-SC: Colloque des Jeunes Chercheurs en Sciences Cognitives, Jun 2015, Compiègne, France ; http://cjcsc.sciencesconf.org (2015)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
A Case Study of Copredication over a Deverbal that Reconciles Empirical Data with Computational Semantics
|
|
|
|
In: 12th annual International Workshop on Logic and Engineering of Natural Language Semantics ; LENLS: Logic and Engineering of Natural Language Semantics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01311129 ; LENLS: Logic and Engineering of Natural Language Semantics, Nov 2015, Tokyo, Japan ; http://www.is.ocha.ac.jp/~bekki/lenls/lenls12/index.html (2015)
|
|
BASE
|
|
Show details
|
|
|
|
|
