Research

Main topics with representative papers  and tools

Formal Concept Analysis (lattice theory for AI and knowledge engineering)

• Theoretical aspects (Relational Concept Analysis)                        Guided Tour on AI 2020 – KBS 2018 –  AMAI 2013 – AMAI 2007

• RCAexplore tool (by Xavier Dolques, ENGEES)                ATFCA ws @ ICFCA 2019
• FCA4J Java toolkit for formal concept analysis purposes (by Alain Gutierrez, LIRMM)
• RCAViz supported by #Digitag Visualisation and navigation of conceptual structures (by Emile Muller, LIRMM) Int.J of Approximate Reasoning 2024

• On-demand Relational Concept Analysis ICFCA2019
• AOC-poset algorithms: (http://www.lirmm.fr/AOC-poset-Builder/)   AMAI 2014
• Link with propositionalisation ICFCA2014

• Applications in ontology engineering and knowledge representation                                 ICFCA 2007 – DAC 2007
• Application to environmental datasets (see below)
• Applications in software engineering     (see below)

Digital Debate

• AI for the digital debate TextMine’24 @ EGC2024

FCA and Environmental datasets

• Exploration of biopesticide datasets (Knomana project) ICCS2021  CLA 2020 ICFCA2019
• Data mining on hydroecologic datasets (Fresqueau project)  AKDM2016  IJGS15

Software Product Lines

• FCA as a structural framework for SPL
  • keynote at SPLC 2023
  • Boolean variability relationships extraction JSS2019/1
  • Complex variability relationships extraction JSS2019/2
  • Implication rules DAM2019
• Extracting features from source code   IRI 2013 – SEKE 2014
• Adapting a feature model to a context   SEKE 2013

Model Driven Engineering

• Learning model transformation patterns By-Example       MODELS 2012
• model, meta-model matching                                      ASE 2013 – ECMFA 2011 – MODELS 2008
• Class model and use case model reengineering            EDOC2013 – FI2012 (CLA2010) – MODELS 2006

Web Accessibility

• Adapting a Web page to specific user needs W4A2015  IJonAIT2014
• Tool EWPA 

Identifier Analysis

• automatic classification, creation of an identifier network    IDA 2014 – ICPC 2010

Component-based and service-based approaches

• Formal approach of a multi-level architecture Sci.Comp.Prog.2016
• SCL language   CLSS 2012
• composite port model for dynamic component assembling  JSME 2008
• component models for domotic environment SEKE 2011
• Web service and components directories, Web service selection JOT2019 ICWS 2011 – ICWS 2012 – IJGS 2008

Object-oriented approaches

• Class hierarchies reengineering   MASPEGHI2019  BDA 1995 – OOPSLA 1996 – ITA 2000
• Class hierarchy encoding, decomposition     KRUSE 1995 – ALGORITHMICA 1995
• Conflict resolution     OOPSLA 1992 – OOPSLA 1994
• Static access control    JOT 2004 – JOT 2002
• Exception modeling    LNCS 2001
• Shadows models   CISIS 2008

Dernière mise à jour le 02/08/2019