Philippe de Groote

According to our database, Philippe de Groote authored at least 48 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Extending Abstract Categorial Grammars with Feature Structures: Theory and Practice.

Philippe de Groote, Maxime Guillaume, Agathe Helman, Sylvain Pogodalla, Raphaël Salmon

Proceedings of the Logic and Engineering of Natural Language Semantics, 2023

On the Semantics of Dependencies: Relative Clauses and Open Clausal Complements.

Philippe de Groote

Proceedings of the Logic and Engineering of Natural Language Semantics, 2023

2022

Multityped Abstract Categorial Grammars and Their Composition.

Pierre Ludmann, Sylvain Pogodalla, Philippe de Groote

Proceedings of the Logic, Language, Information, and Computation, 2022

Quantification Annotation in ISO 24617-12, Second Draft.

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

Proceedings of the Thirteenth Language Resources and Evaluation Conference, 2022

Deriving Formal Semantic Representations from Dependency Structures.

Philippe de Groote

Proceedings of the Logic and Engineering of Natural Language Semantics, 2022

2021

Introducing ⦇ <i>λ</i> ⦈, a <i>λ</i>-calculus for effectful computation.

Jirka Marsík, Maxime Amblard, Philippe de Groote

Theor. Comput. Sci., 2021

2020

A French Version of the FraCaS Test Suite.

Maxime Amblard, Clément Beysson, Philippe de Groote, Bruno Guillaume, Sylvain Pogodalla

Proceedings of The 12th Language Resources and Evaluation Conference, 2020

On Dialogue Modeling: A Dynamic Epistemic Inquisitive Approach.

Maria Boritchev, Philippe de Groote

Proceedings of the New Frontiers in Artificial Intelligence, 2020

2015

Proof-Theoretic Aspects of the Lambek-Grishin Calculus.

Philippe de Groote

Proceedings of the Logic, Language, Information, and Computation, 2015

Abstract Categorial Parsing as Linear Logic Programming.

Philippe de Groote

Proceedings of the 14th Meeting on the Mathematics of Language, 2015

On Logical Relations and Conservativity.

Philippe de Groote

Proceedings of the Third Workshop on Natural Language and Computer Science, 2015

2014

A Type-Logical Account of Quantification in Event Semantics.

Philippe de Groote, Yoad Winter

Proceedings of the New Frontiers in Artificial Intelligence, 2014

2013

A Note on Intensionalization.

Philippe de Groote, Makoto Kanazawa

J. Log. Lang. Inf., 2013

A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars.

Laurence Danlos, Philippe de Groote, Sylvain Pogodalla

Proceedings of the New Frontiers in Artificial Intelligence, 2013

2011

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

Philippe de Groote, Sylvain Pogodalla, Carl Pollard

Fundam. Informaticae, 2011

Implicit Arguments: Event Modification or Option Type Categories?

Chris Blom, Philippe de Groote, Yoad Winter, Joost Zwarts

Proceedings of the Logic, Language and Meaning - 18th Amsterdam Colloquium, 2011

2010

Presupposition Accommodation as Exception Handling.

Philippe de Groote, Ekaterina Lebedeva

Proceedings of the SIGDIAL 2010 Conference, 2010

2009

On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar.

Philippe de Groote, Sylvain Pogodalla, Carl Pollard

Proceedings of the Logic, 2009

2007

On Two Extensions of Abstract Categorial Grammars.

Philippe de Groote, Sarah Maarek, Ryo Yoshinaka

Proceedings of the Logic for Programming, 2007

2004

On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms.

Philippe de Groote, Sylvain Pogodalla

J. Log. Lang. Inf., 2004

Vector Addition Tree Automata.

Philippe de Groote, Bruno Guillaume, Sylvain Salvati

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

Higher-Order Matching in the Linear lambda-calculus with Pairing.

Philippe de Groote, Sylvain Salvati

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003

On the Complexity of Higher-Order Matching in the Linear lambda-Calculus.

Sylvain Salvati, Philippe de Groote

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

2002

Classical Non-Associative Lambek Calculus.

Philippe de Groote, François Lamarche

Stud Logica, 2002

On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-Conversions.

Philippe de Groote

Inf. Comput., 2002

Tree-Adjoining Grammars as Abstract Categorial Grammars.

Philippe de Groote

Proceedings of the Sixth International Workshop on Tree Adjoining Grammar and Related Frameworks, 2002

2001

Stochastic Lambek Categorial Grammars.

Guillaume Bonfante, Philippe de Groote

Proceedings of the joint meeting of the 6th Conference on Formal Grammar (FG) and the 7th Conference on Mathematics of Language (MOL), 2001

Strong Normalization of Classical Natural Deduction with Disjunction.

Philippe de Groote

Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001

Towards Abstract Categorial Grammars.

Philippe de Groote

Proceedings of the Association for Computational Linguistic, 2001

2000

Linear Higher-Order Matching Is NP-Complete.

Philippe de Groote

Proceedings of the Rewriting Techniques and Applications, 11th International Conference, 2000

Proof-Search in Implicative Linear Logic as a Matching Problem.

Philippe de Groote

Proceedings of the Logic for Programming and Automated Reasoning, 2000

1999

An Algebraic Correctness Criterion for Intuitionistic Multiplicative Proof-Nets.

Philippe de Groote

Theor. Comput. Sci., 1999

The Non-Associative Lambek Calculus with Product in Polynomial Time.

Philippe de Groote

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

On the Strong Normalisation of Natural Deduction with Permutation-Conversions.

Philippe de Groote

Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

A dynamic programming approach to categorial deduction.

Philippe de Groote

Proceedings of the Automated Deduction, 1999

1998

An environment machine for the lambda-mu-calculus.

Philippe de Groote

Math. Struct. Comput. Sci., 1998

A Note on Kobayashi's and Yonezawa's "Asynchronous Communication Model Based on Linear Logic".

Philippe de Groote, Guy Perrier

Formal Aspects Comput., 1998

1997

A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders.

Denis Béchet, Philippe de Groote, Christian Retoré

Proceedings of the Rewriting Techniques and Applications, 8th International Conference, 1997

An Algebraic Correctness Criterion for Intuitionistic Proof-Nets.

Philippe de Groote

Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997

1996

Constructing Different Phonological Bracketings from a Proof Net.

Denis Béchet, Philippe de Groote

Proceedings of the Logical Aspects of Computational Linguistics, 1996

1995

A Simple Calculus of Exception Handling.

Philippe de Groote

Proceedings of the Typed Lambda Calculi and Applications, 1995

Linear Logic with Isabelle: Pruning the Proof Search Tree.

Philippe de Groote

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

1994

On the Relation between the Lambda-Mu-Calculus and the Syntactic Theory of Sequential Control.

Philippe de Groote

Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

Strong Normalization in a Non-Deterministic Typed Lambda-Calculus.

Philippe de Groote

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

A CPS-Translation of the Lambda-µ-Calculus.

Philippe de Groote

Proceedings of the Trees in Algebra and Programming, 1994

1993

The Conservation Theorem revisited.

Philippe de Groote

Proceedings of the Typed Lambda Calculi and Applications, 1993

Defining Lambda-Typed Lambda-Calculi by Axiomatizing the Typing Relation.

Philippe de Groote

Proceedings of the STACS 93, 1993

1992

Denotations for Classical Proofs - Preliminary Results.

Philippe de Groote

Proceedings of the Logical Foundations of Computer Science, 1992