Robert Hoehndorf

Des méthodes innovantes améliorent les embeddings d'ontologie pour une meilleure complétion de la base de connaissances.

FEAS améliore la démonstration automatique de théorèmes pour les équations fonctionnelles en utilisant de nouvelles stratégies.

Apprends comment DELE améliore la complétion de la base de connaissances avec des techniques malignes.