DUCROS - Théo

Toutes les publications (4)
Date/Type Titre/URL/journal Domaines Notes SJR/Core Cit. GScholar
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