Olivier Ridoux

Proceedings of the Extraction et Gestion des Connaissances, 2023

2022

How to Integrate Environmental Challenges in Computing Curricula?

[BibT_eX]

[DOI]

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

2016

Exploration des Données du Défi EGC 2016 à l'aide d'un Système d'Information Logique.

[BibT_eX]

[DOI]

Proceedings of the 16ème Journées Francophones Extraction et Gestion des Connaissances, 2016

2015

Représentation Symbolique de Trajectoires Géolocalisées.

[BibT_eX]

[DOI]

Soda Marème Cissé

Peggy Cellier

Proceedings of the Actes de la 11ème conférence internationale annuelle Spatial Analysis and GEOmatics, 2015

2012

Cubes of Concepts: Multi-dimensional Exploration of Multi-valued Contexts.

[BibT_eX]

[DOI]

Pierre Allard

Proceedings of the Formal Concept Analysis - 10th International Conference, 2012

2011

Multiple Fault Localization with Data Mining.

[BibT_eX]

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

2010

Discovering Functional Dependencies and Association Rules by Navigating in a Lattice of OLAP Views.

[BibT_eX]

[DOI]

Pierre Allard

Proceedings of the 7th International Conference on Concept Lattices and Their Applications, 2010

2009

DeLLIS: A Data Mining Process for Fault Localization.

[BibT_eX]

Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

2008

A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2008

Formal Concept Analysis Enhances Fault Localization in Software.

[BibT_eX]

[DOI]

Proceedings of the Formal Concept Analysis, 6th International Conference, 2008

Handling Spatial Relations in Logical Concept Analysis to Explore Geographical Data.

[BibT_eX]

[DOI]

Olivier Bedel

Proceedings of the Formal Concept Analysis, 6th International Conference, 2008

2007

GEOLIS: a logical information system for geographical data.

[BibT_eX]

[DOI]

Rev. Int. Géomatique, 2007

A Parameterized Algorithm for Exploring Concept Lattices.

[BibT_eX]

[DOI]

Proceedings of the Formal Concept Analysis, 5th International Conference, 2007

From Description Logics to Logic Functors, and Back.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Logical Information Systems: from Taxonomies to Logics.

[BibT_eX]

[DOI]

Proceedings of the 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 2007

Exploring a Geographical Dataset with GEOLIS.

[BibT_eX]

[DOI]

Proceedings of the 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 2007

2006

Indexation multiple et automatisée de composants logiciels.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2006

Software engineering applications of logic file system: application to automated multi-criteria indexation of software components.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Mining Software Repositories, 2006

LISFS: a logical information system as a file system.

[BibT_eX]

[DOI]

Yoann Padioleau

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy.

[BibT_eX]

[DOI]

Proceedings of the Concept Lattices and Their Applications, 2006

2005

A Parts-of-File File System.

[BibT_eX]

[DOI]

Yoann Padioleau

Proceedings of the 2005 USENIX Annual Technical Conference, 2005

Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information.

[BibT_eX]

[DOI]

Tristan Denmat

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Arbitrary Relations in Formal Concept Analysis and Logical Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Common Semantics for Sharing Knowledge, 2005

2004

LOGUS : compréhension de l'oral spontané. Présentation et évaluation des bases formelles de LOGUS.

[BibT_eX]

[DOI]

Rev. d'Intelligence Artif., 2004

Introduction to logical information systems.

[BibT_eX]

[DOI]

Inf. Process. Manag., 2004

Logical Approach to Natural Language Understanding in a Spoken Dialogue System.

[BibT_eX]

[DOI]

Proceedings of the Text, Speech and Dialogue, 7th International Conference, 2004

2003

Programmation, logique et calcul. Présentation d'un enseignement de maîtrise d'informatique.

[BibT_eX]

[DOI]

Catherine Belleannée

Tech. Sci. Informatiques, 2003

A Logic File System.

[BibT_eX]

[DOI]

Yoann Padioleau

Proceedings of the General Track: 2003 USENIX Annual Technical Conference, 2003

Logic Information Systems for Logic Programmers.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 19th International Conference, 2003

2002

LOGUS : un système formel de compréhension du français parlé spontané-présentation et évaluation.

[BibT_eX]

[DOI]

Proceedings of the Actes de la 9ème conférence sur le Traitement Automatique des Langues Naturelles. Articles longs, 2002

The Use of Associative Concepts in the Incremental Building of a Logical Context.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Integration and Interfaces, 2002

Iteration schemes for fixed point calculation.

[BibT_eX]

Thomas P. Jensen

Florimond Ployette

Proceedings of the Fixed Points in Computer Science, 2002

2001

Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog.

[BibT_eX]

J. Funct. Log. Program., 2001

A Framework for Developing Embeddable Customized Logics.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2001

Combining Syntax and Pragmatic Knowledge for the Understanding of Spontaneous Spoken Sentences.

[BibT_eX]

[DOI]

Proceedings of the Logical Aspects of Computational Linguistics, 2001

Searching for Objects and Properties with Logical Concept Analysis.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Broadening the Base, 2001

2000

Specifying Prolog Trace Models with a Continuation Semantics.

[BibT_eX]

[DOI]

Erwan Jahier

Proceedings of the Logic Based Program Synthesis and Transformation, 2000

Spécification de modèles de traces à l'aide d'une sémantique par continuations.

[BibT_eX]

Erwan Jahier

Proceedings of the Programmation en logique avec contraintes, 2000

A Logical Generalization of Formal Concept Analysis.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Logical, 2000

A File System Based on Concept Analysis.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2000

1999

Specifying Byrd's Box Model with a Continuation Semantics.

[BibT_eX]

[DOI]

Erwan Jahier

Proceedings of the Tenth Workshop on Logic Programming Environments, 1999

A Pragmatic Reconstruction of lambda-Prolog.

[BibT_eX]

[DOI]

Catherine Belleannée

J. Log. Program., 1999

Verification by Testing for Recursive Program Schemes.

[BibT_eX]

[DOI]

Daniel Le Métayer

Valérie-Anne Nicolas

Proceedings of the Logic Programming Synthesis and Transformation, 1999

Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog.

[BibT_eX]

Proceedings of the JFPLC'99, 1999

Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1998

Exploring the Software Development Trilogy.

[BibT_eX]

[DOI]

Daniel Le Métayer

Valérie-Anne Nicolas

IEEE Softw., 1998

Compilation abstraite de LambdaProlog.

[BibT_eX]

Proceedings of the JFPLC'98, 1998

Abstract Compilation of lambda-Prolog.

[BibT_eX]

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

1996

Parametric Polymorphism for Typed Prolog and lambda-Prolog.

[BibT_eX]

[DOI]

Pascale Louvet

Proceedings of the Programming Languages: Implementations, 1996

Engineering Transformations of Attributed Grammars in LambdaProlog.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1996

1995

On the Use of Advanced Logic Programming Languages in Computational Linguistics.

[BibT_eX]

[DOI]

Solange Coupet-Grimal

J. Log. Program., 1995

1994

Imagining CLP(A, equiv alpha beta)

[BibT_eX]

[DOI]

Proceedings of the Constraint Programming: Basics and Trends, Châtillon Spring School, 1994

The Architecture of an Implementation of Lambda-Prolog: Prolog/Mali.

[BibT_eX]

Proceedings of the ILPS 1994, 1994

1993

Les grammaires logiques et lambda-Prolog.

[BibT_eX]

Pascale Louvet

Proceedings of the 2èmes Journées Francophones de Programmation Logique (JFPL 93), 1993

Logic Grammars and Lambda-Prolog.

[BibT_eX]

Pascale Louvet

Proceedings of the Logic Programming, 1993

Continuations in Lambda-Prolog.

[BibT_eX]

Proceedings of the Logic Programming, 1993

1992

Dynamic Memory Management for Sequential Logic Programming Languages.

[BibT_eX]

[DOI]

Yves Bekkers

Lucien Ungaro

Proceedings of the Memory Management, 1992

1991

Naïve Reverse Can be Linear.

[BibT_eX]

Proceedings of the Logic Programming, 1991

1990

Une mise en oeuvre de l'unification d'expressions booléennes.

[BibT_eX]

H. Tonneau

Proceedings of the SPLT'90, 1990

1989

Quelques applications du filtrage paresseux.

[BibT_eX]

Proceedings of the SPLT'89, 1989

1987

Style de programmation pour une machine de programmation logique munie d'un récupérateur de mémoire.

[BibT_eX]

Louis Chevalier

Proceedings of the SPLT'87, 1987

Deterministic and Stochastic Modeling of Parallel Garbage Collection - Towards Real-Time Criteria.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual International Symposium on Computer Architecture. Pittsburgh, 1987

1986

MALI: A Memory with a Real-time Garbage Collector for Implementing Logic Programming Languages.

[BibT_eX]

Proceedings of the 1986 Symposium on Logic Programming, 1986

Une expérience de réalisation du Gel et du Dif dans MALI.

[BibT_eX]