BACK TO INDEX

Publications about 'form'
Books and proceedings
  1. 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]


  2. Karell Bertet, Daniel Borchmann, Peggy Cellier, and Sébastien Ferré, editors. Formal Concept Analysis: 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings, LNAI10308, 2017. Springer. Keyword(s): formal concept analysis. [bibtex-entry]


  3. Peggy Cellier, Felix Distel, and Bernhard Ganter, editors. Formal Concept Analysis, 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings, volume 7880 of Lecture Notes in Computer Science, 2013. Springer. [bibtex-entry]


  4. S. Ferré and S. Rudolph, editors. Formal Concept Analysis, 7th International Conference, ICFCA 2009, Darmstadt, Germany, May 21-24, 2009, Proceedings, LNCS 5548, 2009. Springer. Keyword(s): formal concept analysis. [bibtex-entry]


Thesis
  1. Mouhamadou Ba. Composition guidée de services : application aux workflows d'analyse de données en bio-informatique. PhD thesis, Thèse de l'INSA Rennes - École doctorale MATISSE, 4 décembre 2015. Note: Supervisée par M. Ducassé et S. Ferré. [Abstract] [bibtex-entry]


  2. Sébastien Ferré. Reconciling Expressivity and Usability in Information Access - From Filesystems to the Semantic Web. Habilitation thesis, Matisse, Univ. Rennes 1, 2014. Note: Habilitation à Diriger des Recherches (HDR), defended on November 6th. Keyword(s): expressivity, usability, information access, information retrieval, query language, navigation structure, interactive view, abstract conceptual navigation, file system, semantic web. [Abstract] [bibtex-entry]


  3. Sébastien Ferré. Systèmes d'information logiques : un paradigme logico-contextuel pour interroger, naviguer et apprendre. Thèse d'université, Université de Rennes 1, October 2002. Note: Accessible en ligne à l'adresse http://www.irisa.fr/bibli/publi/theses/theses02.html.[WWW] Keyword(s): système d'information, treillis (théorie des), analyse de concepts, logique, recherche de l'information, navigateurs (logiciels), apprentissage automatique. [Abstract] [bibtex-entry]


Articles in journal or book chapters
  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]


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


  3. 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. [doi:10.1007/s10726-016-9483-9] Keyword(s): group decision support, thinklet, formal concept analysis, logical information systems. [Abstract] [bibtex-entry]


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


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


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


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


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


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


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


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


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


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


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


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


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


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


Conference articles
  1. Sébastien Ferré. Responsive and Flexible Controlled Natural Language Authoring with Zipper-Based Transformations. In B. Davis, C. M. Keet, and A. Wyner, editors, Int. Work. Controlled Natural Language (CNL), volume 304 of Frontiers in Artificial Intelligence and Applications, pages 21-30, 2018. IOS Press. [WWW] [doi:10.3233/978-1-61499-904-1-21] Keyword(s): controlled natural language, authoring, user interaction, abstract syntax, zipper, focus. [Abstract] [bibtex-entry]


  2. Sébastien Ferré and Peggy Cellier. How Hierarchies of Concept Graphs Can Facilitate the Interpretation of RCA Lattices?. In D. I. Ignatov and L. Nourine, editors, Int. Conf. Concept Lattices and Their Applications (CLA), CEUR 2123, pages 69-80, 2018. CEUR-WS.org. [WWW] Keyword(s): formal concept analysis, relational concept analysis, data mining, concept graph. [Abstract] [bibtex-entry]


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


  4. Shridhar B. Dandin and Mireille Ducassé. Compact Visualization of Database Tables: Experimenting with Cricket Players Data. In 3rd International Conference on Communication System, Pilani, India, Short paper, 2017. [Abstract] [bibtex-entry]


  5. Pierre Maillot, Sébastien Ferré, Peggy Cellier, Mireille Ducassé, and Franck Partouche. Nested Forms with Dynamic Suggestions for Quality RDF Authoring. In Int. Conf. Database and Expert Systems Applications (DEXA), pages 35-45, 2017. [doi:10.1007/978-3-319-64468-4_3] Keyword(s): semantic web, RDF, knowledge acquisition, form, data quality. [bibtex-entry]


  6. Sébastien Ferré. An RDF Design Pattern for the Structural Representation and Querying of Expressions. In Int. Conf. Knowledge Engineering and Knowledge Management, LNAI 10024, 2016. Springer. [WWW] Keyword(s): expression, knowledge representation, blank node, querying, RDF, Turtle, SPARQL, mathematical formulas. [Abstract] [bibtex-entry]


  7. Sébastien Ferré. Bridging the Gap Between Formal Languages and Natural Languages with Zippers. In Harald Sack, Eva Blomqvist, Mathieu d'Aquin, Chiara Ghidini, Simone Paolo Ponzetto, and Christoph Lange, editors, The Semantic Web (ESWC). Latest Advances and New Domains, LNCS 9678, pages 269-284, 2016. Springer. [WWW] [doi:10.1007/978-3-319-34129-3_17] Keyword(s): semantic web, formal lamguage, natural language, zipper, Montague grammar. [Abstract] [bibtex-entry]


  8. Sébastien Ferré. SPARKLIS on QALD-6 Statistical Questions. In Semantic Web Evaluation Challenge, pages 178-187, 2016. Springer. Keyword(s): semantic web, QALD, statistical questions, OLAP. [Abstract] [bibtex-entry]


  9. Sébastien Ferré. Semantic Authoring of Ontologies by Exploration and Elimination of Possible Worlds. In Int. Conf. Knowledge Engineering and Knowledge Management, LNAI 10024, 2016. Springer. [WWW] Keyword(s): ontology authoring, semantic web, description logics, OWL, possible world explorer. [Abstract] [bibtex-entry]


  10. Sébastien Ferré and Peggy Cellier. Graph-FCA in Practice. In O. Haemmerlé, G. Stapleton, and C. Faron-Zucker, editors, Int. Conf. Conceptual Structures (ICCS) - Graph-Based Representation and Reasoning, LNCS 9717, pages 107-121, 2016. Springer. [WWW] [doi:10.1007/978-3-319-40985-6_9] Keyword(s): formal concept analysis, knowledge graph, graph pattern, algorithm. [Abstract] [bibtex-entry]


  11. Pierre Maillot, Sébastien Ferré, Peggy Cellier, Mireille Ducassé, and Franck Partouche. FORMULIS: Dynamic Form-Based Interface For Guided Knowledge Graph Authoring. In 20th International Conference on Knowledge Engineering and Knowledge Management, Posters & Demonstrations, 2016. Keyword(s): semantic web, form, knowledge authoring, user interface. [Abstract] [bibtex-entry]


  12. Mouhamadou Ba, Sébastien Ferré, and Mireille Ducassé. Safe Suggestions Based on Type Convertibility to Guide Workflow Composition. In F. Esposito, O. Pivert, M.-S. Hacid, Z.W. Ras, and S. Ferilli, editors, Int. Symp. Foundations of Intelligent Systems (ISMIS), LNCS 9384, 2015. Springer. [Abstract] [bibtex-entry]


  13. Sébastien Ferré. A Proposal for Extending Formal Concept Analysis to Knowledge Graphs. In J. Baixeries, C. Sacarea, and M. Ojeda-Aciego, editors, Int. Conf. Formal Concept Analysis (ICFCA), LNCS 9113, pages 271-286, 2015. Springer. Keyword(s): formal concept analysis, knowledge graph, Semantic Web, graph pattern, relation, projection. [Abstract] [bibtex-entry]


  14. Sébastien Ferré. Conception interactive d'ontologies par élimination de mondes possibles. In Ingénierie des connaissances (IC), 2015. AFIA. [WWW] Keyword(s): Semantic Web, ontology, OWL, design, syntax/semantic gap, interaction. [Abstract] [bibtex-entry]


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


  16. Mouhamadou Ba, Sébastien Ferré, and Mireille Ducassé. Generating Data Converters to Help Compose Services in Bioinformatics Workflows. In Hendrick Decker et al., editor, Int. Conf. Database and Expert Systems Applications (DEXA), LNCS 8644, pages 284-298, 2014. Springer. Keyword(s): workflow, bioinformatic, data converter, convertibility, rule system. [Abstract] [bibtex-entry]


  17. Soda Cissé, Peggy Cellier, and Olivier Ridoux. Segmentation of Geolocalized Trajectories using Exponential Moving Average. In Colloque Africain sur la Recherche en Informatique et Mathématiques Appliquées (CARI), pages 149-156, 2014. Keyword(s): geolocalized trajectories, segmentation. [Abstract] [bibtex-entry]


  18. Mireille Ducassé and Peggy Cellier. Using Biddings and Motivations in Multi-unit Assignments. In Pascale Zaraté, Gregory E. Kersten, and Jorge E. Hernandez, editors, Group Decision and Negotiation. A Process-Oriented View, volume 180 of Lecture Notes in Business Information Processing, pages 53-61, 2014. Springer. [WWW] [doi:10.1007/978-3-319-07179-4-6] Keyword(s): group decision support, thinkLet, formal concept analysis, logical information systems, course allocation, multi-unit assignment. [Abstract] [bibtex-entry]


  19. Sébastien Ferré. Expressive and Scalable Query-Based Faceted Search over SPARQL Endpoints. In P. Mika, T. Tudorache, A. Bernstein, C. Welty, C. A. Knoblock, D. Vrandecic, P. T. Groth, N. F. Noy, K. Janowicz, and C. A. Goble, editors, The Semantic Web (ISWC), LNCS 8797, pages 438-453, 2014. Springer. Note: Nominee for the best research paper award. [WWW] Keyword(s): SPARQL endpoints, semantic search, faceted search, user interaction, SPARQL queries, query-based faceted search, expressivity, scalability, portability, usability, Sparklis. [Abstract] [bibtex-entry]


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


  21. Alice Hermann, Mireille Ducassé, Sébastien Ferré, and Jean Lieber. Une approche fondée sur le raisonnement à partir de cas pour la mise à jour interactive d'objets du Web sémantique. In 21ème atelier Français de Raisonnement à Partir de Cas (RàPC), Lille, France, 2013. [WWW] Keyword(s): mise à jour d'objets, Web sémantique, RDFS, formulaire de saisie, recherche de cas par relâchement. [bibtex-entry]


  22. Mireille Ducassé and Peggy Cellier. The LogicalMulticriteriaSort ThinkLet: Logical Navigation for Fair and Fast Convergence in Multicriteria Group Decision Making. In Adiel Teixeira de Almeida, Danielle Costa Morais, and Suzanna de França Dantas Daher, editors, Proceedings of the Group Decision and Negotiation Conference, pages 87-96, May 2012. Note: ISBN 978-85-415-0036-4. Keyword(s): multicriteria decision, logical information systems, formal concept analysis. [Abstract] [bibtex-entry]


  23. Sébastien Ferré. Extension du langage de requêtes LISQL pour la représentation et l'exploration d'expressions mathématiques en RDF. In S. Szulman and J. Charlet, editors, Journées francophones d'ingénierie des connaissances, pages 285-300, 2012. INSERM UMPC. [WWW] Keyword(s): LISQL, query language, mathematics, RDF, semantic web, knowledge representation. [Abstract] [bibtex-entry]


  24. Sébastien Ferré. SQUALL: a Controlled Natural Language for Querying and Updating RDF Graphs. In T. Kuhn and N.E. Fuchs, editors, Controlled Natural Languages, LNCS 7427, pages 11-25, 2012. Springer. Keyword(s): query language, update language, Semantic Web, RDF graphs, SPARQL, Montague grammars. [Abstract] [bibtex-entry]


  25. Sébastien Ferré, Pierre Allard, and Olivier Ridoux. Cubes of Concepts: Multi-dimensional Exploration of Multi-valued Contexts. In F. Domenach, D. I. Ignatov, and J. Poelmans, editors, Int. Conf. Formal Concept Analysis, LNCS 7278, pages 112-127, 2012. Springer. Keyword(s): formal concept analysis, OLAP, cubes of concepts, multi-valued contexts. [Abstract] [bibtex-entry]


  26. Sébastien Ferré and Sebastian Rudolph. Advocatus Diaboli - Exploratory Enrichment of Ontologies with Negative Constraints. In A. ten Teije et al., editor, Int. Conf. Knowledge Engineering and Knowledge Management (EKAW), LNAI 7603, pages 42-56, 2012. Springer. Keyword(s): semantic web, ontology, exploratory search, negative constraints, possible world. [Abstract] [bibtex-entry]


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


  28. Peggy Cellier, Mireille Ducassé, Sébastien Ferré, and Olivier Ridoux. Multiple Fault Localization with Data Mining. In Int. Conf. on Software Engineering & Knowledge Engineering, pages 238-243, 2011. Knowledge Systems Institute Graduate School. Keyword(s): data mining, software engineering, debugging, association rules, formal concept analysis. [Abstract] [bibtex-entry]


  29. Peggy Cellier, Sébastien Ferré, Mireille Ducassé, and Thierry Charnois. Partial orders and logical concept analysis to explore patterns extracted by data mining. In Int. Conf. on Conceptual Structures for Discovering Knowledge, pages 77-90, 2011. Springer. Keyword(s): data mining, partial order, selection of patterns, logical concept analysis, formal concept analysis. [Abstract] [bibtex-entry]


  30. Mireille Ducassé, Sébastien Ferré, and Peggy Cellier. Building up Shared Knowledge with Logical Information Systems. In A. Napoli and V. Vychodil, editors, Proceedings of the 8th International Conference on Concept Lattices and their Applications, pages 31-42, October 2011. INRIA. Note: ISBN 978-2-905267-78-8. [Abstract] [bibtex-entry]


  31. Sébastien Ferré and Alice Hermann. Semantic Search: Reconciling Expressive Querying and Exploratory Search. In L. Aroyo and C. Welty, editors, Int. Semantic Web Conf., LNCS 7031, pages 177-192, 2011. Springer. Keyword(s): semantic web, querying, exploratory search, expressiveness, navigation, faceted search. [Abstract] [bibtex-entry]


  32. S. Ferré, A. Hermann, and M. Ducassé. Combining Faceted Search and Query Languages for the Semantic Web. In C. Salinesi and O. Pastor, editors, Semantic Search over the Web (SSW) - Advanced Information Systems Engineering Workshops - CAiSE Int. Workshops, volume 83 of LNBIP 83, pages 554-563, 2011. Springer. Note: Best paper. Keyword(s): semantic web, semantic search, user interaction, faceted search, querying. [Abstract] [bibtex-entry]


  33. Pierre Allard and Sébastien Ferré. Recherche de dépendances fonctionnelles et de règles d'association avec OLAP. In S. Ben Yahia and J.-M. Petit, editors, Extraction et Gestion des Connaissances, volume RNTI-E-19 of Revue des Nouvelles Technologies de l'Information, pages 651-652, 2010. Cépaduès-Éditions. Keyword(s): association rule, functional dependency, OLAP, navigation. [Abstract] [bibtex-entry]


  34. Sébastien Ferré. Conceptual Navigation in RDF Graphs with SPARQL-Like Queries. In L. Kwuida and B. Sertkaya, editors, Int. Conf. Formal Concept Analysis, LNCS 5986, pages 193-208, 2010. Springer. Keyword(s): conceptual navigation, semantic web, RDF, SPARQL, querying, navigation. [Abstract] [bibtex-entry]


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


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


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


  38. Mireille Ducassé and Sébastien Ferré. Aide à la décision multicritère : cohérence et équité grâce à l'analyse de concepts. In Modèles et Apprentissage en Sciences Humaines et Sociales, Juin 2009. Keyword(s): Décision multicritère, aide à la décision, choix social, analyse formelle de concepts, systèmes d'information logiques, étude de cas. [Abstract] [bibtex-entry]


  39. Sébastien Ferré. Efficient Browsing and Update of Complex Data Based on the Decomposition of Contexts. In S. Rudolph, F. Dau, and S. O. Kuznetsov, editors, Int. Conf. Conceptual Structures, LNCS 5662, pages 159-172, 2009. Springer. Keyword(s): software component, logical concept analysis, browsing, update. [Abstract] [bibtex-entry]


  40. Pierre Allard and Sébastien Ferré. Dynamic Taxonomies for the Semantic Web. In A. M. Tjoa and R. R. Wagner, editors, DEXA Int. Work. Dynamic Taxonomies and Faceted Search (FIND), pages 382-386, 2008. IEEE Computer Society. [PDF] Keyword(s): semantic web, ontologies, logical information system, dynamic taxonomies. [Abstract] [bibtex-entry]


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


  42. Peggy Cellier. Formal concept analysis applied to fault localization. In Robby, editor, International Conference on Software Engineering (ICSE 2008) Companion, pages 991-994, 2008. ACM. [PDF] [bibtex-entry]


  43. Peggy Cellier, Mireille Ducassé, Sébastien Ferré, and Olivier Ridoux. Formal Concept analysis enhances Fault Localization in Software. In R. Medina and S. Obiedkov, editors, Int. Conf. Formal Concept Analysis, LNAI 4933, pages 273-288, 2008. Springer. [PDF] Keyword(s): fault localization, formal concept analysis. [Abstract] [bibtex-entry]


  44. Mireille Ducassé and Sébastien Ferré. Fair(er) and (almost) serene committee meetings with Logical and Formal Concept Analysis. In P. Eklund and O. Haemmerlé, editors, Proceedings of the International Conference on Conceptual Structures, LNAI 5113, pages 217-230, July 2008. Springer. [PDF] [Abstract] [Annotation] [bibtex-entry]


  45. Olivier Bedel, Sébastien Ferré, and Olivier Ridoux. Exploring a Geographical Dataset with GEOLIS. In DEXA Work. Advances in Conceptual Knowledge Engineering (ACKE), pages 540-544, 2007. IEEE Computer Society. [PDF] Keyword(s): logical information system, geographical information system, information retrieval, spatial logic. [Abstract] [bibtex-entry]


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


  47. Peggy Cellier, Sébastien Ferré, Olivier Ridoux, and Mireille Ducassé. A Parameterized Algorithm for Exploring Concept Lattices. In S.O. Kuznetsov and S. Schmidt, editors, Int. Conf. Formal Concept Analysis, LNAI 4390, pages 114-129, 2007. Springer. Keyword(s): concept analysis, algorithm, taxonomy. [Abstract] [bibtex-entry]


  48. Sébastien Ferré. The Efficient Computation of Complete and Concise Substring Scales with Suffix Trees. In S.O. Kuznetsov and S. Schmidt, editors, Int. Conf. Formal Concept Analysis, LNAI 4390, pages 98-113, 2007. Springer. Keyword(s): concept analysis, logic, string, suffix tree. [Abstract] [bibtex-entry]


  49. Sébastien Ferré and Olivier Ridoux. Logical Information Systems: from Taxonomies to Logics. In DEXA Work. Dynamic Taxonomies and Faceted Search (FIND), pages 212-216, 2007. IEEE Computer Society. [PDF] Keyword(s): logical information system, taxonomy, logic. [Abstract] [bibtex-entry]


  50. Peggy Cellier, Sébastien Ferré, Olivier Ridoux, and Mireille Ducassé. An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy. In S. Ben Yahia and E. Mephu Nguifo, editors, Int. Conf. Concept Lattices and Their Applications, LNAI 4932, pages 243-248, 2006. Springer. [PDF] Keyword(s): concept analysis, algorithm, taxonomy. [Abstract] [bibtex-entry]


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


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


  53. T. Denmat, M. Ducassé, and O. Ridoux. Data mining and cross-checking of execution traces. A re-interpretation of Jones, Harrold and Stasko test information visualization. In T. Ellman and A. Zisman, editors, Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, November 2005. ACM Press. Note: See RR-5661 for a long version of this article. Keyword(s): Software Engineering, Debugging, Artificial Intelligence, Learning, Knowledge acquisition. [Abstract] [bibtex-entry]


  54. Sébastien Ferré, Olivier Ridoux, and Benjamin Sigonneau. Arbitrary Relations in Formal Concept Analysis and Logical Information Systems. In ICCS, LNCS 3596, pages 166-180, 2005. Springer. Keyword(s): logical concept analysis, relation, logical information system, navigation. [Abstract] [bibtex-entry]


  55. Yoann Padioleau and Olivier Ridoux. A Parts-of-File File System. In USENIX Annual Technical Conference, General Track (Short Paper), 2005. [WWW] [Abstract] [bibtex-entry]


  56. Yoann Padioleau, Benjamin Sigonneau, Olivier Ridoux, and Sébastien Ferré. LISFS: a Logical Information System as a File System. In Véronique Benzaken, editor, Bases de données avancées, pages 393-398, October 2005. Université de Rennes 1. [WWW] [PDF] [Abstract] [bibtex-entry]


  57. Sébastien Ferré and R. D. King. BLID: an Application of Logical Information Systems to Bioinformatics. In P. Eklund, editor, Int. Conf. Formal Concept Analysis, LNCS 2961, pages 47-54, 2004. Springer. Keyword(s): logical concept analysis, information system, bioinformatics. [Abstract] [bibtex-entry]


  58. Sébastien Ferré. The Use of Associative Concepts for Fast Incremental Concept Formation in Sparse Contexts. In B. Ganter and A. de Moor, editors, Using Conceptual Structures -- Contributions to ICCS 2003, 2003. Shaker Verlag. [PDF] Keyword(s): concept analysis, associative concept, lattice, algorithm, sparse context. [bibtex-entry]


  59. L. Langevine, M. Ducassé, and P. Deransart. A Propagation Tracer for Gnu-Prolog: from Formal Definition to Efficient Implementation. In C. Palamidessi, editor, Proceedings of the 19th Int. Conf. in Logic Programming, December 2003. Springer-Verlag, Lecture Notes in Computer Science. [bibtex-entry]


  60. Sébastien Ferré and Olivier Ridoux. The Use of Associative Concepts in the Incremental Building of a Logical Context. In G. Angelova U. Priss, D. Corbett, editor, Int. Conf. Conceptual Structures, LNCS 2393, pages 299-313, 2002. Springer. Keyword(s): concept analysis, logic, information systems, learning, classification, context. [Abstract] [bibtex-entry]


  61. B. Morin, L. Mé, H. Debar, and M. Ducassé. M2D2 : A Formal Data Model for IDS Alert Correlation. In A. Wespi et al., editor, Recent Advances in Intrusion Detection, pages 97-104, October 2002. Springer-Verlag, Lecture Notes in Computer Science 2516. [bibtex-entry]


  62. Jean-Philippe Pouzol and M. Ducassé. Formal specification of intrusion signatures and detection rules. In S. Schneider, editor, Proc. of 15th IEEE Computer Security Foudations Workshop, pages 64-76, 2002. IEEE Press. [bibtex-entry]


  63. J. Villaneau, J.-Y. Antoine, and Olivier Ridoux. LOGUS : un système formel de compréhension du français parlé spontané - présentation et évaluation. In TALN'02: Traitement Automatique de la Langue Naturelle, 2002. [bibtex-entry]


  64. Sébastien Ferré and Olivier Ridoux. A Framework for Developing Embeddable Customized Logics. In A. Pettorossi, editor, Int. Work. Logic-based Program Synthesis and Transformation, LNCS 2372, pages 191-215, 2001. Springer. [WWW] Keyword(s): logic, composition, theorem prover, logic-based systems. [Abstract] [bibtex-entry]


  65. Sébastien Ferré and Olivier Ridoux. Searching for Objects and Properties with Logical Concept Analysis. In Harry S. Delugach and Gerd Stumme, editors, International Conference on Conceptual Structures, LNCS 2120, pages 187-201, 2001. Springer. Keyword(s): concept analysis, navigation, knowledge discovery, logical information system. [Abstract] [bibtex-entry]


  66. M. Ducassé and L. Rozé. Proof obligations of the B formal method: Local proofs ensure global consistency. In A. Bossi, editor, LOgic-based Program Synthesis and TRansformation, pages 11-30, 2000. Springer-Verlag, Lecture Notes in Computer Science, 1817. [bibtex-entry]


  67. Sébastien Ferré and Olivier Ridoux. A File System Based on Concept Analysis. In Yehoshua Sagiv, editor, International Conference on Rules and Objects in Databases, number 1861 of Lecture Notes in Computer Science, pages 1033-1047, July 2000. Springer. Keyword(s): concept analysis, logic, information system, file system. [Abstract] [bibtex-entry]


  68. Sébastien Ferré and Olivier Ridoux. A Logical Generalization of Formal Concept Analysis. In Guy Mineau and Bernhard Ganter, editors, International Conference on Conceptual Structures, number 1867 of Lecture Notes in Computer Science, pages 371-384, August 2000. Springer. Keyword(s): concept analysis, logic, context, information system. [Abstract] [bibtex-entry]


  69. M. Ducassé. An introduction to the B formal method. In A.-L. Bossi, editor, Proceedings of the 9th International Workshop on LOgic-based Program Synthesis and TRansformation, pages 23-30, September 1999. Universita' Ca' Foscari di Venezia. Note: Technical report CS-99-16, Slides. [bibtex-entry]


  70. E. Jahier, M. Ducassé, and O. Ridoux. Specifying trace models with a continuation semantics. In M. Ducassé, A. Kusalik, L. Naish, and G. Puebla, editors, Proc. of ICLP'99 Workshop on Logic Programming Environments, 1999. Note: LPE'99. [WWW] Keyword(s): trace models, continuation semantics, specification, validation, Logic programming. [Abstract] [bibtex-entry]


  71. M. Ducassé. Teaching B at a Technical University is Possible and Rewarding. In H. Habrias and S. E. Dunn, editors, B'98, Proceedings of the Educational Session, avril 1998. Association de Pilotage des Conférences B, Nantes. Note: ISBN: 2-9512461-0-2. [WWW] Keyword(s): B formal method, teaching. [Abstract] [bibtex-entry]


  72. O. Ridoux. Engineering Transformations of Attributed Grammars in $\lambda$Prolog. In M. Maher, editor, Joint Int. Conf. and Symp. Logic Programming, pages 244-258, 1996. MIT Press. [WWW] Keyword(s): Syntax-directed translation, grammar transformations, logic grammars, DCG, LambdaProlog.. [Abstract] [bibtex-entry]


  73. O. Ridoux. Imagining CLP$(\Lambda,\equiv_{\alpha\beta})$. In A. Podelski, editor, Constraint Programming: Basics and Trends. Selected papers of the 22nd Spring School in Theoretical Computer Science. LNCS 910, Châtillon/Seine, France, pages 209-230, 1995. [WWW] Keyword(s): CLP, LambdaProlog, lambda-calculus.. [Abstract] [bibtex-entry]


  74. M. Ducassé. A pragmatic survey of automated debugging. In P. Fritzson, editor, Proceedings of the First Workshop on Automated and Algorithmic Debugging, volume 749 of Lecture Notes in Computer Sciences, Linkoeping, Sweden, May 1993. Springer-Verlag. [WWW] [Abstract] [bibtex-entry]


  75. S. Le Huitouze, P. Louvet, and O. Ridoux. Les grammaires logiques et $\lambda$Prolog. In Journées Francophones sur la Programmation en Logique, Nîmes, France, pages 93-108, 1993. Teknea. Note: Version française de \citellr93. [WWW] Keyword(s): LambdaProlog, grammaires logiques, portée, représentation du contexte.. [Abstract] [bibtex-entry]


  76. S. Le Huitouze, P. Louvet, and O. Ridoux. Logic Grammars and $\lambda$Prolog. In D.S. Warren, editor, 10th Int. Conf. Logic Programming, pages 64-79, 1993. MIT Press. [WWW] Keyword(s): LambdaProlog, logic grammars, scope, context handling in syntactic analysis.. [Abstract] [bibtex-entry]


  77. P. Brisset and O. Ridoux. The Architecture of an Implementation of $\lambda$Prolog: Prolog/Mali. In Workshop on $\lambda$Prolog, Philadelphia, 1992. [WWW] Keyword(s): LambdaProlog, implementation, compilation, memory management.. [Abstract] [bibtex-entry]


Internal reports
  1. Sébastien Ferré. SQUALL: a High-Level Language for Querying and Updating the Semantic Web. Research Report, IRISA, 2011. [WWW] Keyword(s): Semantic Web, controlled natural language, query language, update language, expressiveness, Montague grammar. [Abstract] [bibtex-entry]


  2. Sébastien Ferré, Alice Hermann, and Mireille Ducassé. Semantic Faceted Search: Safe and Expressive Navigation in RDF Graphs. Research Report, IRISA, 2011. [WWW] Keyword(s): semantic web, faceted search, query language, exploratory search, navigation, expressiveness. [Abstract] [bibtex-entry]


  3. Sébastien Ferré and Olivier Ridoux. Logic Functors: A Toolbox of Components for Building Customized and Embeddable Logics. Research Report RR-5871, Irisa, March 2006. [WWW] Keyword(s): logic, components, modules and functors, theorem provers, type checking, application developpement. [Abstract] [bibtex-entry]


  4. Sébastien Ferré. Incremental Concept Formation made More Efficient by the Use of Associative Concepts. Research Report RR-4569, Inria, Institut National de Recherche en Informatique et en Automatique, October 2002. [WWW] Keyword(s): context, concept lattice, Galois lattice, incremental algorithm, complexity. [Abstract] [bibtex-entry]


  5. Sébastien Ferré and Olivier Ridoux. Introduction to Logical Information Systems. Research Report RR-4540, Inria, Institut National de Recherche en Informatique et en Automatique, September 2002. [WWW] Keyword(s): information system, information search and retrieval, query formulation, representation languages, deduction and theorem proving. [Abstract] [bibtex-entry]


  6. Sébastien Ferré and Olivier Ridoux. Logic Functors : a Framework for Developing Embeddable Customized Logics. Technical report RR-4457, Inria, Institut National de Recherche en Informatique et en Automatique, May 2002. [WWW] Keyword(s): applied logic, software component. [Abstract] [bibtex-entry]


  7. Sébastien Ferré and Olivier Ridoux. Une généralisation logique de l'analyse de concepts logique. Technical Report RR-3820, Inria, Institut National de Recherche en Informatique et en Automatique, December 1999. [WWW] Keyword(s): concept analysis, concept lattice, logic, context, information systems, querying, browsing. [Abstract] [Annotation] [bibtex-entry]


  8. P. Brisset and O. Ridoux. The Compilation of $\lambda$Prolog and its execution with MALI. Publication Interne 687, IRISA, 1992. [WWW] Keyword(s): LambdaProlog, implementation, compilation, memory management.. [Abstract] [bibtex-entry]


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


  2. Mireille Ducassé. Cours de conception participative dans la formation d'ingénieur en informatique. Poster aux Rencontres ``Pédagogie et Formations d'Ingénieurs'', Mars 2009. Note: INSA de Toulouse. [Abstract] [bibtex-entry]



BACK TO INDEX




Disclaimer:

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.




Last modified: Wed Sep 19 17:48:01 2018
Author: ferre.


This document was translated from BibTEX by bibtex2html