Guy Perrier

Proceedings of the Traitement Automatique des Langues Naturelles, 2013

2012

Annotation sémantique du French Treebank à l'aide de la réécriture modulaire de graphes (Semantic Annotation of the French Treebank using Modular Graph Rewriting) [in French].

[BibT_eX]

[DOI]

Proceedings of the Joint Conference JEP-TALN-RECITAL 2012, 2012

Grew : un outil de réécriture de graphes pour le TAL (Grew: a Graph Rewriting Tool for NLP) [in French].

[BibT_eX]

[DOI]

Proceedings of the Joint Conference JEP-TALN-RECITAL 2012, 2012

2011

Enrichissement de structures en dépendances par réécriture de graphes (Dependency structure enrichment using graph rewriting).

[BibT_eX]

[DOI]

Proceedings of the Actes de la 18e conférence sur le Traitement Automatique des Langues Naturelles. Articles longs, 2011

Lexical Disambiguation in LTAG Using Left Context.

[BibT_eX]

[DOI]

Proceedings of the Human Language Technology Challenges for Computer Science and Linguistics, 2011

Parsing Coordination Extragrammatically.

[BibT_eX]

[DOI]

Valmi Dufour-Lussier

Proceedings of the Human Language Technology Challenges for Computer Science and Linguistics, 2011

Modular Graph Rewriting to Compute Semantics.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Computational Semantics, 2011

2010

Motifs de graphe pour le calcul de dépendances syntaxiques complètes.

[BibT_eX]

[DOI]

Jonathan Marchand

Proceedings of the Actes de la 17e conférence sur le Traitement Automatique des Langues Naturelles. Articles longs, 2010

LEOPAR, un analyseur syntaxique pour les grammaires d'interaction.

[BibT_eX]

[DOI]

Proceedings of the Actes de la 17e conférence sur le Traitement Automatique des Langues Naturelles. Démonstrations, 2010

Réécriture de graphes de dépendances pour l'interface syntaxe-sémantique.

[BibT_eX]

[DOI]

Proceedings of the Actes de la 17e conférence sur le Traitement Automatique des Langues Naturelles. Articles longs, 2010

2009

Analyse en dépendances à l'aide des grammaires d'interaction.

[BibT_eX]

[DOI]

Jonathan Marchand

Proceedings of the Actes de la 16ème conférence sur le Traitement Automatique des Langues Naturelles. Articles courts, 2009

An Interaction Grammar of Interrogative and Relative Clauses in French.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in Natural Language Processing, 2009

2008

Interaction Grammars

[BibT_eX]

[DOI]

CoRR, 2008

A Toolchain for Grammarians.

[BibT_eX]

[DOI]

Proceedings of the COLING 2008, 2008

2006

Modélisation de la coordination dans les grammaires d'interaction.

[BibT_eX]

[DOI]

Joseph Le Roux

Trait. Autom. des Langues, 2006

Lexical Disambiguation with Polarities and Automata.

[BibT_eX]

[DOI]

Guillaume Bonfante

Joseph Le Roux

Proceedings of the Implementation and Application of Automata, 2006

Extraction d'information de sous-catégorisation à partir des tables du LADL.

[BibT_eX]

[DOI]

Proceedings of the Actes de la 13ème conférence sur le Traitement Automatique des Langues Naturelles. Articles longs, 2006

2004

La sémantique dans les grammaires d'interaction.

[BibT_eX]

[DOI]

Proceedings of the Actes de la 11ème conférence sur le Traitement Automatique des Langues Naturelles. Articles longs, 2004

Polarization and abstraction of grammatical formalisms as methods for lexical disambiguation.

[BibT_eX]

[DOI]

Guillaume Bonfante

Proceedings of the COLING 2004, 2004

2003

Les grammaires d'interaction. (Interaction Grammars).

[BibT_eX]

[DOI]

, 2003

2002

Descriptions d'arbres avec polarités : les Grammaires d'Interaction.

[BibT_eX]

[DOI]

Proceedings of the Actes de la 9ème conférence sur le Traitement Automatique des Langues Naturelles. Articles longs, 2002

2001

Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2001

2000

From intuitionistic proof nets to Interaction Grammars.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Tree Adjoining Grammar and Related Frameworks, 2000

Interaction Grammars.

[BibT_eX]

[DOI]

Proceedings of the COLING 2000, 18th International Conference on Computational Linguistics, Proceedings of the Conference, 2 Volumes, July 31, 2000

1999

A PSPACE-complete Fragment of Second-order Linear Logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1999

Labelled Proof Nets for the Syntax and Semantics of Natural Languages.

[BibT_eX]

[DOI]

Log. J. IGPL, 1999

1998

Corrigendum to Galmiche's and Perrier's "On Proof Normalization in Linear Logic".

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1998

Concurrent programming as proof net construction.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1998

A Note on Kobayashi's and Yonezawa's "Asynchronous Communication Model Based on Linear Logic".

[BibT_eX]

[DOI]

Philippe de Groote

Formal Aspects Comput., 1998

1997

A Decidable Fragment of Second Order Linear Logic.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997

1995

De la construction de preuves à la programmation parallèle en logique linéaire. (From Proof Construction to Concurrent Programming in Linear Logic).

[BibT_eX]

[DOI]

PhD thesis, 1995

1994

On Proof Normalization in Linear Logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1994

Foundations of Proof Search Strategies Design in Linear Logic.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

1992

A Procedure for Automatic Proof Nets Construction.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning, 1992

Automated Deduction in Additive and Multiplicative Linear Logic.

[BibT_eX]

[DOI]