1. Annie Foret, Gregory M. Kobele, and Sylvain Pogodalla, editors. Formal Grammar 2018 - 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings, volume 10950 of Lecture Notes in Computer Science, 2018. Springer. [WWW] [doi:10.1007/978-3-662-57784-4] [bibtex-entry]



2. Annie Foret, Reinhard Muskens, and Sylvain Pogodalla, editors. Formal Grammar - 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers, volume 10686 of Lecture Notes in Computer Science, 2018. Springer. [WWW] [doi:10.1007/978-3-662-56343-4] [bibtex-entry]

1. Annie Foret. On some classes of type-logical grammars that model syntax. Habilitation thesis, Matisse, Univ. Rennes 1, 2012. Note: Habilitation à Diriger des Recherches (HDR), defended on July 5th. [bibtex-entry]

1. Denis Béchet and Annie Foret. Incremental learning of iterated dependencies. Journal of Machine Learning, 2022. [doi:10.1007/s10994-021-05947-2] Keyword(s): Grammatical inference - Categorial grammar - Dependency grammar - Incremental learning - Iterated types - Treebanks. [Abstract] [bibtex-entry]



2. Annie Foret and Denis Béchet. On Categorial Grammatical Inference and Logical Information Systems. In Logic and Algorithms in Computational Linguistics 2018, Series: Advances in Intelligent Systems and Computing, Studies in Computational Intelligence. 2019. [WWW] [Abstract] [bibtex-entry]



3. Annie Foret. CATEGORIES AND TYPES IN LOGIC, LANGUAGE AND PHYSICS - Festschrift on the occasion of Jim Lambek's 90th birthday, chapter On Associative Lambek Calculus extended with basic proper axioms. Springer, Lecture Notes in Computer Science, New York, Casadio C., Coecke B., Moortgat M., Scott P. (editors), in print edition, 2013. [Abstract] [bibtex-entry]



4. Denis Béchet, Alexandre Dikovsky, and Annie Foret. Categorial grammars with iterated types form a strict hierarchy of k-valued languages. Theor. Comput. Sci., 450:22-30, 2012. [bibtex-entry]



5. Denis Béchet and Annie Foret. A Pregroup Toolbox for Parsing and Building Grammars of Natural Languages. Linguistic Analysis Journal, 36, 2010. Note: To appear. [bibtex-entry]



6. Annie Foret. A modular and parameterized presentation of pregroup calculus. Information and Computation Journal, 208(5):395-604, May 2010. [PDF] Keyword(s): Pregroups, Lambek categorial grammars, Logic functor, Logic component, Cut elimination. [Abstract] [bibtex-entry]



7. D. Bechet, A. Dikovsky, Annie Foret, and Emmanuelle Garel. Introduction of option and iteration into pregroup grammars. In Computational Algebraic Approaches to Natural Language. Polimetrica Publisher, Italy, pp. 85-108.. 2008. Keyword(s): Pregroups, Lambek Categorial Grammars, Categorial Dependency Grammar. [Abstract] [bibtex-entry]



8. D. Bechet, A. Foret, and I. Tellier. Learnability of Pregroup Grammars. Studia Logica, 87(2-3), 2007. Keyword(s): Learning from positive examples, Pregroup grammars, Computational linguistics, parsing, Categorial Grammars, constraints. [Abstract] [bibtex-entry]



9. D. Béchet, R. Bonato, A. Dikovsky, A. Foret, Y. Le Nir, E. Moreau, C. Retoré, and I. Tellier. Modèles algorithmiques de l'acquisition de la syntaxe : concepts et méthodes, résultats et problèmes. Recherches linguistiques de Vincennes, 2007. Note: Vol. 37, Presses Universitaires de Vincennes. [PDF] Keyword(s): Acquisition syntaxique, inférence grammaticale, grammaires catégorielles, modèle de Gold, ressources syntaxiques (syntax learning, grammatical inference, categorial grammars, Gold's model, syntactical resources). [Abstract] [bibtex-entry]



10. Denis Bechet and Annie Foret. k-Valued Non-Associative Lambek Grammars are learnable from Generalized Functor-Argument Structures. Journal of Theoretical Computer Science, 2006. Note: Vol. 355, 2 (extended version). [PDF] Keyword(s): Grammatical inference, Categorial grammars, Non-associative Lambek calculus, Learning from positive examples, Model of Gold. [Abstract] [bibtex-entry]

1. Alex Chauvet and Annie Foret. Systèmes d'information pour les chercheurs en droit. In Colloque des Convergences du Droit et du Numérique, Actes du colloque des Convergences du droit et du numérique, Bordeaux, France, July 2019. Université de Bordeaux. [WWW] [PDF] Keyword(s): Droit, Numérique, Convergences. [bibtex-entry]



2. Guillaume Aucher, Annie Foret, JeanBaptiste Lenhof, Olivier Ridoux, Francois Schwarzentruber, and al.. Principles for a judgement editor based on Multi-BDDs. In MIning and REasoning with Legal texts at ICAIL, London, 2017. [WWW] [Abstract] [bibtex-entry]



3. Alexis Chauvet and Annie Foret. Systèmes d'information pour les chercheurs en droit. In Colloque CDN, Convergences du droit et du numérique, Bordeaux, 2017. [WWW] [Abstract] [bibtex-entry]



4. Annie Foret. Traitement automatique des langues, données légales, systèmes d'information et logique. In Atelier CDN, Convergences du droit et du numérique, Bordeaux, 2017. [WWW] [Abstract] [bibtex-entry]



5. Peggy Cellier, Sébastien Ferré, Annie Foret, and Olivier Ridoux. Exploration des Données du Défi EGC 2016 à l'aide d'un Système d'Information Logique. In Cyril de Runz and Bruno Crémilleux, editors, Journées Francophones Extraction et Gestion des Connaissances, EGC, RNTI E-30, pages 443-448, 2016. Hermann-Éditions. [WWW] [bibtex-entry]



6. Annie Foret. A Logical Information System Proposal for Browsing Terminological Resources. In T. Poibeau and P. Faber, editors, Int. Conf. Terminology and Artificial Intelligence, volume 1495 of CEUR Workshop Proceedings, pages 51-59, 2015. CEUR-WS.org. Note: Keywords : Scientific terminology, Technological terminology, Multilingual applications, Information extraction, Textual data mining, Information retrieval, Linguistic resources, Open Data, Information Quality, Legal Information. [WWW] [Abstract] [bibtex-entry]



7. Annie Foret. A Logical Information System Proposal for Browsing Terminological Resources, Demo session. In T. Poibeau and P. Faber, editors, Int. Conf. Terminology and Artificial Intelligence, volume 1495 of CEUR Workshop Proceedings, 2015. CEUR-WS.org. [WWW] [bibtex-entry]



8. Annie Foret. TermLis : un contexte d'information logique pour des ressources terminologiques. In Conférence sur le Traitement Automatique des Langues Naturelles, pages 642-643, 2015. Association pour le Traitement Automatique des Langues. Note: Keywords:Multilingual applications, Classification, Information extraction, Textual data mining, Information retrieval, Linguistic resources, Open Data, Information Quality, Legal Information. [WWW] [Abstract] [bibtex-entry]



9. Annie Foret, Valérie Bellynck, and Christian Boitet. Akenou-Breizh, un projet de plate-forme valorisant des ressources et outils informatiques et linguistiques pour le breton. In Actes du Traitement Automatique des Langues Régionales de France et d'Europe, 2015. Association pour le Traitement Automatique des Langues. Note: Keywords : Breton, heritage language, usage language, tools and resources, contrastive studies. [WWW] [Abstract] [bibtex-entry]



10. Annie Foret. On Associative Lambek Calculus Extended with Basic Proper Axioms. In C. Casadio, B. Coecke, M. Moortgat, and P. Scott, editors, Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, LNCS 8222, pages 172-187, 2014. Springer. [WWW] Keyword(s): lambek calculus, associativity. [Abstract] [bibtex-entry]



11. Annie Foret. On Harmonic CCG and Pregroup Grammars. In N. Asher and S. Soloviev, editors, Int. Conf. Logical Aspects of Computational Linguistics (LACL), LNCS 8535, pages 83-95, 2014. Springer. [WWW] Keyword(s): pregroup grammar, CCG. [Abstract] [bibtex-entry]



12. Denis Béchet, Alexandre Dikovsky, and Annie Foret. Categorial Grammars with Iterated Types form a Strict Hierarchy of k-Valued Languages. In Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, volume 6807 of Lecture Notes in Computer Science, pages 42-52, 2011. Springer. [Abstract] [bibtex-entry]



13. Denis Béchet, Alexander Dikovsky, and Annie Foret. On Dispersed and Choice Iteration in Incrementally Learnable Dependency Types. In Logical Aspects of Computational Linguistics - 6th International Conference, LACL 2011, Montpellier, France, volume 6736 of Lecture Notes in Computer Science, pages 80-95, 2011. Springer. Keyword(s): Grammatical inference, Categorial grammar, Dependency grammar, Incremental learning, Iterated types.. [Abstract] [bibtex-entry]



14. Denis Béchet, Alexander Dikovsky, and Annie Foret. Sur les itérations dispersées et les choix itérés pour l'apprentissage incrémental des types dans les grammaires de dépendances. In Conférence Francophone d'Apprentissage 2011 (CAP), Chambéry, France, 2011. [bibtex-entry]



15. D. Bechet, A. Dikovsky, and Annie Foret. Two models of learning iterated dependencies.. In Formal Grammar, LNCS, 2010. Springer. [Abstract] [bibtex-entry]



16. Annie Foret and Sébastien Ferré. On Categorial Grammars as Logical Information Systems. In L. Kwuida and B. Sertkaya, editors, Int. Conf. Formal Concept Analysis, LNCS 5986, pages 225-240, 2010. Springer. Keyword(s): logical information systems, categoarial grammar, pregroup, browsing. [Abstract] [bibtex-entry]



17. Denis Béchet and Annie Foret. (PPQ) : a pregroup parser using majority composition. In Proc. Parsing with Categorial Grammars, ESSLLI workshop, in Bordeaux, France, 2009. [PDF] Keyword(s): parser, pregroups, Lambek categorial grammars, parsing software, XML data. [Abstract] [bibtex-entry]



18. Denis Béchet and Annie Foret. Une boîte à outils pour développer et utiliser les grammaires de prégroupe. In journée ATALA : Quels analyseurs syntaxiques pour le français ?, 2009. [PDF] [Abstract] [bibtex-entry]



19. D. Bechet, A. Dikovsky, Annie Foret, and Emmanuelle Garel. Optional and Iterated Types for Pregroup Grammars. In Int. Conf. Language and Automata Theory and Applications (LATA), 2008. Note: Accepted for publication. Keyword(s): Pregroups, Lambek Categorial Grammars, Categorial Dependency Grammar. [Abstract] [bibtex-entry]



20. D. Béchet and A. Foret. Fully Lexicalized Pregroup Grammars. In Proceedings of WOLLIC 2007, volume LNCS 4576, pages 12-25, 2007. Springer. [PDF] Keyword(s): Pregroups, Lambek Categorial Grammars, Simulation. [Abstract] [bibtex-entry]



21. A. Foret. Pregroup Calculus as a Logical Functor. In Proceedings of WOLLIC 2007, volume LNCS 4576, 2007. Springer. [PDF] Keyword(s): Pregroups, Lambek Categorial Grammars, Logic Functor, Cut Elimination. [Abstract] [bibtex-entry]



22. Eric Poupard, Denis Bechet, and Annie Foret. Categorial Grammar Acquisition from a French Treebank. In Actes de la Conférence d'APprentissage 2006 (CAP'06), 2006. Note: (Poster). [bibtex-entry]



23. Denis Bechet, Alexandre Dikovsky, and Annie Foret. Dependency Structure Grammars. In Proceedings of the LACL 2005 Conference : Logical Aspects of Computational Linguistics, LNCS(LNAI) 3492, pages 18-34, 2005. springer. [PDF] [Abstract] [bibtex-entry]



24. Denis Bechet and Annie Foret. On Rigid NL Lambek Grammars Inference from Generalized Functor-Argument Data. In FGMOL'05, the tenth conference on Formal Grammar and the ninnth on the Mathematics of Language, Edinburgh, Scotland, 2005. Keyword(s): grammatical inference, categorial grammars, non- associative Lambek calculus, learning from positive examples, model of Gold. [Abstract] [bibtex-entry]



25. Denis Bechet and Annie Foret. k-Valued Non-Associative Lambek Grammars (without Product) Form a Strict Hierarchy of Languages. In Proceedings of the LACL 2005 Conference: Logical Aspects of Computational Linguistics, LNCS(LNAI) 3492, pages 1-17, 2005. springer. [PDF] [Abstract] [bibtex-entry]



26. D. Bechet, A. Dikovsky, A. Foret, and E. Moreau. On learning discontinuous dependencies from positive data. In Proceedings of the Formal Grammar Conference (FG 2004), August 2004. [bibtex-entry]



27. Denis Bechet and Annie Foret. On Intermediate Structures for Non-Associative Lambek Grammars and Learnability. In Proceedings of the CG 2004 Conference : Categorial Grammars An efficient tool for Natural Language Processing, June 2004. [bibtex-entry]



28. D. Bechet, A. Foret, and I. Tellier. Learnability of Pregroup Grammars. In Proceedings of the International Conference of grammatical Inference (ICGI 2004), LNAI 3264, October 2004. [bibtex-entry]



29. Denis Bechet and Annie Foret. Apprentissage des grammaires de Lambek rigides et d'arité bornée pour le traitement automatique des langues. In Actes de la Conférence d'APprentissage 2003 (CAP'2003), June 2003. [bibtex-entry]



30. Denis Bechet and Annie Foret. Remarques et perspectives sur les langages de prégroupe d'ordre 1/2. In ATALA, editor, Actes de la conférence Traitement Automatique des Langues Naturelles (TALN'2003), June 2003. Note: (Poster). [bibtex-entry]



31. Denis Bechet and Annie Foret. k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures. In Proceedings of the 10th Workshop on Logic, Language, Information and Computation (WoLLIC'2003), volume 85, Electronic Notes in Theoretical Computer Science, July 2003. [bibtex-entry]



32. Denis Bechet and Annie Foret. k-valued Non-Associative Lambek Categorial Grammars are not Learnable from Strings. In ACL, editor, Proceedings of the 41st Annual Meeting of the Association for Computational Linguistics (ACL 2003), July 2003. [bibtex-entry]



33. Annie Foret. On the Computation of Joins for Non Associative Lambek Categorial Grammars.. In Proceedings of the 17th International Workshop on Unification Valencia, Spain, June 8-9, (UNIF'03), 2003. [bibtex-entry]



34. Annie Foret and Yannick Le Nir. Lambek rigid grammars are not learnable from strings. In COLING'2002, 19th International Conference on Computational Linguistics, Taipei, Taiwan, 2002. [bibtex-entry]



35. Annie Foret and Yannick Le Nir. Les grammaires de Lambek rigides ne sont pas apprenables à partir des chaines. In CAp'2002, Conférence Francophone d'Apprentissage, Orléans, France, 2002. Presses Universitaires de Grenoble. [bibtex-entry]



36. Annie Foret and Yannick Le Nir. On limit points for some variants of rigid Lambek Grammars. In ICGI'2002, the 6th International Colloquium on Grammatical Inference, number 2484 of Lecture Notes in Artificial Intelligence, Amsterdam, the Netherlands, 2002. Springer-Verlag. [bibtex-entry]



37. Annie Foret. Conjoinability and unification in Lambek categorial grammars. In New Perspectives in Logic and Formal Linguisitics, Proceedings Vth ROMA Workshop, Roma, 2001. Bulzoni Editore. [bibtex-entry]



38. Annie Foret. Mixing deduction and substitution in Lambek categorial grammars, some investigations. In LACL'01, 4th International Conference on Logical Aspects of Computational Linguistics, number 2099 of Lecture Notes in Artificial Intelligence, Le Croisic, France, 2001. Springer-Verlag. [bibtex-entry]



39. Annie Foret. The emptiness of intersection problem for k-valued categorial grammars (classical and Lambek) is undecidable. In FGMOL'01, the sixth conference on Formal Grammar and the seventh on the Mathematics of Language, Helsinki, Finland, 2001. [bibtex-entry]

1. Guillaume Aucher, Anthony Baire, Jean Berbinau, Annie Foret, Jean-Baptiste Lenhof, Marie-Laure Morin, Olivier Ridoux, and François Schwarzentruber. Principles for a Judgement Editor Based on BDD. Research Report, Université de Rennes 1, France, November 2018. Note: Report of a collaborative project between the Cour de cassation, the University of Rennes 1, the ENS Rennes, the INRIA and the University of Torino, from 2013 to 2015.[WWW] [PDF] Keyword(s): BDD, software assistant, Law, artificial intelligence. [bibtex-entry]

1. Annie Foret. ISNLP on AI for Education - Exploratory action 2019 : Exploratory experiments combining Information Systems and Natural Language Processing. Cominlabs days, November 2019. Note: Poster. [WWW] [PDF] [bibtex-entry]



2. Annie Foret. Logical Information Systems for Linguistic Data: TermLis, 2017. [WWW] [PDF] [Abstract] [bibtex-entry]



3. Annie Foret and Sébastien Ferré. On Categorial Grammars and Logical Information Systems : using CAMELIS with linguistic data. Note: Presented at the demo session of LACL'12, 2012. Keyword(s): demo. [Abstract] [bibtex-entry]

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

This document was translated from BibT_EX by bibtex2html