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. Mireille Ducassé. Kartu-Verbs : un système d'informations logiques de formes verbales fléchies pour contourner les problèmes de lemmatisation des verbes géorgiens. Revue des Nouvelles Technologies de l'Information, Extraction et Gestion des Connaissances, RNTI-E-38:421-428, 2022. Note: Démonstration. [WWW] [Abstract] [bibtex-entry]

1. Sébastien Ferré. Conceptual Navigation in Large Knowledge Graphs. In Rokia Missaoui, Leonard Kwuida, and Talel Abdessalem, editors, Complex Data Analysis with Formal Concept Analysis. Springer, 2021. Note: To appear. Keyword(s): knowledge graph, formal concept analysis, Graph-FCA, conceptual navigation. [Abstract] [bibtex-entry]



2. Sébastien Ferré. Application of Concepts of Neighbours to Knowledge Graph Completion. Data Science: Methods, Infrastructure, and Applications, 4:1-28, 2021. [doi:10.3233/DS-200030] Keyword(s): knowledge graph, link prediction, concepts of enighbours. [Abstract] [bibtex-entry]

1. Sébastien Ferré, Mehdi Kaytoue, Marianne Huchard, Sergei O. Kuznetsov, and Amedeo Napoli. A guided tour of artificial intelligence research, volume II, chapter Formal Concept Analysis: from knowledge discovery to knowledge processing (Chapter 13), pages 411-445. Springer, 2020. [WWW] Keyword(s): formal concept analysis, relational concept analysis, Graph-FCA. [Abstract] [bibtex-entry]



2. Carlos Bobed, Pierre Maillot, Peggy Cellier, and Sébastien Ferré. Data-driven Assessment of Structural Evolution of RDF Graphs. Semantic Web: Interoperability, Usability, Applicability, 11:831-853, 2020. [WWW] Keyword(s): semantic web, data mining, data quality, data evolution, data-driven approach, MDL principle. [Abstract] [bibtex-entry]



3. Sébastien Ferré and Peggy Cellier. Graph-FCA: An extension of formal concept analysis to knowledge graphs. Discrete Applied Mathematics, 273(5):81-102, 2020. [WWW] [doi:https://doi.org/10.1016/j.dam.2019.03.003] Keyword(s): Formal concept analysis, Knowledge graph, Semantic web, Graph homomorphism. [Abstract] [bibtex-entry]



4. Flavien Lécuyer, Valérie Gouranton, Aurélien Lamercerie, Adrien Reuzeau, Bruno Arnaldi, and Benoît Caillaud. Unveiling the implicit knowledge, one scenario at a time. Visual Computer, pp 1-12, 2020. [WWW] [PDF] [doi:10.1007/s00371-020-01904-7] Keyword(s): Process Mining, demodocos, S3PMSunset, ProcMining. [bibtex-entry]



5. Romaric Marcilly, Laura Douze, Sébastien Ferré, Bissan Audeh, Carlos Bobed, Agnès Lillo-Le-Louët, Jean-Baptiste Lamy, and Cédric Bousquet. How to interact with medical terminologies? Formative usability evaluations comparing three approaches for supporting the use of MedDRA by pharmacovigilance specialists. BMC Medical Informatics and Decision Making, 20(261), 2020. [WWW] [doi:https://doi.org/10.1186/s12911-020-01280-1] [bibtex-entry]

1. 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]

1. Sébastien Ferré. Sparklis: An Expressive Query Builder for SPARQL Endpoints with Guidance in Natural Language. Semantic Web: Interoperability, Usability, Applicability, 8(3):405-418, 2017. [WWW] [doi:10.3233/SW-150208] Keyword(s): semantic search, SPARQL endpoint, query builder, faceted search, natural language. [Abstract] [bibtex-entry]

1. Mouhamadou Ba, Sébastien Ferré, and Mireille Ducassé. Solving Data Mismatches in Bioinformatics Workflows by Generating Data Converters. Transactions on Large-Scale Data and Knowledge-Centered Systems (TLDKS), LNCS 9510:88-115, 2016. Keyword(s): workflow, data conversion, bioinformatics, type system. [Abstract] [bibtex-entry]



2. Mireille Ducassé and Peggy Cellier. Using Bids, Arguments and Preferences in Sensitive Multi-unit Assignments: A p-Equitable Process and a Course Allocation Case Study. Journal of Group Decision and Negotiation, 25(6):1211-1235, 2016. [WWW] [doi:10.1007/s10726-016-9483-9] Keyword(s): group decision support, thinklet, formal concept analysis, logical information systems. [Abstract] [bibtex-entry]

1. Peggy Cellier, Thierry Charnois, Marc Plantevit, Christophe Rigotti, Bruno Crémilleux, Olivier Gandrillon, Jirì Kléma, and Jean-Luc Manguin. Sequential pattern mining for discovering gene interactions and their contextual information from biomedical texts. J. Biomedical Semantics, 6:27, 2015. [bibtex-entry]

1. Nicolas Béchet, Peggy Cellier, Thierry Charnois, and Bruno Crémilleux. Fouille de motifs séquentiels pour la découverte de relations entre gènes et maladies rares. Revue d'Intelligence Artificielle, 28(2-3):245-270, 2014. Keyword(s): data mining, sequential patterns, information extraction, linguistic patterns, rare diseases. [Abstract] [bibtex-entry]



2. Mireille Ducassé and Peggy Cellier. Fair and Fast Convergence on Islands of Agreement in Multicriteria Group Decision Making by Logical Navigation. Group Decision and Negotiation, 23(4):673-694, July 2014. [WWW] [doi:10.1007/s10726-013-9372-4] Keyword(s): Multicriteria Decision, Multicriteria Sorting, Consensus Reaching, Group Decision Support System, ThinkLets, Logical Information Systems, Formal Concept Analysis. [Abstract] [bibtex-entry]



3. Sébastien Ferré. SQUALL: The expressiveness of SPARQL 1.1 made available as a controlled natural language. Data & Knowledge Engineering, 94:163-188, 2014. [WWW] [doi:10.1016/j.datak.2014.07.010] Keyword(s): controlled natural language, semantic web, RDF, SPARQL, expressiveness. [Abstract] [bibtex-entry]

1. 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]

1. Olivier Bedel, Sébastien Ferré, and Olivier Ridoux. Développements logiciels en géomatique -- innovations et mutualisations, chapter GEOLIS : un système d'information logique pour l'organisation et la recherche de données géolocalisées, pages 149-180. Information géographique et Aménagement du Territoire. Hermes/Lavoisier, 2012. Keyword(s): logical information systems, geographical information systems, geo-located data. [bibtex-entry]



2. Olivier Bedel, Sébastien Ferré, and Olivier Ridoux. GEOLIS: a Logical Information System to Organize and Search Geo-Located Data. In B. Bucher and F. Le Ber, editors, Innovative Software Development in GIS, Geographical Information Systems Series, pages 151-188. Wiley, 2012. Keyword(s): logical information systems, geographical information systems, geo-located data. [bibtex-entry]



3. 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]



4. Sébastien Ferré and Alice Hermann. Reconciling faceted search and query languages for the Semantic Web. Int. J. Metadata, Semantics and Ontologies, 7(1):37-54, 2012. Keyword(s): semantic web, query languages, faceted search, query-based faceted search. [Abstract] [bibtex-entry]

1. 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]



2. Mireille Ducassé and Sébastien Ferré. Aide à la décision multicritère : cohérence et équité grâce à l'analyse de concepts. Revue internationale de systémique complexe et d'études relationnelles, Nouvelles Perspectives en Sciences Sociales, 5(2):181-196, Mai 2010. [bibtex-entry]



3. 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]

1. G. M. Sacco and Sébastien Ferré. Dynamic Taxonomies and Faceted Search: Theory, Practice, and Experience, volume 25 of The Information Retrieval Series, chapter 9 - Applications and Experiences, pages 263-302. Springer, 2009. Keyword(s): dynamic taxonomies, faceted search, browsing, information retrieval. [bibtex-entry]



2. G. M. Sacco and Sébastien Ferré. Dynamic Taxonomies and Faceted Search: Theory, Practice, and Experience, volume 25 of The Information Retrieval Series, chapter 5 - Extensions to the Model, pages 113-144. Springer, 2009. Keyword(s): dynamic taxonomies, faceted search, browsing, information retrieval. [bibtex-entry]



3. G. M. Sacco, Sébastien Ferré, and Y. Tzitzikas. Dynamic Taxonomies and Faceted Search: Theory, Practice, and Experience, volume 25 of The Information Retrieval Series, chapter 3 - Comparison with Other Techniques, pages 35-74. Springer, 2009. Keyword(s): dynamic taxonomies, faceted search, browsing, information retrieval. [bibtex-entry]



4. G. M. Sacco, Y. Tzitzikas, and Sébastien Ferré. Dynamic Taxonomies and Faceted Search: Theory, Practice, and Experience, volume 25 of The Information Retrieval Series, chapter 8 - System Implementation, pages 215-262. Springer, 2009. Keyword(s): dynamic taxonomies, faceted search, browsing, information retrieval. [bibtex-entry]



5. M. Stefaner, Sébastien Ferré, S. Perugini, J. Koren, and Y. Zhang. Dynamic Taxonomies and Faceted Search: Theory, Practice, and Experience, volume 25 of The Information Retrieval Series, chapter 4 - User Interface Design, pages 75-112. Springer, 2009. Keyword(s): dynamic taxonomies, faceted search, browsing, information retrieval. [bibtex-entry]



6. Sébastien Ferré. Camelis: a logical information system to organize and browse a collection of documents. Int. J. General Systems, 38(4):379-403, 2009. Keyword(s): information retrieval, browsing, logical concept analysis, annotation. [Abstract] [bibtex-entry]



7. B. Morin, Ludovic Mé, Hervé Debar, and Mireille Ducassé. A Logic-based model to support alert correlation in intrusion detection. Information Fusion, 10(4):285-299, October 2009. Keyword(s): Intrusion detection, Alert correlation, Data model. [Abstract] [bibtex-entry]

1. 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]



2. Olivier Bedel, Sébastien Ferré, Olivier Ridoux, and Erwan Quesseveur. GEOLIS: A Logical Information System for Geographical Data. Revue Internationale de Géomatique, 17(3-4):371-390, 2008. [PDF] Keyword(s): logical information system, geographical data, navigation. [Abstract] [bibtex-entry]



3. Peggy Cellier, Sébastien Ferré, Olivier Ridoux, and Mireille Ducassé. A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy. Int. J. Foundations of Computer Science (IJFCS), 19(2):319-343, 2008. Keyword(s): algorithm, concept lattice, taxonomy. [Abstract] [bibtex-entry]



4. Ludovic Langevine and Mireille Ducassé. Design and Implementation of a Tracer Driver: Easy and Efficient Dynamic Analyses of Constraint Logic Programs. Theory and Practice of Logic Programming, Cambridge University Press, 8(5-6), Sep-Nov 2008. [WWW] [bibtex-entry]

1. 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]



2. 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]

1. 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]



2. Sébastien Ferré and R. D. King. Finding Motifs in Protein Secondary Structure for Use in Function Prediction. Journal of Computational Biology, 13(3):719-731, 2006. Keyword(s): functional genomics, protein secondary structure, flexible motifs, dichotomic search algorithm. [bibtex-entry]



3. Benjamin Sigonneau and Olivier Ridoux. Indexation multiple et automatisée de composants logiciels. Technique et Science Informatiques, 2006. Note: À paraître. [PDF] [Abstract] [Annotation] [bibtex-entry]

1. Sébastien Ferré and R. D. King. A dichotomic search algorithm for mining and learning in domain-specific logics. Fundamenta Informaticae -- Special Issue on Advances in Mining Graphs, Trees and Sequences, 66(1-2):1-32, 2005. [PDF] Keyword(s): machine learning, logic, concept analysis, data-mining, logic functors. [Abstract] [bibtex-entry]

1. L. Langevine, P. Deransart, and M. Ducassé. A Generic Trace Schema for the Portability of CP(FD) Debugging Tools. In J. Vancza, K. Apt, F. Fages, F. Rossi, and P. Szeredi, editors, Recent advances in Constraint Programming, pages 171-195. Springer-Verlag, Lecture Notes in Artificial Intelligence 3010, 2004. [bibtex-entry]



2. Hervé Debar, B. Morin, Frédéric Cuppens, Fabien Autrel, Ludovic Mé, Bernard Vivinis, Salem Benferhat, M. Ducassé, and Rodolphe Ortalo. Corrélation d'alertes en détection d'intrusions. Technique et Science Informatiques, 23(3):323-358, 2004. [bibtex-entry]



3. Sébastien Ferré and Olivier Ridoux. An Introduction to Logical Information Systems. Information Processing & Management, 40(3):383-419, 2004. Keyword(s): information systems, information search, retrieval, query formulation, representation languages, deduction, theorem proving. [Abstract] [bibtex-entry]



4. Jeanne Villaneau, Olivier Ridoux, and Jean-Yves Antoine. LOGUS : un système formel de compréhension de l'oral spontané. RIA --- Revue d'Intelligence Artificielle, (à paraître), 2004. [bibtex-entry]

1. E. Jahier and M. Ducassé. Generic Program Monitoring by Trace Analysis. Theory and Practice of Logic Programming, 2(4-5), September 2002. [bibtex-entry]

1. M. Ducassé and E. Jahier. Efficient Automated Trace Analysis: Examples with Morphine. Electronic Notes in Theoretical Computer Science, 55(2), 2001. Note: K. Havelund and G. Rosu (Eds), proceedings of the first Workshop on Runtime Verification. [bibtex-entry]



2. O. Ridoux and Patrice Boizumault. Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog. Journal of Functional and Logic Programming, 2001(4), July 2001. [bibtex-entry]

1. M. Ducassé and J. Noyé. Tracing Prolog programs by source instrumentation is efficient enough. Elsevier Journal of Logic Programming,, 43(2):157-172, May 2000. [WWW] Keyword(s): Debugging, tracing, source to source transformation, benchmarking, Prolog.. [Abstract] [bibtex-entry]

1. M. Ducassé. Abstract views of Prolog executions with Opium. In P. Brna, B. du Boulay, and H. Pain, editors, Learning to Build and Comprehend Complex Information Structures: Prolog as a Case Study, Cognitive Science and Technology. Ablex, 1999. [WWW] Keyword(s): Software engineering, Programming environment, Automated debugging, Trace abstraction mechanisms, Debugging language, Program behavior understanding, Prolog Debugging tool. [Abstract] [bibtex-entry]



2. C. Belleannée, P. Brisset, and Olivier Ridoux. A Pragmatic Reconstruction of $\lambda$Prolog. J. Logic Programming, 41(1):67-102, 1999. [bibtex-entry]



3. M. Ducassé. Opium: An extendable trace analyser for Prolog. The Journal of Logic programming, 1999. Note: Special issue on Synthesis, Transformation and Analysis of Logic Programs, A. Bossi and Y. Deville (eds), Also Rapport de recherche INRIA RR-3257 and Publication Interne IRISA PI-1127. [WWW] Keyword(s): Software Engineering, Automated Debugging, Trace Query Language, Program Execution Analysis, Abstract Views of Program Executions, Prolog. [Abstract] [bibtex-entry]

1. D. Le Métayer, V.-A. Nicolas, and O. Ridoux. Programs, Properties, and Data: Exploring the Software Development Trilogy. IEEE Software, 15(6):75-81, November/December 1998. [WWW] Keyword(s): Software engineering, testing, verification, program analysis, program learning. [Abstract] [bibtex-entry]

1. C. Belleannée, P. Brisset, and O. Ridoux. Une reconstruction pragmatique de $\lambda$Prolog. Technique et science informatiques, 14:1131-1164, 1995. [WWW] Keyword(s): Programmation logique, LambdaProlog, lambda-calcul, quantifications, types. logic programming, LambdaProlog, lambda-calculus, quantifications, types.. [Abstract] [bibtex-entry]



2. S. Coupet-Grimal and O. Ridoux. On the use of Advanced Logic Programming Languages in Computational Linguistics. J. Logic Programming, 24(1&2):121-159, 1995. [WWW] Keyword(s): Logic programming, computational linguistics, LambdaProlog, Prolog II, lambda-terms, rational terms.. [Abstract] [bibtex-entry]

1. M. Ducassé and J. Noyé. Logic Programming Environments: Dynamic program analysis and debugging. The Journal of Logic Programming, 19/20:351-384, May/July 1994. Note: Anniversary issue: Ten years of Logic Programming. [WWW] [Abstract] [bibtex-entry]

1. M. Ducassé and A.-M. Emde. Opium: a debugging environment for Prolog development and debugging research. ACM Software Engineering Notes, 16(1):54-59, January 1991. Note: Demonstration presented at the Fourth Symposium on Software Development Environments. 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