融合の逆操作
スポンサーリンク
概要
著者
関連論文
-
制約プログラミングについて : 制約ロジックプログラミングを中心として
-
ICOT-JIPDEC AIセンター編 : 人工知能の技術と利用,財団法人日本情報処理開発協会 (1989).
-
非単調推論
-
融合の逆操作
-
第五世代コンピュータ・プロジェクトの概観 (「第五世代コンピュータ」)
-
展開・たたみ込みプログラム変換
-
心をもつ機械 : ミンスキーと人工知能, J. Bernstein著, 米澤明憲, 米澤美緒訳, 岩波書店, 1987.
-
物理法則に基づいた定性推論
-
第五世代コンピュータのソフトウェア
-
Third International Conference on Logic Prgrammingに出席して
-
仮説選定機構の一実現法
-
物理法則に基づいた定性的推論
-
学習システム研究の現状と課題 (学習)
-
論理型プログラミング言語Prologによる知識ベース管理システム
-
21・2 計算機システム : 21. システム一般(機械工学年鑑)
-
FGCS'84開催報告
-
Prolog 総論 (プログラミング言語 Prolog)
-
2nd International Logic Programming Conferenceに出席して
-
21・2 計算機システム(21.システム一般,機械工学年鑑)
-
Mandala : A unified system for modular programming and knowledge representation on Concurrent Prolog
-
ソフトウェア科学会第4回大会
-
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)
-
論理型並列プログラミング言語Concurrent Prologによる在庫管理システムの記述 (新しいプログラミング・パラダイムによる共通問題の設計)
-
知識工学と第5世代コンピュータ(知識工学)
-
日本における第5世代コンピュータ・プロジェクト全体像
-
論理型計算モデル (非手続き型プログラミングのための計算モデル)
-
ICOT
-
プログラムを最適化するには--プログラム変換と並列プログラミング (並列知識情報処理--並列と推論)
-
感性とコンピュ-タ (感情と情報--感性と科学の接点)
-
並列処理と推論 (推論--人工知能の基礎理論)
-
第5世代計算機のソフトウェア技術の展望 (ソフトウェア生産技術の現状と将来特集) -- (ソフトウェア生産技術の話題)
もっと見る
閉じる
スポンサーリンク