Alain Lecomte

Recherche

Domaine de recherche principal : sémantique formelle et logique

Projets

Projet de recherche PRELUDE, financé par l’ANR :

un projet qui réunit l’UMR 7023, l’équipe SIGNES du LaBRI et de l’INRIA Futurs, l’équipe CALLIGRAMME du LORIA et l’Institut de Mathématiques de Luminy autour de l’utilisation des concepts de la ludique dans le domaine de la pragmatique théorique et de ceux de la théorie des continuations dans le domaine de la sémantique dynamique.

voir le site http://anr-prelude.fr/

Publications

A general paper on proof theory and natural language syntax :

Traitement Automatique des Langues volume 37 numéro 2 pp. 1—38, 1996 Grammaire et théorie de la preuve : une introduction

Books edited by A. Lecomte : Word Order in Categorial Grammar/L’ordre des mots dans les grammaires catégorielles, Actes du colloque DYANA, ed. ADOSA, Clermont-Ferrand, 1992 Logical Aspects of Computational Linguistics, proceedings of the Second International Conference, LACL97, Nancy, France, September 1997(with F. Lamarche and G. Perrier), LNCS-LNAI 1582, Springer-Verlag ed., 1999

Available papers by A. Lecomte :

 Proofnets and Dependencies, COLING, Nantes, 1992

 Towards Efficient Parsing with Proofnets, EACL, Utrecht, 1993

 Non-Commutative Linear Logic and Linguistic Applications, Proceedings of Linear Logic, Lambek calculus and linguistic applications, DYANA Occasional Publications, Rome, 1993

 A Linear-Logical Approach of some Syntactical and Semantical Phenomena in Romance Languages, Proceedings of SEPLN, Cordoba, 1994

 Une descendance des systèmes de Lesniewski : le calcul de Lambek, de la grammaire logique aux grammaires de logique des types, in Stanislas Lesniewski aujourd’hui, sous la direction de Denis Miéville et Denis Vernant, Recherches sur la Philosophie et le Langage, numero 16, 1995

 Deducing Meaning in Linear Logic, Workshop on Thematic Roles and Argument Structure, Barcelone, 1995

 Prosodie et calcul,Traitement Automatique des Langues volume 38 numéro 1 pp. 135—153, 1997

 Logical Aspects of Computational Linguistics (LACL97) : Preface.

 Partial Proof-Nets, Hybrid Logics and Minimalist Representations, in (J. Rogers ed.) Proceedings of MOL6, Orlando, Florida, july 1999

 Rebuilding MP on a Logical Ground, in Research on Language and Computation, vol 2, n°1, Kluwer, 2004, pp 27-55

 Partial Proof-Nets, Hybrid Logics and Minimalist Representations, in Grammars vol.3, numéro 2-3, Kluwer, 2001, pp243-257,

 Categorial Minimalism, in Logical Aspects of Computational Linguistics (M. Moortgat, ed), LNAI 2014, Springer, 2001, pp 143-158,

 Semantic Representations in Logic for Minimalism, in Proceedings of the first Workshop on Logic, Language and Information, Instituto de Logica, Lenguaje e Informacion, University of Sevilla, 29-30 nov. et 1 décembre 2000, pp 155-162,

 Logic for Dialogue, to appear in 2003 in a volume edited by J. Caelen, D. Vernant, D. Vanderveken, PDF, Kluwer.

 A Computational Approach to Minimalism, Proceedings of ICON-2003, International Conference on Natural Language, published by the Central Institute of Indian Languages, Mysore, Inde, december 2003, pp 20-31,

 Derivations as Proofs : a Logical Approach to Minimalism, Proceedings of CG’04, Montpellier, juin 2004

 Categorial Grammar for Minimalism, Language and Grammar : Studies in Mathematical Linguistics and Natural Language, Casadio, Scott, Seely eds. CSLI Lecture Notes number 168, pp 163-188, PDF, Stanford, USA, 2005

with G. Caelen-Haumon :

 L’intégration de la prosodie dans une syntaxe catégorielle, in Actes des Journées TALN 95, Marseille, 1995, with G. G. Bes

 Semantic features in a generic lexicon, in Computational Lexical Semantics (P. St Dizier and M. Viegas, eds) Cambridge University Press, 1994

with C. Retoré :

 Pomset logic as an alternative categorial grammar. Formal Grammar 95, Barcelona, August 95.

 Words as Modules : a Lexicalised Grammar in the framework of Linear Logic Proof Nets. in (C. Martin-Vide ed.) Mathematical and Computational Analysis of Natural Language, John Benjamins, 1998

 Réseaux syntaxiques et logiques de ressources, TALN 97, Grenoble, 199

 Towards a Minimal Logic for Minimalism, Formal Grammar 99, Utrecht, 1999

 Extending Lambek grammars : a logical account of minimalist grammars, Proceedings of the 39th meeting of the Association for Computational Linguistics,ACL 2001, Toulouse, juillet 2001,pp 354-361 PDF présentation PowerPoint (présentation mise à jour en mars 2002, version Dublin)

 Bi-grammars, a logical system for syntax, semantics and their correspondence, Formal Grammar 2002, Trento, 2002

with Patrick Blackburn, Marc Dymetman, Aarne Ranta, Christian Retoré, and Eric Villemonte de la Clergerie :

 Logical Aspects of Computational Linguistics : an introduction LACL’97, LNCS, LNAI numero 1328, Springer Verlag ed.

with A. Nait-Abdallah :

 Un modèle de raisonnement avec propositions implicites, in Actes des Journées Nationales sur les Modèles de Raisonnement, JNMR’03, Institut Henri Poincaré, Paris, novembre 2003, pp 201-211

 On expressing vague quantification and scalar implicatures in the logic of partial information, Proceedings of LACL’05 (Blache, Bousquets, Moot, Stabler eds.) LNAI 3294, Springer, 2005

with Houda Anoun :

 Logical Grammars with Emptyness, Proceedings of the 11th conference Formal Grammar’06, edited by Paola Monachesi, Gerald Penn, Georgio Satta and Shuly Wintner, published by CSLI Publications and FoLLI, Malaga, august 2006, pp. 15-29

 Linear Grammars with Labels, version remaniée du précédent, à paraître en 2007 à CSLI Publications.

À lire dans la même rubrique :

• Enseignement / Teaching