Theo Ducros
According to our database1,
Theo Ducros
authored at least 3 papers
between 2017 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Reasoning in Descriptions Logics Augmented with Refreshing Variables. (Raisonner en Logiques de Description Augmentées avec la Sémantique Rafraichissante).
PhD thesis, 2022
2021
Weak Subsumption in the EL-Description Logic with Refreshing Variables (Extended Abstract).
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
2017
Proceedings of the Twelfth International Conference on Digital Information Management, 2017