Skip to Main content Skip to Navigation


hal-00934033v1  Journal articles
Catherine BelleanneePascal BrissetOlivier Ridoux. A pragmatic reconstruction of Lambda-Prolog
Journal of Logic Programming, Elsevier, 1999, 41 (1), pp 67-102. ⟨10.1016/S0743-1066(98)10038-9⟩
...
inria-00363593v1  Conference papers
Peggy CellierMireille DucasséSébastien FerréOlivier Ridoux. Formal Concept analysis enhances Fault Localization in Software
Int. Conf. Formal Concept Analysis, 2008, Montreal, Canada. pp.273--288
...
inria-00363592v1  Conference papers
Olivier BedelSébastien FerréOlivier Ridoux. Handling Spatial Relations in Logical Concept Analysis To Explore Geographical Data
Int. Conf. Formal Concept Analysis, 2008, Montreal, Canada. pp.241--257
...
inria-00071929v1  Reports
Yoann PadioleauOlivier Ridoux. A Logic File System
[Research Report] RR-4656, INRIA. 2002
hal-01119579v1  Conference papers
Peggy CellierMireille DucasséSébastien FerréOlivier Ridoux. DeLLIS: A Data Mining Process for Fault Localization
International Conference on Software Engineering and Knowledge Engineering (SEKE), Jul 2009, Boston, United States
...
inria-00074287v1  Reports
Olivier Ridoux. Imagining CLP (Lambda, alphabeta)
[Research Report] RR-2388, INRIA. 1994
...
hal-00484116v1  Conference papers
Jeanne VillaneauJean-Yves AntoineOlivier Ridoux. Logical Approach to Natural Language Understanding in a Spoken Dialogue System
7th International Conference on Text, Speech and Dialogue, Sep 2004, Brno, Czech Republic. pp.637-644
...
hal-01253026v1  Conference papers
Peggy CellierSébastien FerréAnnie ForetOlivier Ridoux. Exploration des Données du Défi EGC 2016 à l'aide d'un Système d'Information Logique
16ème conférence francophone sur l'Extraction et la Gestion des Connaissances (EGC 2016), Jan 2016, Reims, France
hal-01119562v1  Conference papers
Peggy CellierMireille DucasséSébastien FerréOlivier Ridoux. Multiple Fault Localization with Data Mining
International Conference on Software Engineering & Knowledge Engineering (SEKE), Jul 2011, Miami, United States
hal-01119534v1  Conference papers
Soda CisséPeggy CellierOlivier Ridoux. Segmentation of Geolocalized Trajectories using Exponential Moving Average
Colloque Africain sur la Recherche en Informatique et Mathématiques Appliquées (CARI), Oct 2014, Saint Louis, Senegal
hal-01119634v1  Conference papers
Peggy CellierSébastien FerréOlivier RidouxMireille Ducassé. An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy
International Conference on Concept Lattices and Their Applications, Oct 2006, Hammamet, Tunisia
...
inria-00363607v1  Conference papers
Sébastien FerréOlivier Ridoux. Logical Information Systems: from Taxonomies to Logics
DEXA Work. Dynamic Taxonomies and Faceted Search (FIND), 2007, Regensburg, Germany. pp.212--216
...
inria-00363605v1  Conference papers
Olivier BedelSébastien FerréOlivier RidouxErwan Quesseveur. Exploring a Geographical Dataset with GEOLIS
DEXA Work. Advances in Conceptual Knowledge Engineering (ACKE), 2007, Regensburg, Germany. pp.540--544
...
inria-00549856v1  Conference papers
Pierre AllardSébastien FerréOlivier Ridoux. Discovering Functional Dependencies and Association Rules by Navigating in a Lattice of OLAP Views
Concept Lattices and Their Applications, Oct 2010, Sevilla, Spain. pp.199-210
...
inria-00187048v1  Conference papers
Olivier BedelSébastien FerréOlivier RidouxErwan Quesseveur. GEOLIS: A Logical Information System for Geographical Data
International Conference on Spatial Analysis and GEOmatics - SAGEO 2006, WEBER Christiane, GANCARSKI Pierre, Sep 2006, Strasbourg, France
...
hal-00180601v1  Conference papers
Peggy CellierSébastien FerréOlivier RidouxMireille Ducassé. A Parameterized Algorithm for Exploring Concept Lattices
Int. Conf. Formal Concept Analysis, Feb 2007, France. pp.114--129
...
hal-00783203v1  Journal articles
Daniel Le MétayerValérie-Anne NicolasOlivier Ridoux. Programs, Properties, and Data: Exploring the Software Development Trilogy
IEEE Software, Institute of Electrical and Electronics Engineers, 1998, 15 (6), pp.75-81. ⟨10.1109/52.730849⟩
...
hal-00783194v1  Journal articles
Daniel Le MétayerValérie-Anne NicolasOlivier Ridoux. Verification by Testing for Recursive Program Schemes
Lecture Notes in Computer Science, Springer, 2000, 1817 (Logic-Based Program Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Selected Pa), pp.255-272. ⟨10.1007/10720327_15⟩
...
hal-03155296v1  Preprints, Working Papers, ...
Olivier Ridoux. The Art of Picopoly
2021