Research

General Information:
  • Team: DSI (Data, Services, Intelligence)
Main research issues:
design, proof, application and use methodology of reasonings involving rules and ontologies

  • Description logics : matchmaking and concept difference
  • Logic programming : well-founded semantics, decision making
  • Applications:
    • (current) Game AI
    • (current) Aeronautics 
    • (past) Health
    • (past) Metrology
    • (past) Military operations
    • (past) Semantic retrieval of medical images
    • (past) Application integration with autoadaptative API
Collaborations:
PhD Students:
  • (current) Arun Raveendran Nair Sheela, working on hybridizing logic programming and ontologies in the aeronautics context. Funding : CIFRE by THALES AVS. 2023-
  • (current) Sylvain Lapeyrade, working on decision making in video game AI based on logic programming and ontologies. Funding : ANR. 2020-
  • (past) Axel Mascaro, Matchmaking multicritère basé sur une différence sémantique pour la logique de description EL. Funding : FEDER. 2019-2023
  • (past) John Samuel, Feeding a Data Warehouse with Data coming from Web Services. A Mediation Approach for the DaWeS prototype.. Funding : Bourse Innovation from the Conseil Regional d'Auvergne / FEDER. 2011-2014
  • (past) Yahia Chabane, Traitement sémantique et flexible de requêtes d'images médicales en utilisant une ontologie. Funding : ANR. 2011-2016