Philippe de Groote

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 8

Top Topics

Semantic Representations

Logic Programming

Top Venues

JSAI-isAI Workshops

Publications

Philippe de Groote
On the Semantics of Dependencies: Relative Clauses and Open Clausal Complements. LENLS (2023)
Philippe de Groote, Maxime Guillaume, Agathe Helman, Sylvain Pogodalla, Raphaël Salmon
Extending Abstract Categorial Grammars with Feature Structures: Theory and Practice. LENLS (2023)
Pierre Ludmann, Sylvain Pogodalla, Philippe de Groote
Multityped Abstract Categorial Grammars and Their Composition. WoLLIC (2022)
Philippe de Groote
Deriving Formal Semantic Representations from Dependency Structures. LENLS (2022)
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
Quantification Annotation in ISO 24617-12, Second Draft. LREC (2022)
Jirka Marsík, Maxime Amblard, Philippe de Groote
-calculus for effectful computation. Theor. Comput. Sci. 869 (2021)
Maxime Amblard, Clément Beysson, Philippe de Groote, Bruno Guillaume, Sylvain Pogodalla
A French Version of the FraCaS Test Suite. LREC (2020)
Maria Boritchev, Philippe de Groote
On Dialogue Modeling: A Dynamic Epistemic Inquisitive Approach. JSAI-isAI Workshops (2020)
Philippe de Groote
Proof-Theoretic Aspects of the Lambek-Grishin Calculus. WoLLIC (2015)
Philippe de Groote
Abstract Categorial Parsing as Linear Logic Programming. MOL (2015)
Philippe de Groote
On Logical Relations and Conservativity. NLCS@ICALP/LICS (2015)
Philippe de Groote, Yoad Winter
A Type-Logical Account of Quantification in Event Semantics. JSAI-isAI Workshops (2014)
Laurence Danlos, Philippe de Groote, Sylvain Pogodalla
A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars. JSAI-isAI Workshops (2013)
Philippe de Groote, Makoto Kanazawa
A Note on Intensionalization. J. Log. Lang. Inf. 22 (2) (2013)
Philippe de Groote, Sylvain Pogodalla, Carl Pollard
About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar. Fundam. Informaticae 106 (2-4) (2011)
Chris Blom, Philippe de Groote, Yoad Winter, Joost Zwarts
Implicit Arguments: Event Modification or Option Type Categories? Amsterdam Colloquium on Logic, Language and Meaning (2011)
Philippe de Groote, Ekaterina Lebedeva
Presupposition Accommodation as Exception Handling. SIGDIAL Conference (2010)
Philippe de Groote, Sylvain Pogodalla, Carl Pollard
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar. WoLLIC (2009)
Philippe de Groote, Sarah Maarek, Ryo Yoshinaka
On Two Extensions of Abstract Categorial Grammars. LPAR (2007)
Philippe de Groote, Bruno Guillaume, Sylvain Salvati
Vector Addition Tree Automata. LICS (2004)
Philippe de Groote, Sylvain Salvati
Higher-Order Matching in the Linear lambda-calculus with Pairing. CSL (2004)
Philippe de Groote, Sylvain Pogodalla
On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms. J. Log. Lang. Inf. 13 (4) (2004)
Sylvain Salvati, Philippe de Groote
On the Complexity of Higher-Order Matching in the Linear lambda-Calculus. RTA (2003)
Philippe de Groote, François Lamarche
Classical Non-Associative Lambek Calculus. Stud Logica 71 (3) (2002)
Philippe de Groote
Tree-Adjoining Grammars as Abstract Categorial Grammars. TAG+ (2002)
Philippe de Groote
On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-Conversions. Inf. Comput. 178 (2) (2002)
Philippe de Groote
Towards Abstract Categorial Grammars. ACL (2001)
Guillaume Bonfante, Philippe de Groote
Stochastic Lambek Categorial Grammars. Electron. Notes Theor. Comput. Sci. 53 (2001)
Philippe de Groote
Strong Normalization of Classical Natural Deduction with Disjunction. TLCA (2001)
Philippe de Groote
Proof-Search in Implicative Linear Logic as a Matching Problem. LPAR (2000)
Philippe de Groote
Linear Higher-Order Matching Is NP-Complete. RTA (2000)
Philippe de Groote
An Algebraic Correctness Criterion for Intuitionistic Multiplicative Proof-Nets. Theor. Comput. Sci. 224 (1-2) (1999)
Philippe de Groote
A dynamic programming approach to categorial deduction. CADE (1999)
Philippe de Groote
The Non-Associative Lambek Calculus with Product in Polynomial Time. TABLEAUX (1999)
Philippe de Groote
On the Strong Normalisation of Natural Deduction with Permutation-Conversions. RTA (1999)
Philippe de Groote
An environment machine for the lambda-mu-calculus. Math. Struct. Comput. Sci. 8 (6) (1998)
Philippe de Groote, Guy Perrier
A Note on Kobayashi's and Yonezawa's "Asynchronous Communication Model Based on Linear Logic". Formal Aspects Comput. 10 (2) (1998)
Denis Béchet, Philippe de Groote, Christian Retoré
A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders. RTA (1997)
Philippe de Groote
An Algebraic Correctness Criterion for Intuitionistic Proof-Nets. LFCS (1997)
Denis Béchet, Philippe de Groote
Constructing Different Phonological Bracketings from a Proof Net. LACL (1996)
Philippe de Groote
A Simple Calculus of Exception Handling. TLCA (1995)
Philippe de Groote
Linear Logic with Isabelle: Pruning the Proof Search Tree. TABLEAUX (1995)
Philippe de Groote
A CPS-Translation of the Lambda-µ-Calculus. CAAP (1994)
Philippe de Groote
Strong Normalization in a Non-Deterministic Typed Lambda-Calculus. LFCS (1994)
Philippe de Groote
On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory of Sequential Control. LPAR (1994)
Philippe de Groote
Defining Lambda-Typed Lambda-Calculi by Axiomatizing the Typing Relation. STACS (1993)
Philippe de Groote
The Conservation Theorem revisited. TLCA (1993)
Philippe de Groote
Denotations for Classical Proofs - Preliminary Results. LFCS (1992)