Philippe de Groote

55 papers A* 2A 2B 10C 3Misc 3Journal 9Unranked 22
YearRankTypeTitle / Venue / Authors
2023 — conf
Extending Abstract Categorial Grammars with Feature Structures: Theory and Practice.
LENLS
Philippe de Groote, Maxime Guillaume, Agathe Helman, Sylvain Pogodalla, Raphaël Salmon
2023 — conf
On the Semantics of Dependencies: Relative Clauses and Open Clausal Complements.
LENLS
Philippe de Groote
2022 — conf
Deriving Formal Semantic Representations from Dependency Structures.
LENLS
Philippe de Groote
2022 C conf
Multityped Abstract Categorial Grammars and Their Composition.
WoLLIC
Pierre Ludmann, Sylvain Pogodalla, Philippe de Groote
2022 B conf
Quantification Annotation in ISO 24617-12, Second Draft.
LREC
Harry Bunt, Maxime Amblard, Johan Bos, Karën Fort, Bruno Guillaume, Philippe de Groote, Chuyuan Li, Pierre Ludmann, Michel Musiol, Siyana Pavlova, Guy Perrier, Sylvain Pogodalla
2021 — conf
Embedding Intentional Semantic into Inquisitive Semantics.
MOL
Philippe de Groote, Valentin D. Richard
2021 J jnl
Introducing ⦇ 
Theor. Comput. Sci.
Jirka Marsík, Maxime Amblard, Philippe de Groote
2020 B conf
A French Version of the FraCaS Test Suite.
LREC
Maxime Amblard, Clément Beysson, Philippe de Groote, Bruno Guillaume, Sylvain Pogodalla
2020 — conf
On Dialogue Modeling: A Dynamic Epistemic Inquisitive Approach.
JSAI-isAI Workshops
Maria Boritchev, Philippe de Groote
2017 — ed.
Proceedings of the 15th Meeting on the Mathematics of Language, MOL 2017, London, UK, July 13-14, 2017
MOL
Makoto Kanazawa, Philippe de Groote, Mehrnoosh Sadrzadeh
2016 — ed.
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) - 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings
LACL
Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré
2015 — conf
Abstract Categorial Parsing as Linear Logic Programming.
MOL
Philippe de Groote
2015 — conf
On Logical Relations and Conservativity.
NLCS@ICALP/LICS
Philippe de Groote
2015 C conf
Proof-Theoretic Aspects of the Lambek-Grishin Calculus.
WoLLIC
Philippe de Groote
2014 — conf
A Type-Logical Account of Quantification in Event Semantics.
JSAI-isAI Workshops
Philippe de Groote, Yoad Winter
2013 J jnl
A Note on Intensionalization.
J. Log. Lang. Inf.
Philippe de Groote, Makoto Kanazawa
2013 — conf
A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars.
JSAI-isAI Workshops
Laurence Danlos, Philippe de Groote, Sylvain Pogodalla
2012 B ed.
Formal Grammar - 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers
FG
Philippe de Groote, Mark-Jan Nederhof
2011 J jnl
About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar.
Fundam. Informaticae
Philippe de Groote, Sylvain Pogodalla, Carl Pollard
2011 B ed.
Formal Grammar - 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers
FG
Philippe de Groote, Markus Egg, Laura Kallmeyer
2011 — conf
Implicit Arguments: Event Modification or Option Type Categories?
Amsterdam Colloquium on Logic, Language and Meaning
Chris Blom, Philippe de Groote, Yoad Winter, Joost Zwarts
2010 — conf
Presupposition Accommodation as Exception Handling.
SIGDIAL Conference
Philippe de Groote, Ekaterina Lebedeva
2009 C conf
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar.
WoLLIC
Philippe de Groote, Sylvain Pogodalla, Carl Pollard
2007 B conf
On Two Extensions of Abstract Categorial Grammars.
LPAR
Philippe de Groote, Sarah Maarek, Ryo Yoshinaka
2004 B conf
Higher-Order Matching in the Linear lambda-calculus with Pairing.
CSL
Philippe de Groote, Sylvain Salvati
2004 J jnl
On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms.
J. Log. Lang. Inf.
Philippe de Groote, Sylvain Pogodalla
2004 A* conf
Vector Addition Tree Automata.
LICS
Philippe de Groote, Bruno Guillaume, Sylvain Salvati
2003 — conf
On the Complexity of Higher-Order Matching in the Linear lambda-Calculus.
RTA
Sylvain Salvati, Philippe de Groote
2002 J jnl
Classical Non-Associative Lambek Calculus.
Stud Logica
Philippe de Groote, François Lamarche
2002 J jnl
On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-Conversions.
Inf. Comput.
Philippe de Groote
2002 — conf
Tree-Adjoining Grammars as Abstract Categorial Grammars.
TAG+
Philippe de Groote
2001 — ed.
Logical Aspects of Computational Linguistics, 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings
LACL
Philippe de Groote, Glyn Morrill, Christian Retoré
2001 — conf
Stochastic Lambek Categorial Grammars.
FGMOL
Guillaume Bonfante, Philippe de Groote
2001 — conf
Strong Normalization of Classical Natural Deduction with Disjunction.
TLCA
Philippe de Groote
2001 A* conf
Towards Abstract Categorial Grammars.
ACL
Philippe de Groote
2000 — conf
Linear Higher-Order Matching Is NP-Complete.
RTA
Philippe de Groote
2000 B conf
Proof-Search in Implicative Linear Logic as a Matching Problem.
LPAR
Philippe de Groote
1999 A conf
A dynamic programming approach to categorial deduction.
CADE
Philippe de Groote
1999 J jnl
An Algebraic Correctness Criterion for Intuitionistic Multiplicative Proof-Nets.
Theor. Comput. Sci.
Philippe de Groote
1999 — conf
On the Strong Normalisation of Natural Deduction with Permutation-Conversions.
RTA
Philippe de Groote
1999 B conf
The Non-Associative Lambek Calculus with Product in Polynomial Time.
TABLEAUX
Philippe de Groote
1998 J jnl
A Note on Kobayashi's and Yonezawa's "Asynchronous Communication Model Based on Linear Logic".
Formal Aspects Comput.
Philippe de Groote, Guy Perrier
1998 J jnl
An environment machine for the lambda-mu-calculus.
Math. Struct. Comput. Sci.
Philippe de Groote
1997 — conf
A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders.
RTA
Denis Béchet, Philippe de Groote, Christian Retoré
1997 Misc conf
An Algebraic Correctness Criterion for Intuitionistic Proof-Nets.
LFCS
Philippe de Groote
1997 — ed.
Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings
TLCA
Philippe de Groote
1996 — conf
Constructing Different Phonological Bracketings from a Proof Net.
LACL
Denis Béchet, Philippe de Groote
1995 — conf
A Simple Calculus of Exception Handling.
TLCA
Philippe de Groote
1995 B conf
Linear Logic with Isabelle: Pruning the Proof Search Tree.
TABLEAUX
Philippe de Groote
1994 — conf
A CPS-Translation of the Lambda-µ-Calculus.
CAAP
Philippe de Groote
1994 B conf
On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory of Sequential Control.
LPAR
Philippe de Groote
1994 Misc conf
Strong Normalization in a Non-Deterministic Typed Lambda-Calculus.
LFCS
Philippe de Groote
1993 A conf
Defining Lambda-Typed Lambda-Calculi by Axiomatizing the Typing Relation.
STACS
Philippe de Groote
1993 — conf
The Conservation Theorem revisited.
TLCA
Philippe de Groote
1992 Misc conf
Denotations for Classical Proofs - Preliminary Results.
LFCS
Philippe de Groote