Name
Affiliation
Papers
SYLVAIN POGODALLA
LORIA/INRIA Nancy — Grand Est, France
25
Collaborators
Citations 
PageRank 
24
63
13.76
Referers 
Referees 
References 
63
88
99
Title
Citations
PageRank
Year
Multityped Abstract Categorial Grammars and Their Composition00.342022
A French Version of the FraCaS Test Suite.00.342020
Quantification in frame semantics with binders and nominals of hybrid logic.00.342017
A syntax-semantics interface for Tree-Adjoining Grammars through Abstract Categorial Grammars.00.342017
Interfacing Sentential and Discourse TAG-based Grammars.00.342016
Résumés de thèses.00.342016
Grammaires phrastiques et discursives fondées sur les TAG - une approche de D-STAG avec les ACG.00.342015
An ACG View on G-TAG and Its g-Derivation.00.342014
An ACG Analysis of the G-TAG Generation Process00.342014
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]00.342014
Constituency and Dependency Relationship from a Tree Adjoining Grammar and Abstract Categorial Grammars Perspective.00.342013
A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars.00.342013
Logic and grammar: essays dedicated to Alain Lecomte on the occasion of his 60th birthday70.892011
About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar10.362011
Logical Aspects of Computational Linguistics - 6th International Conference, LACL 2011, Montpellier, France, June 29 - July 1, 2011. Proceedings181.972011
SDRT and continuation semantics41.022010
Controlling extraction in abstract categorial grammars10.432010
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar10.362009
Exploring a type-theoretic approach to accessibility constraint modelling10.422008
Computing Semantic Representation: Towards ACG Abstract Terms as Derivation Trees20.432004
On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms241.782004
Semantically-based text authoring and the concurrent documentation of experimental protocols20.412003
Generation, Lambek calculus, Montague's semantics and semantic proof nets20.962000
Generation in the Lambek calculus framework: an approach with semantic proof nets00.342000
Lexicalized Proof-Nets and TAGs00.341998