Michael R. Genesereth and Nils J. Nilsson:Logical Foundations of Artificial Intelligence, Morgan Kaufmann Publishers, Inc. (1987).

スポンサーリンク

概要

• 論文の詳細を見る
• 社団法人人工知能学会の論文
• 1988-09-20

著者

• 古川 康一

  Ijcai-97実行委員会

• 古川 康一

  Icot

関連論文

• 制約プログラミングについて : 制約ロジックプログラミングを中心として
• ICOT-JIPDEC AIセンター編 : 人工知能の技術と利用,財団法人日本情報処理開発協会 (1989).
• 非単調推論
• 融合の逆操作
• 第五世代コンピュータ・プロジェクトの概観 (「第五世代コンピュータ」)
• 展開・たたみ込みプログラム変換
• 心をもつ機械 : ミンスキーと人工知能, J. Bernstein著, 米澤明憲, 米澤美緒訳, 岩波書店, 1987.
• 物理法則に基づいた定性推論
• 第五世代コンピュータのソフトウェア
• Third International Conference on Logic Prgrammingに出席して
• 仮説選定機構の一実現法
• 物理法則に基づいた定性的推論
• 学習システム研究の現状と課題 (学習)
• 論理型プログラミング言語Prologによる知識ベース管理システム
• 21・2 計算機システム : 21. システム一般(機械工学年鑑)
• ソフトウェア科学会第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)
• 第15回人工知能国際会議報告
• 論理型並列プログラミング言語Concurrent Prologによる在庫管理システムの記述 (新しいプログラミング・パラダイムによる共通問題の設計)
• 論文特集「ALT '92」について
• AI研究と国際化
• 論理と応用(3)
• 論理と応用(2)
• 論理と応用(1)
• ICOT
• プログラムを最適化するには--プログラム変換と並列プログラミング (並列知識情報処理--並列と推論)
• 感性とコンピュ-タ (感情と情報--感性と科学の接点)
• 並列処理と推論 (推論--人工知能の基礎理論)
• 「AIマップ : 機械学習から機械発見へ」へのコメントと回答

もっと見る 閉じる

スポンサーリンク