制約プログラミングについて : 制約ロジックプログラミングを中心として
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人人工知能学会の論文
- 1991-01-01
著者
-
古川 康一
(財)新世代コンピュータ技術開発機構
-
古川 康一
Icot
-
相場 亮
(財)新世代コンピュータ技術開発機構
-
古川 康一
新世代コンピュータ技術開発機構
-
相場 亮
ICOT
-
相場 亮
新世代コンピュータ技術開発機構
関連論文
- ソフトウェア科学会第5回大会
- 制約プログラミングについて : 制約ロジックプログラミングを中心として
- 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による在庫管理システムの記述 (新しいプログラミング・パラダイムによる共通問題の設計)
- ネゴシエーションによる制約緩和の並列実装
- ネゴシエーションに基づくアブダクション
- 制約ロジック・プログラミング : 知識処理への新しいパラダイム
- 89-34 制約の階層と論理プログラミング
- ブーリアン・グレブナー基底の Syzygy 基底による特徴付け
- 制約論理プログラミングシステム (制約論理プログラミング)
- 視覚的制約プログラミングについて
- 制約論理プログラミング言語CALについて (「第五世代コンピュータ」)
- 制約論理プログラミング言語(Constraint Logic Programming)
- 知識工学と第5世代コンピュータ(知識工学)
- 日本における第5世代コンピュータ・プロジェクト全体像
- 論理型計算モデル (非手続き型プログラミングのための計算モデル)
- ICOT
- プログラムを最適化するには--プログラム変換と並列プログラミング (並列知識情報処理--並列と推論)
- 感性とコンピュ-タ (感情と情報--感性と科学の接点)
- 並列処理と推論 (推論--人工知能の基礎理論)
- 第5世代計算機のソフトウェア技術の展望 (ソフトウェア生産技術の現状と将来特集) -- (ソフトウェア生産技術の話題)