Demo Data from EDBT 2026 / reviewers in the wild / expert
Annie Foret
dblp:81/3428
· DBLP profile ↗
11ranked-venue papers
4as first author
1since 2021 · last 2024
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 8 · 3 first-authorArtificial intelligence and machine learning · 3 · 1 first-author · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
2 papers |
Automata and formal languages · 61% Logic in computer science · 28% Computational complexity · 11% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automata and formal languages
categorial grammar |
0.2 | 2 | 2010 | A modular and parameterized presentation of pregroup calculus · Inf. Comput. 2010 k-Valued Non-Associative Lambek Categorial Grammars are not Learnable from Strings · ACL 2003 |
Logic in computer science
proof theory |
0.1 | 1 | 2010 | A modular and parameterized presentation of pregroup calculus · Inf. Comput. 2010 |
Automata and formal languages
grammatical inference |
0.0 | 1 | 2003 | k-Valued Non-Associative Lambek Categorial Grammars are not Learnable from Strings · ACL 2003 |
Automata and formal languages › categorial grammar
lambek grammar |
0.0 | 1 | 2003 | k-Valued Non-Associative Lambek Categorial Grammars are not Learnable from Strings · ACL 2003 |
Computational complexity › learning theory
learnability |
0.0 | 1 | 2003 | k-Valued Non-Associative Lambek Categorial Grammars are not Learnable from Strings · ACL 2003 |
Methods — techniques the papers use, named apart from their topics
type-logical grammar · 0.1proof nets · 0.1limit point construction · 0.0gold's learning model · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Incremental learning of iterated dependencies
Denis Béchet, Annie Foret |
Mach. Learn. | 2 |
| 2012 | Categorial grammars with iterated types form a strict hierarchy of k-valued languages
Denis Béchet, Alexandre Ja. Dikovsky, Annie Foret |
Theor. Comput. Sci. | 3 |
| 2011 | Categorial Grammars with Iterated Types form a Strict Hierarchy of k-Valued Languages
Denis Béchet, Alexandre Ja. Dikovsky, Annie Foret |
CIAA | 3 |
| 2010 | On Categorial Grammars as Logical Information Systems
Annie Foret, Sébastien Ferré |
ICFCA | 1 |
| 2010 | A modular and parameterized presentation of pregroup calculus
Annie Foret |
Inf. Comput. | 1 |
| 2008 | Optional and Iterated Types for Pregroup Grammars
Denis Béchet, Alexandre Ja. Dikovsky, Annie Foret, Emmanuelle Garel |
LATA | 3 |
| 2007 | Fully Lexicalized Pregroup Grammars
Denis Béchet, Annie Foret |
WoLLIC | 2 |
| 2007 | Pregroup Calculus as a Logic Functor
Annie Foret |
WoLLIC | 1 |
| 2006 | k-Valued non-associative Lambek grammars are learnable from generalized functor-argument structures
Denis Béchet, Annie Foret |
Theor. Comput. Sci. | 2 |
| 2003 | k-Valued Non-Associative Lambek Categorial Grammars are not Learnable from StringsabstractThis paper is concerned with learning categorial grammars in Gold's model. In contrast to k-valued classical categorial grammars, k-valued Lambek grammars are not learnable from strings. This result was shown for several variants but the question was left open for the weakest one, the non-associative variant NL.We show that the class of rigid and k-valued NL grammars is unlearnable from strings, for each k; this result is obtained by a specific construction of a limit point in the considered class, that does not use product operator.Another interest of our construction is that it provides limit points for the whole hierarchy of Lambek grammars, including the recent pregroup grammars.Such a result aims at clarifying the possible directions for future learning algorithms: it expresses the difficulty of learning categorial grammars from strings and the need for an adequate structure on examples. Denis Béchet, Annie Foret |
ACL | 2 |
| 2002 | Rigid Lambek Grammars Are Not Learnable from Strings
Annie Foret, Yannick Le Nir |
COLING | 1 |