Robert Hoehndorf

Innovative Methoden verfeinern Ontologie-Embeddings für eine bessere Vollständigung von Wissensdatenbanken.

FEAS verbessert das automatisierte Beweisen von Theoremen für funktionale Gleichungen mit neuen Strategien.

Lerne, wie DELE die Wissensdatenbank-Vervollständigung mit coolen Techniken verbessert.