1. O. Bedel, S. Ferré, O. Ridoux, and E. 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]



2. P. Cellier, S. Ferré, O. Ridoux, and M. 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]



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

1. Peggy Cellier, Mireille Ducassé, Sébastien Ferré, and Olivier Ridoux. Fouille de données pour la localisation de fautes dans les programmes (poster). In 2ième journées nationales du Groupement de Recherche CNRS du Génie de la Programmation et du Logiciel (GDR GPL), 2010. Université de Pau et des Pays de l'Adour. [bibtex-entry]



2. P. Cellier, M. Ducassé, S. Ferré, and O. Ridoux. DeLLIS: A Data Mining Process for Fault Localization. In Int. Conf. Software Engineering (SEKE), pages 432-437, 2009. Knowledge Systems Institute Graduate School. Keyword(s): data mining, fault localization, software. [bibtex-entry]



3. O. Bedel, S. Ferré, and O. Ridoux. Handling Spatial Relations in Logical Concept Analysis To Explore Geographical Data. In R. Medina and S. Obiedkov, editors, Int. Conf. Formal Concept Analysis, LNAI 4933, pages 241-257, 2008. Springer. [PDF] Keyword(s): spatial relations, concept analysis, logic, geographical data, data retrieval. [Abstract] [bibtex-entry]



4. P. Cellier, M. Ducassé, S. Ferré, and O. 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]



5. O. Bedel, S. Ferré, and O. 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]



6. P. Cellier, S. Ferré, O. Ridoux, and M. Ducassé. A Parameterized Algorithm for Exploring Concept Lattices. In S.O. Kuznetsov and S. Schmidt, editors, Int. Conf. Formal Concept Analysis, LNCS 4390, 2007. Springer. [PDF] Keyword(s): taxonomy, algorithm, concept analysis. [Abstract] [bibtex-entry]



7. S. Ferré and O. 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]



8. O. Bedel, S. Ferré, O. Ridoux, and E. Quesseveur. GEOLIS: A Logical Information System for Geographical Data. In Int. Conf. Spatial Analysis and GEOmatics (SAGEO), 2006. [PDF] Keyword(s): querying, navigation, geographical data, logical information systems. [Abstract] [bibtex-entry]



9. P. Cellier, S. Ferré, O. Ridoux, and M. 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, pages 243-248, 2006. Faculté des Sciences de Tunis. [PDF] Keyword(s): taxonomy, algorithm, concept analysis. [bibtex-entry]



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



11. Y. Padioleau, B. Sigonneau, O. Ridoux, and S. 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. [PDF] Keyword(s): databases, logical file system, logical information system. [Abstract] [bibtex-entry]



12. S. Bars, S. Ferré, and O. Ridoux. Logic Functors for Types as Search Keys. In Int. Workshop on Isomorphisms of Types, 2002. Electronic proceedings at www.irit.fr/zeno/WIT2002/. [PDF] [POSTSCRIPT] Keyword(s): type isomorphism, logic functor, information retrieval. [bibtex-entry]



13. S. Ferré and O. 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, 2002. Springer. [PDF] [POSTSCRIPT] Keyword(s): logic-based systems, theorem prover, composition, logic. [Abstract] [bibtex-entry]



14. S. Ferré and O. 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. [PDF] [POSTSCRIPT] Keyword(s): context, classification, learning, information system, logic, concept analysis. [Abstract] [bibtex-entry]



15. S. Ferré and O. Ridoux. Searching for Objects and Properties with Logical Concept Analysis. In H. S. Delugach and G. Stumme, editors, Int. Conf. Conceptual Structures, LNCS 2120, pages 187-201, 2001. Springer. [PDF] [POSTSCRIPT] Keyword(s): logical information system, knowledge discovery, navigation, concept analysis. [Abstract] [bibtex-entry]



16. S. Ferré and O. Ridoux. A File System Based on Concept Analysis. In Y. Sagiv, editor, Int. Conf. Rules and Objects in Databases, LNCS 1861, pages 1033-1047, 2000. Springer. [PDF] [POSTSCRIPT] Keyword(s): file system, information system, logic, concept analysis. [Abstract] [bibtex-entry]



17. S. Ferré and O. Ridoux. A Logical Generalization of Formal Concept Analysis. In G. Mineau and B. Ganter, editors, Int. Conf. Conceptual Structures, LNCS 1867, pages 371-384, 2000. Springer. [PDF] [POSTSCRIPT] Keyword(s): information system, context, logic, concept analysis. [Abstract] [bibtex-entry]

1. S. Ferré and O. Ridoux. Logic Functors: A Toolbox of Components for Building Customized and Embeddable Logics. Technical report, INRIA, March 2006. [WWW] Keyword(s): application developpement, type checking, theorem provers, modules and functors, components, logic. [Abstract] [bibtex-entry]



2. S. Ferré and O. Ridoux. Introduction to Logical Information Systems. Technical report, Inria, Institut National de Recherche en Informatique et en Automatique, September 2002. [WWW] Keyword(s): theorem proving, deduction, representation language, query formulation, information retrieval, information system. [Abstract] [bibtex-entry]



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



4. S. Ferré and O. Ridoux. A File System Based on Concept Analysis. Technical report, Inria, Institut National de Recherche en Informatique et en Automatique, April 2000. [WWW] Keyword(s): logic, navigation, querying, concept analysis, file system. [Abstract] [bibtex-entry]



5. S. Ferré and O. Ridoux. Une généralisation logique de l'analyse de concepts formels. Technical report, Inria, Institut National de Recherche en Informatique et en Automatique, December 1999. Note: An english version is available at http://www.irisa.fr/LIS/ferre.[WWW] Keyword(s): browsing, querying, information system, context, logic, concept lattice, concept analysis. [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