DUCROS - Théo
B104 ISIMA
theo.ducros@isima.fr
04 73 40 50 08
Research assistance
Axis ICS : Information and Communication Systems
Thème(s) : Data, Services, Intelligence
Last publications in LIMOS
All the publications of Théo DUCROS at LIMOS
Last publications in LIMOS
Last publications in LIMOS
| 2022
THESE |
Théo Ducros
Reasoning in Descriptions Logics Augmented with Refreshing Variables |
Informatique/Logique en informatique |
| 2021
COMM |
Théo Ducros, Marinette Bouet, Farouk Toumani
Reasoning in EL-Description Logic with Refreshing Variables Conférence Base de données avancées (BDA) - 2021 |
Informatique/Logique en informatique |
| 2021
COMM |
Théo Ducros, Marinette Bouet, Farouk Toumani
Weak-Subsumption in the EL-Description Logic with Refreshing Variables 34th International Workshop on Description Logics - 2021 |
Informatique/Logique en informatique |
| 2021
UNDEFINED |
Théo Ducros, Marinette Bouet, Farouk Toumani
Weak subsumption in the EL-description logic with refreshing variables |
Informatique/Logique en informatique |