Welcome to Sylvain Pogodalla's Home Page
Since November 1st 2002, I am research scientist (CR) at INRIA (INRIA
Lorraine, LORIA Lab) as member
of the
research team Calligramme.
My research interests are:
Projects
- CAuLD (completed): I coordinated
this INRIA ARC
project entitled: Automatic Construction of Logical Representations
of Discourse (Construction Automatique de représentations
Logiques du discours)
- Polymnie:
I'm coordinating this ANR project on parsing and synthesis with
abstract categorial grammars
Here is a list of publications:
- (2011) Sylvain Pogodalla, Jean-Philippe Prost: Logical Aspects of Computational Linguistics, 6th International Conference, LACL 2011, LNCS/LNAI, Springer, 2011, vol. 6736
- (2011) Sylvain Pogodalla, Myriam Quatrini, Christian Retoré: Logic and Grammar. Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday, LNCS/LNAI, Springer, 2011, vol. 6700
- (2011) Philippe de
Groote, Sylvain Pogodalla and Carl Pollard: About parallel and
syntactocentric formalisms: A perspective from the encoding from convergent grammar
into abstract categorial grammar. In Fundamenta Informaticae 106(2-4).
- (2010) Nicholas
Asher and Sylvain Pogodalla: SDRT and continuation semantics.
Proceedings of LENLS VII, Tokyo, Japan. New Frontiers in Artificial Intelligence JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18-19, 2010, Revised Selected Papers. LNCS 6797.
- (2010) Sylvain Pogodalla and Florent Pompigne: Controlling
extraction in Abstract Categorial Grammars. Proceedings of FG 2010,
Copenhagen, Denmark. To appear in LNCS.
- (2010) Nicholas
Asher and Sylvain Pogodalla: A Montagovian treatment
of modal subordination. Proceedings of SALT 20, Vancouver, Canada.
- (2010) Sylvain Pogodalla, Pascal Amsili: Proceedings of the conference on Semantics and Formal Modelling (JSM 2011).
- (2009) Philippe de
Groote, Sylvain Pogodalla and Carl Pollard:
On the
Syntax-Semantics Interface: From Convergent Grammar to Abstract
Categorial Grammar. In Makoto Kanazawa, Hiroakira Ono, and
Ruy de Queiroz, editors, proceedings
of the 16th Workshop on Logic,
Language, Information and Computation (WoLLIC 09), Tokyo, Japan. LNAI/FoLLI
5514.
- (2008) Sylvain Pogodalla: Exploring a
type-theoretic approach to accessibility constraint modelling. In JSM 2008,
Toulouse, France.
- (2007) Sylvain Pogodalla: Ambiguïté de
portée et approche fonctionnelle des Grammaires d'Arbres Adjoints.
In proceedings of TALN 07,
Toulouse, France.
- (2007) Sylvain Pogodalla: Generalizing a
Proof-Theoretic Account of Scope Ambiguity. In proceedings
of IWCS-7,
Tilburg, The Netherlands.
- (2004) Philippe de
Groote and Sylvain
Pogodalla: On
the expressive power of Abstract Categorial Grammars: Representing
context-free formalisms. In Journal
of Logic and Information, volume
13, number 4. (bibtex entry.)
- (2004) Sylvain Pogodalla and Christian Retoré:
Handsome
Non-Commutative Proof-Nets: perfect matchings, series-parallel orders
and Hamiltonian circuits. INRIA Research Report RR-5409. (bibtex entry.)
- (2004) Sylvain Pogodalla: Using
and Extending the ACG technology: Endowing Categorial Grammars with an
Underspecified Semantic Representation. In proceedings
of Categorial Grammars
2004, Montpellier, France. See the
slides of the presentation. (bibtex entry.)
- (2004) Sylvain Pogodalla: Computing
Semantic Representation: Towards ACG Abstract Terms as Derivation Trees.
In proceedings of TAG+7,
Vancouver, Canada. See the slides
of the presentation. (bibtex entry.)
- (2004) Sylvain Pogodalla: Vers
un statut de l'arbre de dérivation : exemples de construction de
répresentations sémantiques pour les Grammaires d'Arbres
Adjoints. In actes de TALN 2004. (bibtex entry.)
- (2003) Caroline Brun, Marc Dymetman, Éric
Fanchon, Stanislas Lhomme and Sylvain Pogodalla: Semantically-based
text authoring and the concurrent documentation of experimental
protocols. In ACM Symposium on Document Engineering -
DocEng 2003, Grenoble, France. (bibtex
entry.)
- (2003) Philippe de
Groote and Sylvain Pogodalla: m-Linear
Context-Free Rewriting Systems as Abstract Categorial Grammars.
In R. T. Oehrle et J. Rogers, editors, proceedings of Mathematics
of Language - MOL 8. See the slides
of the presentation. (bibtex entry.)
- (2001) Sylvain Pogodalla: Réseaux
de preuve et génération pour les grammaires de types
logiques. PhD thesis. Institut National Polytechnique de
Lorraine. See the slides of
the presentation. (bibtex entry.)
- (2000) Sylvain Pogodalla: Generation,
Lambek Calculus, Montague's Semantics and Semantic Proof Nets.
In proceedings of the International Conference on Computational
Linguistics (Coling 2000). (bibtex
entry.)
- (2000) Sylvain Pogodalla: Generation
in the Lambek Calculus Framework: an Approach with Semantic Proof Nets.
In proceedings of the 1st Meeting of the North American Chapter of
the ACL (NAACL 2000). (bibtex entry.)
- (2000) Sylvain Pogodalla: Generation with
Semantic Proof Nets, INRIA Research Report 3878. (bibtex entry.)
- (1999) Sylvain Pogodalla: Génération
à l'aide de réseaux de preuve sémantiques.
In actes de Génération Automatique de Textes (GAT),
Université Stendhal (Grenoble 3). (bibtex
entry.)
- (1998) Sylvain Pogodalla: Lexicalized
Proof Nets in Pomset Logic and TAGs. In Michael Moortgat,
editor, proceedings of Logical Aspects of Computational Linguistics,
volume
2014 of LNCS, edited in 2001. (bibtex
entry.)
Some events I've been organizing:
Links:
Commission des Développements Technologiques
I was head of this committee from 2009 to 2012.
How to contact me:
Address:
LORIA - Calligramme
Bâtiment C
Campus Scientifique
BP239
54506 Vandoeuvre-lès-Nancy
FRANCE
Office: C 302
Tel.: (+33) 3 54 95 84 59
Fax: (+33) 3 54 95 84 01
email: Sylvain.Pogodalla(anti-spam)@loria.fr
