1. M. Ducassé, U. Nilsson, and D. Seipel, editors. Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP, http://www.ep.liu.se/ecp/012/, September 2004. Linköping Electronic Conference Proceedings, Issue No. 12. Note: ISSN 1650-3686 (print), 1650-3740 (www). [bibtex-entry]



2. M. Ducassé, A. Kusalik, and G. Puebla, editors. Proceedings of the 10th Workshop on Logic Programming Environments, http://www.cs.usask.ca/projects/envlop/WLPE/10WLPE/, novembre 1999. [bibtex-entry]



3. M. Ducassé, Y.-J. Lin, and L.Ü. Yalcinalp, editors. Proceedings of IJCSLP'92 Workshop on Logic Programming Environments, November 1992. Note: Technical Report TR 92-143, Case Western Reserve University, Cleveland. [bibtex-entry]



4. M. Ducassé and G. Ferrand, editors. Proceedings of ICLP'91 Workshop on Logic Programming Environments, June 1991. Note: Technical Report, University of Orléans, France, LIFO N 91-61. [bibtex-entry]

1. Pierre Allard. Logical modeling of multidimensional analysis of multivalued relations - Application to geographic data exploration. PhD thesis, Thèse de l'Université de Rennes 1 - École doctorale MATISSE, 12 décembre 2011. Note: Supervised by S. Ferré and O. Ridoux. [Abstract] [bibtex-entry]



2. Y. Padioleau. Logic File System, un système de fichier basé sur la logique. Thèse d'université, Université de Rennes 1, February 2005. Keyword(s): file system, logical information system, navigation, file. [bibtex-entry]



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

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



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



3. B. Morin, Ludovic Mé, Hervé Debar, and M. 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]



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



5. Ludovic Langevine and M. 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]



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



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



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



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



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



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



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



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



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



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



4. A. Foret and S. 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]



5. Denis Béchet and A. 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]



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



7. P. Allard and S. 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]



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



9. M. Ducassé and S. 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]



10. S. Ferré. Agile Browsing of a Document Collection with Dynamic Taxonomies. In A. M. Tjoa and R. R. Wagner, editors, DEXA Int. Work. Dynamic Taxonomies and Faceted Search (FIND), pages 377-381, 2008. IEEE Computer Society. [PDF] Keyword(s): browsing, navigation, logical information system, dynamic taxonomies. [Abstract] [bibtex-entry]



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



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



13. S. Ferré. CAMELIS: Organizing and Browsing a Personal Photo Collection with a Logical Information System. In J. Diatta, P. Eklund, and M. Liquière, editors, Int. Conf. Concept Lattices and Their Applications, volume 331 of CEUR Workshop Proceedings ISSN 1613-0073, pages 112-123, 2007. [PDF] Keyword(s): logical information system, photo collection, organization, information retrieval. [Abstract] [bibtex-entry]



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



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



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



17. 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, 2006. [PDF] Keyword(s): logical information systems, geographical data, navigation, querying. [Abstract] [bibtex-entry]



18. O. Bedel, O. Ridoux, and E. Quesseveur. Combining Logical Information System and OpenGIS Tools for Geographical Data Exploration. In Int. Conf. Free and OpenSource Sofware for Geoinformatics, september 2006. [WWW] Keyword(s): logical information system, GIS, graphical data. [bibtex-entry]



19. S. Ferré. Negation, Opposition, and Possibility in Logical Concept Analysis.. In Rokia Missaoui and Jürg Schmid, editors, Int. Conf. Formal Concept Analysis, LNCS 3874, pages 130-145, 2006. Springer. Keyword(s): logic, concept analysis, epistemic logic, all i know. [bibtex-entry]



20. Y. Padioleau, B. Sigonneau, and O. Ridoux. LISFS: a logical information system as a file system (demo). In Leon J. Osterweil, H. Dieter Rombach, and Mary Lou Soffa, editors, Int. Conf. Software Engineering, pages 803-806, 2006. ACM. [bibtex-entry]



21. B. Sigonneau and O. Ridoux. Software Engineering Applications of Logic File System -- Application to Automated Multi-Criteria Indexation of Software Components. In ICSE Work. Mining Software Repositories, 2006. [bibtex-entry]



22. T. Denmat, A. Gotlieb, and M. Ducassé. Proving or Disproving Likely Invariants with Constraint Reasoning. In A. Serebrenik, editor, Proceedings of the 15th Workshop on Logic-based Method for Programming Environments, Sitges, SPAIN, October 2005. Note: Satelite event of International Conference on Logic Programming (ICLP'2005). Published in Computer Research Repository cs.SE/0508108. [WWW] Keyword(s): Software Engineering, Testing and Debugging, Program verification, Constraint and logic languages. [Abstract] [bibtex-entry]



23. 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. Keyword(s): logical concept analysis, relation, logical information system, navigation. [Abstract] [bibtex-entry]



24. L. Langevine and M. Ducassé. A Tracer Driver for Hybrid Execution Analyses. In Proceedings of the 6th Automated Debugging Symposium, September 2005. ACM Press. Note: See RR-5611 for a longer version of this article. [WWW] Keyword(s): Software Engineering, Debugging, Monitors, Tracing, Programming Environments. [Abstract] [bibtex-entry]



25. L. Langevine and M. Ducassé. A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs. In A. Serebrenik, editor, Proceedings of the 15th Workshop on Logic-based Method for Programming Environments, Sitges, SPAIN, October 2005. Note: Satelite event of International Conference on Logic Programming (ICLP'2005). Published in Computer Research Repository cs.SE/0508105. [WWW] Keyword(s): Software Engineering, Debugging, Monitors, Tracing, Programming Environments. [Abstract] [bibtex-entry]



26. Yoann Padioleau, B. 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]



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



28. B. Sigonneau and O. Ridoux. Indexation multiple et automatisée de composants logiciels orientés objet. In AFADL --- Approches Formelles dans l'Assistance au Développement de Logiciels, 2004. [bibtex-entry]



29. M. Ducassé, L. Langevine, and P. Deransart. Rigorous design of tracers: an experiment for constraint logic programming. In M. Ronsse, editor, Proceedings of the Fifth International Workshop on Automated Debugging, September 2003. CoRR cs.SE/0309027. [bibtex-entry]



30. Y. Padioleau and O. Ridoux. A Logic File System. In Proc. USENIX Annual Technical Conference, 2003. [bibtex-entry]



31. O. Ridoux. Logic Information Systems for Logic Programmers. In C. Palamidessi, editor, Proc. Int. Conf. Logic Programming, 2003. Springer-Verlag, LNCS. [bibtex-entry]



32. S. Bars, S. Ferré, and O. Ridoux. Logic Functors for Types as Search Keys. In Int. Workshop on Isomorphisms of Types, 2002. [WWW] [bibtex-entry]



33. 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. Keyword(s): concept analysis, logic, information systems, learning, classification, context. [Abstract] [bibtex-entry]



34. S. Ferré. Complete and Incomplete Knowledge in Logical Information Systems. In Salem Benferhat and Philippe Besnard, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, LNCS 2143, pages 782-791, 2001. Springer. Keyword(s): modal logic, All I know, complete and incomplete knowledge, information system. [Abstract] [bibtex-entry]



35. 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, 2001. Springer. [WWW] Keyword(s): logic, composition, theorem prover, logic-based systems. [Abstract] [bibtex-entry]



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



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



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



39. E. Jahier and M. Ducassé. A generic approach to monitor program executions. In D. De Schreye, editor, Proceedings of the International Conference on Logic Programming, November 1999. MIT Press. [WWW] Keyword(s): Monitoring, Trace analysis, Flexibility, Logic programming, Mercury. [Abstract] [bibtex-entry]



40. E. Jahier and M. Ducassé. Un traceur d'exécutions de programmes ne sert pas qu'au débogage. In F. Fages, editor, Actes des Journées francophones de Programmation Logique et par Contraintes, Lyon, juin 1999. Hermès. [WWW] Keyword(s): Dynamic analysis, Trace analysis, Monitoring, Measure of test coverage, Logic programming, Mercury. [Abstract] [bibtex-entry]



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



42. S. Mallet and M. Ducassé. An Informal Presentation of DDB Trees: A Basis for Deductive Database Explanations. In Ulrich Geske, editor, DDLP'97, Fifth International Workshop on Deductive Databases and Logic Programming, July 1997. GMD-Studien. Keyword(s): debugging, explanations, deductive databases, logic programming. [bibtex-entry]



43. S. Mallet and M. Ducassé. DDB trees: a basis for deductive database explanations. In Mariam Kamkar, editor, AADEBUG'97,Third International Workshop on Automated Debugging, Linköping, Sweden, pages 87-102, May 1997. [WWW] Keyword(s): debugging, explanations, deductive databases, logic programming. [Abstract] [bibtex-entry]



44. M. Ducassé and J. Noyé. Tracing Prolog without a tracer. In N. Fuchs and U. Geske, editors, Proceedings of the poster session at JICSLP'96, pages 223-232, September 1996. GMD- Forschungszentrum Informationstechnik GMBH, GMD-STUDIEN Nr.296, ISBN3-88457-296-2. Note: One page abstract also appears in Proc. of the JICSLP'96, MIT Press, ISBN 0-262-63173-3. [Abstract] [bibtex-entry]



45. P. Louvet and O. Ridoux. Parametric Polymorphism for Typed Prolog and $\lambda$Prolog. In 8th Int. Symp. Programming Languages Implementation and Logic Programming, volume 1140 of LNCS, Aachen, Germany, pages 47-61, 1996. [WWW] Keyword(s): Logic programming, typing, polymorphism, second-order lambda-calculus.. [Abstract] [bibtex-entry]



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



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



48. P. Brisset and O. Ridoux. Continuations in $\lambda$Prolog. In D.S. Warren, editor, 10th Int. Conf. Logic Programming, pages 27-43, 1993. MIT Press. [WWW] Keyword(s): LambdaProlog, compilation, continuation, exception handling.. [Abstract] [bibtex-entry]



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



50. Y. Bekkers, O. Ridoux, and L. Ungaro. Dynamic Memory Management for Sequential Logic Programming Languages. In Y. Bekkers and J. Cohen, editors, Int. Worshop on Memory Management, volume 637 of LNCS, pages 82-102, 1992. Springer-Verlag. [WWW] Keyword(s): Memory management, logic programming, garbage collection, usefulness logic.. [Abstract] [bibtex-entry]



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



52. P. Brisset and O. Ridoux. Naïve Reverse Can Be Linear. In K. Furukawa, editor, 8th Int. Conf. Logic Programming, pages 857-870, 1991. MIT Press. [WWW] Keyword(s): LambdaProlog, implementation, function-lists, higher-order unification.. [Abstract] [bibtex-entry]

1. S. Ferré. Navigating the Semantic Web with Logical Information Systems. internal publication 1934, Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), August 2009. [WWW] Keyword(s): logical information systems, semantic web, navigation, querying. [Abstract] [bibtex-entry]



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



3. Y. Padioleau and O. Ridoux. A Logic File System. Research Report 4656, INRIA, 2003. [WWW] Keyword(s): file system, information retrieval, applied logic. [Abstract] [bibtex-entry]



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



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



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



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

1. E. Jahier and M. Ducassé. Opium-M 0.1 User and Reference Manuals. IRISA, Rennes, March 1999. [WWW] Keyword(s): Logic programming, Mercury, Trace analyser, Trace query language, Automated debugging, User manual, Reference manual. [Abstract] [bibtex-entry]

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

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