スポンサーリンク
ICOT | 論文
- 仮説選定機構の一実現法
- 物理法則に基づいた定性的推論
- 学習システム研究の現状と課題 (学習)
- 論理型プログラミング言語Prologによる知識ベース管理システム
- 21・2 計算機システム : 21. システム一般(機械工学年鑑)
- オントロジーを用いた異種仕様書にまたがる用語の一貫性確保に関する一考察(要求工学・仕様化技術)
- 制約論理プログラミングによるロボット構造設計支援システムの構築
- 並列推論マシンPIM/pの概要
- オープンデータへのリンクとアノテーションとしての学術用語辞典
- パネル討論会 : 理輪は実践を導けるか,実践は理論を生かせるか? : 第1回プログラミング : 言語・基礎・実践 研究会報告
- ソフトウェア科学会第4回大会
- 大規模知識ベースマシン実験機の開発(4) : 単一化エンジンの評価
- 並列推論マシンPIM : ストリームの効率的実現方式
- パネル討論 「人工知能システム実現への課題」
- パネル討論会 : 人工知能とプログラミングの接点
- LRCによるインクリメンタルGCの評価
- 可変長レコード用関係データベース処理エンジンの試作とソート処理性能の評価
- Michael R. Genesereth and Nils J. Nilsson:Logical Foundations of Artificial Intelligence, Morgan Kaufmann Publishers, Inc. (1987).
- 「人工知能の展望」 : 1987年7月20日 人工知能学会全国大会(於:学習院大学記念会館)にて
- 元岡 達, 淵 一博 編, "New Generation Computing : An International Journal on Fifth Generation Computers", オーム社, Springer-Verlag, B5 変形判, (年 \27,500)
スポンサーリンク