DUCROS - Théo

Toutes les publications (3)
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