Accéder directement au contenu

Christian Retoré

4
Documents
Identifiants chercheurs

Présentation

After a PhD in mathematical logic supervised by Jean-Yves Girard i discovered the applications of linear logic and type theory to natural language syntax (Lambek grammars) and semantics (à la Montague). I later focused on logic applied to semantics (compositonal semantics and lexical semantics with variables types) . More recently i have been studying the expression of logical operators in natural langage (in particular quantifiers), and i am planning to study the relation between natural language semantics and logical argumentation — and on a par extending and proving mathematical properties of the involved logical models. Positions: Professeur des universités, section informatique (U. Bordeaux 2003-2014, U. Montpellier 2014->) Chercheur INRIA (1994-1997 Nancy, Rennes 1997-2002, Bordeaux 2002-2003) Diploma: Habilitation à diriger des recherches en informatique (U. Nantes, 2002) Doctorat de mathématiques (U. Paris 7 Denis Diderot, 1993, dir. J.-Y. Girard)
After a PhD in mathematical logic supervised by Jean-Yves Girard i discovered the applications of linear logic and type theory to natural language syntax (Lambek grammars) and semantics (à la Montague). I later focused on logic applied to semantics (compositonal semantics and lexical semantics with variables types) . More recently i have been studying the expression of logical operators in natural langage (in particular quantifiers), and i am planning to study the relation between natural language semantics and logical argumentation — and on a par extending and proving mathematical properties of the involved logical models. Positions: Professeur des universités, section informatique (U. Bordeaux 2003-2014, U. Montpellier 2014->) Chercheur INRIA (1994-1997 Nancy, Rennes 1997-2002, Bordeaux 2002-2003) Diploma: Habilitation à diriger des recherches en informatique (U. Nantes, 2002) Doctorat de mathématiques (U. Paris 7 Denis Diderot, 1993, dir. J.-Y. Girard)

Publications

1038646
Image document

A proof system for dialogical anaphora resolution

 Davide Catta , Richard Moot , Christian Retoré , Symon Jory Stevens-Guille
AI3 2022 - 5th Workshop on Advances in Argumentation in Artificial Intelligence, Nov 2022, Udine, Italy
Communication dans un congrès lirmm-03863462v1
Image document

Inferential Semantics as Argumentative Dialogues

 Davide Catta , Luc Pellissier , Christian Retoré
DCAI 2020 - 17th International Conference on Distributed Computing and Artificial Intelligence, Jun 2020, L´Aquila, Italy. pp.72-81, ⟨10.1007/978-3-030-53829-3_7⟩
Communication dans un congrès hal-02922646v1
Image document

Sentence meaning as argumentative dialogues

 Davide Catta , Alda Mari , Christian Retoré
SEMDIAL: Semantics and Pragmatics of Dialogue, Nov 2018, Aix-en-Provence, France. , 22nd Workshop on the Semantics and Pragmatics of Dialogue
Poster de conférence hal-02150083v1
Image document

Dialogical Argumentation and Textual Entailment

 Davide Catta , Richard Moot , Christian Retoré
Natural Language Processing in Artificial Intelligence—NLPinAI 2020, 939, Springer, pp.191-226, 2021, Studies in Computational Intelligence, 978-3030637866. ⟨10.1007/978-3-030-63787-3_7⟩
Chapitre d'ouvrage hal-02915526v2