証明補完と適切さの論理に基づく仮説選択 (論理と学習)
スポンサーリンク
概要
人工知能学会 | 論文
- 領域オントロジーと個人嗜好情報に基づくモバイル型レコメンデーションシステムの構成 (特集 「セマンティックWebとソフトウェア工学」および一般) -- (オントロジーとエージェントとWebサービス)
- オブジェクト指向に基づくロボット・エージェントのマルチドメイン対話行動制御モジュール構築ツールRIME-TK
- 遺伝的アルゴリズムに基づく複合人物動作の生成 (人工知能基礎論研究会(第55回)特集「エンタテイメントコンピューティングの基礎と応用」および一般) -- (セッション(5)エンタテインメントコンピューティング(3))
- eポートフォリオのための形式的記述モデル
- 教育用メタモデルとの連係を考慮したe-Learningシステム動作記述手法