論理型計算モデル (<特集>非手続き型プログラミングのための計算モデル)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1983-02-15
著者
-
古川 康一
(財)新世代コンピュータ技術開発機構
-
古川 康一
新世代コンピュータ技術開発機構
-
後藤 滋樹
Nttソフトウェア研究所広域コンピューティング研究部
-
後藤 滋樹
日本電信電話公社武蔵野電気通信研究所
関連論文
- 制約プログラミングについて : 制約ロジックプログラミングを中心として
- 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回大会
- 論理型並列プログラミング言語Concurrent Prologによる在庫管理システムの記述 (新しいプログラミング・パラダイムによる共通問題の設計)
- 知識工学と第5世代コンピュータ(知識工学)
- 日本における第5世代コンピュータ・プロジェクト全体像
- 論理型計算モデル (非手続き型プログラミングのための計算モデル)
- ギガビットネットワークの壁 (情報処理最前線)
- プログラムを最適化するには--プログラム変換と並列プログラミング (並列知識情報処理--並列と推論)
- 感性とコンピュ-タ (感情と情報--感性と科学の接点)
- 並列処理と推論 (推論--人工知能の基礎理論)
- Prolog の言語機能詳説 (プログラミング言語 Prolog)
- 論理と論理プログラミング
- プログラム・シンセシス
- 81-04 演繹的なプログラム合成法
- 81-03 PROLOG についての考察
- 76-12 強い意味でのプログラムの検証について
- 75-28 ループを含むプログラムの証明について
- 74-28 仮想化可能な第三世代計算機
- 第5世代計算機のソフトウェア技術の展望 (ソフトウェア生産技術の現状と将来特集) -- (ソフトウェア生産技術の話題)