Annie Foret

35 papers A* 1B 5C 6Journal 5Unranked 18
YearRankTypeTitle / Venue / Authors
2025 — conf
GUIDE: A Framework for Improving Functional Software Test Descriptions with Language Models.
ICNLSP
Mathis Ronzon, Thierry Roger, Zoltán Miklós, Annie Foret
2024 J jnl
Incremental learning of iterated dependencies.
Mach. Learn.
Denis Béchet, Annie Foret
2023 — conf
Extracting ODRL Digital Right Representations from License Texts using AMR.
ASAIL@ICAIL
Malo Revel, Aurélien Lamercerie, Annie Foret, Zoltán Miklós
2018 B ed.
Formal Grammar - 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers
FG
Annie Foret, Reinhard Muskens, Sylvain Pogodalla
2018 B ed.
Formal Grammar 2018 - 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings
FG
Annie Foret, Gregory M. Kobele, Sylvain Pogodalla
2016 — conf
Categorial Dependency Grammars with Iterated Sequences.
LACL
Denis Béchet, Annie Foret
2016 — conf
Exploration des Données du Défi EGC 2016 à l'aide d'un Système d'Information Logique.
EGC
Peggy Cellier, Sébastien Ferré, Annie Foret, Olivier Ridoux
2016 B ed.
Formal Grammar - 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
FG
Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla
2016 — conf
Simple K-star Categorial Dependency Grammars and their Inference.
ICGI
Denis Béchet, Annie Foret
2015 — conf
A Logical Information System Proposal for Browsing Terminological Resources.
TIA
Annie Foret
2015 — conf
TermLis : un contexte d'information logique pour des ressources terminologiques.
TALN (Demos)
Annie Foret
2014 — conf
On Associative Lambek Calculus Extended with Basic Proper Axioms.
Categories and Types in Logic, Language, and Physics
Annie Foret
2014 — conf
On Harmonic CCG and Pregroup Grammars.
LACL
Annie Foret
2012 J jnl
Categorial grammars with iterated types form a strict hierarchy of k-valued languages.
Theor. Comput. Sci.
Denis Béchet, Alexandre Ja. Dikovsky, Annie Foret
2011 C conf
Categorial Grammars with Iterated Types form a Strict Hierarchy of k-Valued Languages.
CIAA
Denis Béchet, Alexander Ja. Dikovsky, Annie Foret
2011 — conf
On Dispersed and Choice Iteration in Incrementally Learnable Dependency Types.
LACL
Denis Béchet, Alexander Ja. Dikovsky, Annie Foret
2010 J jnl
A modular and parameterized presentation of pregroup calculus.
Inf. Comput.
Annie Foret
2010 C conf
On Categorial Grammars as Logical Information Systems.
ICFCA
Annie Foret, Sébastien Ferré
2010 B conf
Two Models of Learning Iterated Dependencies.
FG
Denis Béchet, Alexander Ja. Dikovsky, Annie Foret
2008 C conf
Optional and Iterated Types for Pregroup Grammars.
LATA
Denis Béchet, Alexander Ja. Dikovsky, Annie Foret, Emmanuelle Garel
2007 C conf
Fully Lexicalized Pregroup Grammars.
WoLLIC
Denis Béchet, Annie Foret
2007 J jnl
Learnability of Pregroup Grammars.
Stud Logica
Denis Béchet, Annie Foret, Isabelle Tellier
2007 C conf
Pregroup Calculus as a Logic Functor.
WoLLIC
Annie Foret
2005 — conf
Dependency Structure Grammars.
LACL
Denis Béchet, Alexander Ja. Dikovsky, Annie Foret
2005 — conf
k-Valued Non-associative Lambek Grammars (Without Product) Form a Strict Hierarchy of Languages.
LACL
Denis Béchet, Annie Foret
2004 — conf
Learnability of Pregroup Grammars.
ICGI
Denis Béchet, Annie Foret, Isabelle Tellier
2003 — conf
Remarques et perspectives sur les langages de prégroupe d'ordre 1/2.
TALN (Posters)
Denis Béchet, Annie Foret
2003 A* conf
k-Valued Non-Associative Lambek Categorial Grammars are not Learnable from Strings.
ACL
Denis Béchet, Annie Foret
2003 C conf
k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures.
WoLLIC
Denis Béchet, Annie Foret
2002 — conf
On Limit Points for Some Variants of Rigid Lambek Grammars.
ICGI
Annie Foret, Yannick Le Nir
2002 B conf
Rigid Lambek Grammars Are Not Learnable from Strings.
COLING
Annie Foret, Yannick Le Nir
2001 — conf
On Mixing Deduction and Substitution in Lambek Categorial Grammars.
LACL
Annie Foret
2001 — conf
The emptiness of intersection problem for languages of k-valued categorial grammars (classical and Lambek) is undecidable.
FGMOL
Annie Foret
1992 J jnl
Rewrite Rule Systems for Modal Propositional Logic.
J. Log. Program.
Annie Foret
1988 — conf
Rewrite Rule Systems for Modal Propositional Logic.
ALP
Annie Foret