A type-logical treebank for French

Autor: Richard Moot

Publikováno v: Journal of Language Modelling, Vol 3, Iss 1 (2015)

The goal of the current paper is to describe the TLGbank, a treebank of type-logical proof semi-automatically extracted from the French Treebank. Though the framework chosen for the treebank are multimodal type-logical grammars, we have ensured that

Externí odkaz: https://doaj.org/article/22ebdbb2af644f43864608c5f40b9678

Partial Orders, Residuation, and First-Order Linear Logic

Autor: Richard Moot

Publikováno v: Natural Language Processing in Artificial Intelligence
Natural Language Processing in Artificial Intelligence, 939, Springer, pp.37-67, 2021, Studies in Computational Intelligence, 978-3-030-63786-6
Studies in Computational Intelligence ISBN: 9783030637866
HAL

International audience; We will investigate proof-theoretic and linguistic aspects of first-order linear logic. We will show that adding partial order constraints in such a way that each sequent defines a unique linear order on the antecedent formula

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::daba4a6da81479bc9c9f90fb3fff5c5a
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02916101

Logical foundations for hybrid type-logical grammars

Autor: Richard Moot, Symon Jory Stevens-Guille

Publikováno v: Journal of Logic, Language and Information
Journal of Logic, Language and Information, Springer Verlag, In press

International audience; This paper explores proof-theoretic aspects of hybrid type-logical grammars , a logic combining Lambek grammars with lambda grammars. We prove some basic properties of the calculus, such as normalisation and the subformula pro

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0978aa685bb9b9362ca32402636e349

Deductive Parsing with an Unbounded Type Lexicon

Autor: Konstantinos Kogkalidis, Michael Moortgat, Richard Moot, Giorgos Tziafas

Publikováno v: 3rd Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science
SEMSPACE
SEMSPACE, Aug 2019, Riga, Latvia
HAL

« Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science (SemSpace2019) is the third in a series of workshops. Previous editions were held in 2016 (https://sites.google.com/site/semspworkshop/), co-located with the 13th Internati

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b83cc1b1d4a5fae3a218c4bc890f66f2
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02313572/document

A computational account of virtual travelers in the Montagovian generative lexicon

Autor: Anaïs Lefeuvre-Halftermeyer, Christian Retoré, Richard Moot

Publikováno v: The Semantics of Dynamic Space in French
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⟩

International audience; This chapter deals with the automated formal analysis of a specfic interpretation of fictive motion named the "virtual traveler", involved for instance in the French equivalents of a sentence like The path descends for two hou

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3abbd73f3469f77f53b62e4043e80128
https://hal.archives-ouvertes.fr/hal-02093536