Sylvain Pogodalla

Affiliations:
  • INRIA, France


According to our database1, Sylvain Pogodalla authored at least 28 papers between 1998 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Multityped Abstract Categorial Grammars and Their Composition.
Proceedings of the Logic, Language, Information, and Computation, 2022

Quantification Annotation in ISO 24617-12, Second Draft.
Proceedings of the Thirteenth Language Resources and Evaluation Conference, 2022

2020
A French Version of the FraCaS Test Suite.
Proceedings of The 12th Language Resources and Evaluation Conference, 2020

2017
A syntax-semantics interface for Tree-Adjoining Grammars through Abstract Categorial Grammars.
J. Lang. Model., 2017

Quantification in frame semantics with binders and nominals of hybrid logic.
J. Lang. Model., 2017

2016
Résumés de thèses.
Trait. Autom. des Langues, 2016

ACGtk : un outil de développement et de test pour les grammaires catégorielles abstraites (ACG TK : a Toolkit to Develop and Test Abstract Categorial Grammars ).
Proceedings of the Actes de la conférence conjointe JEP-TALN-RECITAL 2016. volume 5 : Démonstrations, 2016

Interfacing Sentential and Discourse TAG-based Grammars.
Proceedings of the 12th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+12), June 29, 2016

2015
Grammaires phrastiques et discursives fondées sur les TAG : une approche de D-STAG avec les ACG.
Proceedings of the Actes de la 22e conférence sur le Traitement Automatique des Langues Naturelles. Articles longs, 2015

2014
Text Generation: Reexamining G-TAG with Abstract Categorial Grammars (Génération de textes : G-TAG revisité avec les Grammaires Catégorielles Abstraites) [in French].
Proceedings of the Traitement Automatique des Langues Naturelles, 2014

An ACG View on G-TAG and Its g-Derivation.
Proceedings of the Logical Aspects of Computational Linguistics, 2014

An ACG Analysis of the G-TAG Generation Process.
Proceedings of the INLG 2014, 2014

2013
A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars.
Proceedings of the New Frontiers in Artificial Intelligence, 2013

Constituency and Dependency Relationship from a Tree Adjoining Grammar and Abstract Categorial Grammars Perspective.
Proceedings of the Sixth International Joint Conference on Natural Language Processing, 2013

2011
About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar.
Fundam. Informaticae, 2011

2010
SDRT and Continuation Semantics.
Proceedings of the New Frontiers in Artificial Intelligence, 2010

Controlling Extraction in Abstract Categorial Grammars.
Proceedings of the Formal Grammar, 2010

2009
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar.
Proceedings of the Logic, 2009

2008
Exploring a type-theoretic approach to accessibility constraint modelling
CoRR, 2008

2007
Ambiguïté de portée et approche fonctionnelle des grammaires d'arbres adjoints.
Proceedings of the Actes de la 14ème conférence sur le Traitement Automatique des Langues Naturelles. Articles longs, 2007

2004
On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms.
J. Log. Lang. Inf., 2004

Vers un statut de l'arbre de dérivation : exemples de construction de representations sémantiques pour les Grammaires d'Arbres Adjoints.
Proceedings of the Actes de la 11ème conférence sur le Traitement Automatique des Langues Naturelles. Articles longs, 2004

Computing Semantic Representation: Towards ACG Abstract Terms as Derivation Trees.
Proceedings of the 7th International Workshop on Tree Adjoining Grammar and Related Formalisms, 2004

2003
Semantically-based text authoring and the concurrent documentation of experimental protocols.
Proceedings of the 2003 ACM Symposium on Document Engineering, 2003

2001
Réseaux de preuve et génération pour les grammaires de types logiques. (Proof Nets and Generation for Type-Logical Grammars).
PhD thesis, 2001

2000
Generation, Lambek Calculus, Montague's Semantics and Semantic Proof Nets.
Proceedings of the COLING 2000, 18th International Conference on Computational Linguistics, Proceedings of the Conference, 2 Volumes, July 31, 2000

Generation in the Lambek Calculus Framework: an Approach with Semantic Proof Nets.
Proceedings of the 6th Applied Natural Language Processing Conference, 2000

1998
Lexicalized Proof-Nets and TAGs.
Proceedings of the Logical Aspects of Computational Linguistics, 1998


  Loading...