Thesis defence

Khadija Jradeh

on the 12 July 2022
at 2:00 p.m.
Optimised tableau algorithms for reasoning in the description logic ALC extended with link keys
Find out more

 

Location

Grand Amphi  in Inria
and https://univ-grenoble-alpes-fr.zoom.us/j/96807881871?pwd=eWd6VUhoVndMczl...
 
Mis à jour le 7 July 2022