自動プログラミング
コンピュータアーキテクチャ
データモデル
エキスパートシステム
ゲーム理論
推論
知識表現
学習
論理プログラミング
自然言語
プランニング
問題解決
プログラミング言語
探索
定理証明