人工知能におけるアルゴリズム (最近のアルゴリズム特集) -- (情報・システム)
スポンサーリンク
概要
著者
関連論文
- 束を用いた概念間の包摂関係に関する表現と利明方式
- 拡張項と階層構造に基づいた演繹データベースの試作
- 「AIマップ-AIにおける科学革命」へのコメント
- 状況理論による法的推論の形式化
- 6. 演繹・オブジェクト指向データベース (演繹データベース)
- 言語情報処理の枠組みとしてのQUIXOTE
- 自然言語の制約ベース文法理論へのDOOD風アプローチ
- 演繹オブジェクト指向データベース言語Quixoteの手続き的意味論
- 大規模知識ベースの構築と利用
- 3. わが国における情報学の課題 (情報学とその課題)
- EDR 電子化辞書
- 知の空間を構成する大規模知識ベース : 知識インフラの構築とインテリジェント化の技術
- 知識処理と自然言語処理の融合としての大規模知識ベース : 電子化辞書から知識アーカイブヘ (「大規模知識ベース」)
- 語彙知識から世界知識へ - 自然言語処理を拠所とする大規模知識ベースの構想
- 電子化辞書から電子化用語辞書へ ( ターミノロジー)
- 学会情報処理
- (5) 事業 : 全国大会・出版・購習会 (学会活動の現状と課題)
- 徹底した記号主義
- 日本電子化辞書研究所
- 制約ロジック・プログラミング : 知識処理への新しいパラダイム
- 人工知能におけるアルゴリズム (最近のアルゴリズム特集) -- (情報・システム)
- 知識ベース管理システムKAPPAの構想 : PSIの環境と設計方針
- 演繹オブジェクト指向データベースQUIXOTEの法的推論への応用 (「知識処理応用とデータベース」)
- micro-Quixoteの実現とその拡張機能
- Quixoteによる法律データベースの構築
- データベースに判決は予測できるか?
- 法的推論システムTRIALの開発
- 演繹オブジェクト指向データベースについて
- 「パズルの挑戦!」解答と講評
- AI入門-15-定理証明技術
- AI入門-14-数学とAI
- 項書換えシステム
- 証明支援システムCAP (「人工知能と定理証明システム」)
- Workshop on Languages and Constraintsの報告
- Knuth-Bendixの完備化手続きとその応用
- INCORPORATING NAIVE NEGATION INTO PROLOG
- 正規論理とそのmodelについて(計算機構に関する数学的基礎理論とその応用)
- 3. オブジェクト指向データベースの技術的諸問題 3.2 オブジェクト指向データベース・プログラミング言語 (オブジェクト指向データベースシステム)
- 知識ベース管理システムKAPPAにおける知識の扱い : 項、意味ネット、フレームの扱い
- 知識ベース管理システムKappaの概要 (「第五世代コンピュータ」)
- パズルの挑戦! 講評
- 超数学と言語 (ゲ-デル)
- 論理プログラミング--PROLOGと論理 (応用論理)
- マルチエージェントによるマルチデータベースの拡張
- 並列データベース管理システムKappa-Pの概要
- ゲ-デルと論理プログラミング (ゲ-デル)