Mandala : A unified system for modular programming and knowledge representation on Concurrent Prolog
スポンサーリンク
概要
著者
-
竹内 彰一
ソネットエンタテインメント株式会社
-
古川 康一
(財)新世代コンピュータ技術開発機構
-
古川 康一
新世代コンピュータ技術開発機構
-
竹内 彰一
(財)新世代コンピュータ技術開発機構
-
国藤 進
(財)新世代コンピュータ技術開発機構
関連論文
- 推薦システムにおける段階評価の有効性に関する考察
- ソフトウェア科学会第3回大会
- オブジェクト指向計算特集の編集にあたって
- 制約プログラミングについて : 制約ロジックプログラミングを中心として
- 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による在庫管理システムの記述 (新しいプログラミング・パラダイムによる共通問題の設計)
- パネル討論会 : オブジェクト指向の展望 : 昭和63年度後期第37回 全国大会報告
- ANDOR並列論理型言語ANDOR-IIの並列論理型言語への変換
- フォトポリマーホログラムの自動車用ヘッドアップディスプレイへの応用
- Situated Interface : 社会的インタラクションに向けて
- ビジョンを備えた表情インタフェースとのインタラクション
- 「擬似対人行動 : 誘発の条件」について
- 特集「インタラクティブシステムとソフトウェア」の編集にあたって (インタラクティブシステムとソフトウェア)
- 視線を伴った表情とのインタラクション
- A Debugger for AND and OR-Parallel Logic Programming Languge ANDOR-II
- A Debugger for AND- and OR-Parallel Logic Programming Language ANDOR-II
- 知識メディアステーションによる共同作業の支援について
- 知識メディアステ-ションによる新形態の知識処理 (エキスパ-トシステム)
- オブジェクト指向計算ワークショップの報告
- 知識メディアステーション(1)概要
- オブジェクト指向の指向するもの (オブジェクト指向プログラミング)
- Connectionism : Connectionism Symposiumに出席して
- Third International Conference on Logic Programming
- 知識工学と第5世代コンピュータ(知識工学)
- 日本における第5世代コンピュータ・プロジェクト全体像
- 論理型計算モデル (非手続き型プログラミングのための計算モデル)
- プログラムを最適化するには--プログラム変換と並列プログラミング (並列知識情報処理--並列と推論)
- 感性とコンピュ-タ (感情と情報--感性と科学の接点)
- 並列処理と推論 (推論--人工知能の基礎理論)
- 第5世代計算機のソフトウェア技術の展望 (ソフトウェア生産技術の現状と将来特集) -- (ソフトウェア生産技術の話題)
- Concurrent Prologは「論理型」並列プログラミング言語か?
- 論理型並列プログラミング言語 : Concurrent Prolog
- 神経回路網の自己組織理論