Robert Hoehndorf

Métodos inovadores aprimoram embeddings de ontologia pra melhorar a conclusão da base de conhecimento.

FEAS melhora a prova automática de teoremas para equações funcionais usando novas estratégias.

Aprenda como o DELE melhora a conclusão da base de conhecimento com técnicas inteligentes.