10 code implementations • Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024) 2024 • Maximos Skandalis, Richard Moot, Christian Retoré, Simon Robillard
DACCORD consists of 1034 pairs of sentences and is the first dataset exclusively dedicated to this task and covering among others the topic of the Russian invasion in Ukraine.
no code implementations • 17 Aug 2020 • Davide Catta, Richard Moot, Christian Retoré
In this chapter, we introduce a new dialogical system for first order classical logic which is close to natural language argumentation, and we prove its completeness with respect to usual classical validity.
no code implementations • 13 May 2016 • Richard Moot, Christian Retoré
This paper is a reflexion on the computability of natural language semantics.
no code implementations • 18 Jun 2014 • Christian Retoré
In the sequel, we propose a treatment of determiners and quantifiers as Hilbert terms in a richly typed system that we initially developed for lexical semantics, using a many sorted logic for semantical representations.
no code implementations • 25 Jan 2014 • Livy-Maria Real-Coelho, Christian Retoré
We propose a lexical account of action nominals, in particular of deverbal nominalisations, whose meaning is related to the event expressed by their base verb.
no code implementations • 25 Jan 2014 • Jean Gillibert, Christian Retoré
We seize the opportunity of the publication of selected papers from the \emph{Logic, categories, semantics} workshop in the \emph{Journal of Applied Logic} to survey some current trends in logic, namely intuitionistic and linear type theories, that interweave categorical, geometrical and computational considerations.
no code implementations • 3 Jan 2014 • Bruno Mery, Richard Moot, Christian Retoré
We developed a type-theoretical framework for natural lan- guage semantics that, in addition to the usual Montagovian treatment of compositional semantics, includes a treatment of some phenomena of lex- ical semantic: coercions, meaning, transfers, (in)felicitous co-predication.
no code implementations • 11 Dec 2013 • Bruno Mery, Christian Retoré
We propose a cognitively and linguistically motivated set of sorts for lexical semantics in a compositional setting: the classifiers in languages that do have such pronouns.
no code implementations • 8 Nov 2013 • Christian Retoré
As the etymology of the word shows, logic is intimately related to language, as exemplified by the work of philosophers from Antiquity and from the Middle-Age.
no code implementations • 2 Oct 2013 • Roberto Bonato, Christian Retoré
In the present paper we show that Lambek grammars, possibly with product, are learnable from proof frames that are incomplete proof nets.
no code implementations • 4 Sep 2013 • Bruno Mery, Christian Retoré
The integration of lexical semantics and pragmatics in the analysis of the meaning of natural lan- guage has prompted changes to the global framework derived from Montague.
no code implementations • 6 Feb 2013 • Christian Retoré
The variation of word meaning according to the context leads us to enrich the type system of our syntactical and semantic analyser of French based on categorial grammars and Montague semantics (or lambda-DRT).
no code implementations • 21 Jan 2013 • Christian Retoré
We present a framework, named the Montagovian generative lexicon, for computing the semantics of natural language sentences, expressed in many sorted higher order logic.