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 |