DUCROS - Théo



B104 ISIMA
theo.ducros@isima.fr
04 73 40 50 08
Appui recherche
Axe SIC : Systèmes d’Information et de Communication
Thème(s) : Données, Services, Intelligence

Dernière(s) publication(s) au LIMOS :

Toutes les publications de Théo DUCROS au LIMOS

Dernière(s) publication(s) au 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