Filippo De Bortoli

コンクリートドメインの統合を記述論理に取り入れて、推論を強化することを探る。