Robert Hoehndorf

Metodi innovativi affinano le embedding dell'ontologia per una migliore completamento della base di conoscenza.

FEAS migliora la dimostrazione automatica dei teoremi per le equazioni funzionali utilizzando nuove strategie.

Scopri come DELE migliora il completamento della base di conoscenza con tecniche intelligenti.