Multityped Abstract Categorial Grammars and Their Composition | 0 | 0.34 | 2022 |
A French Version of the FraCaS Test Suite. | 0 | 0.34 | 2020 |
Quantification in frame semantics with binders and nominals of hybrid logic. | 0 | 0.34 | 2017 |
A syntax-semantics interface for Tree-Adjoining Grammars through Abstract Categorial Grammars. | 0 | 0.34 | 2017 |
Interfacing Sentential and Discourse TAG-based Grammars. | 0 | 0.34 | 2016 |
Résumés de thèses. | 0 | 0.34 | 2016 |
Grammaires phrastiques et discursives fondées sur les TAG - une approche de D-STAG avec les ACG. | 0 | 0.34 | 2015 |
An ACG View on G-TAG and Its g-Derivation. | 0 | 0.34 | 2014 |
An ACG Analysis of the G-TAG Generation Process | 0 | 0.34 | 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] | 0 | 0.34 | 2014 |
Constituency and Dependency Relationship from a Tree Adjoining Grammar and Abstract Categorial Grammars Perspective. | 0 | 0.34 | 2013 |
A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars. | 0 | 0.34 | 2013 |
Logic and grammar: essays dedicated to Alain Lecomte on the occasion of his 60th birthday | 7 | 0.89 | 2011 |
About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar | 1 | 0.36 | 2011 |
Logical Aspects of Computational Linguistics - 6th International Conference, LACL 2011, Montpellier, France, June 29 - July 1, 2011. Proceedings | 18 | 1.97 | 2011 |
SDRT and continuation semantics | 4 | 1.02 | 2010 |
Controlling extraction in abstract categorial grammars | 1 | 0.43 | 2010 |
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar | 1 | 0.36 | 2009 |
Exploring a type-theoretic approach to accessibility constraint modelling | 1 | 0.42 | 2008 |
Computing Semantic Representation: Towards ACG Abstract Terms as Derivation Trees | 2 | 0.43 | 2004 |
On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms | 24 | 1.78 | 2004 |
Semantically-based text authoring and the concurrent documentation of experimental protocols | 2 | 0.41 | 2003 |
Generation, Lambek calculus, Montague's semantics and semantic proof nets | 2 | 0.96 | 2000 |
Generation in the Lambek calculus framework: an approach with semantic proof nets | 0 | 0.34 | 2000 |
Lexicalized Proof-Nets and TAGs | 0 | 0.34 | 1998 |