Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Annie Foret

dblp:81/3428 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Automata and formal languages
categorial grammar
0.222010
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.112010
A modular and parameterized presentation of pregroup calculus · Inf. Comput. 2010
Automata and formal languages
grammatical inference
0.012003
k-Valued Non-Associative Lambek Categorial Grammars are not Learnable from Strings · ACL 2003
Automata and formal languages › categorial grammar
lambek grammar
0.012003
k-Valued Non-Associative Lambek Categorial Grammars are not Learnable from Strings · ACL 2003
Computational complexity › learning theory
learnability
0.012003
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
YearPublicationVenuePosition
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
CIAA3
2010 On Categorial Grammars as Logical Information Systems
Annie Foret, Sébastien Ferré
ICFCA1
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
LATA3
2007 Fully Lexicalized Pregroup Grammars
Denis Béchet, Annie Foret
WoLLIC2
2007 Pregroup Calculus as a Logic Functor
Annie Foret
WoLLIC1
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 Strings
abstract
This 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
ACL2
2002 Rigid Lambek Grammars Are Not Learnable from Strings
Annie Foret, Yannick Le Nir
COLING1