Robert Hoehndorf

革新的な方法が、知識ベースの補完をより良くするためにオントロジー埋め込みを洗練させる。

FEASは新しい戦略を使って関数方程式の自動定理証明を強化するよ。

DELEがスマートなテクニックで知識ベースの完成度を向上させる方法を学ぼう。