- University: Université Clermont Auvergne
- Laboratory: LIMOS, UMR 6158
- Team: DSI (Data, Services, Intelligence)
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
- With Xavier Goblet, Research Engineer at Jeolis Solutions.
- With Karima Ennaoui, Postdoc at LIMOS on the IBC project funded by DGA via Dassault Systems.
- With Elias Tahhan (University Simon Bolivar) and Jerzy Tomasik (LIMOS)
- With Farouk Toumani (LIMOS) and Alain Léger (Orange Labs), Mohand-SaidHacid (LIRIS, Lyon, France), Boualem Benatallah (UNSW, Sydney, Australia)
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