Bogaerts Bart について
Department of Computer Science, KU Leuven, 3001 Heverlee, Belgium について
Vennekens Joost について
Department of Computer Science, KU Leuven, 3001 Heverlee, Belgium について
Vennekens Joost について
Department of Computer Science, KU Leuven, Campus De Nayer, 2860 Sint-Katelijne-Waver, Belgium について
Denecker Marc について
Department of Computer Science, KU Leuven, 3001 Heverlee, Belgium について
Artificial Intelligence について
安全基準 について
意味論 について
安全性 について
知識表現 について
論理プログラミング について
代数学 について
自己認識論理 について
近似不動点理論 について
格子演算子 について
帰納的定義 について
誘導プロセス について
建設 について
良い基礎を持つ意味論 について
grodedness性 について
論理プログラミング について
自己認識論理 について
抽象議論 について
人工知能 について
誘導 について
知識表現 について
応用 について