EITER T について
Technical Univ. Vienna, Wien, AUT について
GOTTLOB G について
Technical Univ. Vienna, Wien, AUT について
GUREVICH Y について
Univ. Michigan, MI, USA について
Proceedings of the International Joint Conference on Artificial Intelligence について
非単調推論 について
計算の複雑さ について
人工知能 について
計算理論 について
理論 について
サーカムスクリプション について
手法 について