帰納的実数値関数の有限予測と無矛盾推論 (テーマ:特集「シンボルグラウンディング問題」および一般)
スポンサーリンク
概要
著者
関連論文
- 極小出現を用いた頻出多部エピソードの効率のよい発見アルゴリズム (特集 「知見の創出を目指した情報技術」および一般)
- 帰納的実数値関数の帰納的枚挙可能集合の学習可能性 (特集 「ウェブマイニング」および一般)
- 帰納的実数値関数の有限予測と無矛盾推論 (テーマ:特集「シンボルグラウンディング問題」および一般)
- 帰納的実数値関数の帰納推論における論駁性と信頼性(アルゴリズム一般)
- 帰納的実数値関数の帰納推論における論駁性と信頼性
- Refutability and Reliability for Inductive Inference of Recursive Real-Valued Functions
- 根付き無順序木のフィルタリング (テーマ:特集「ウェブデータの知的処理」および一般)
- ラベル無し順序木のqグラム距離
- 類推機能をもった対話型シークェント計算証明システムの開発(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(一般及び自動推論)
- 根付き順序木のグラム分散 (テーマ:特集「シンボルグラウンディング問題」および一般)
- The Least Generalization for Bounded Width Clauses (テーマ:特集「ウェブデータの知的処理」および一般)
- イベント列からの扇状エピソード抽出 (テーマ:特集「ウェブデータの知的処理」および一般)
- On Subsumption Algorithm for Chordal Clauses (テーマ:特集「シンボルグラウンディング問題」および一般)
- 間違いの認識による演奏習得支援システムの構築(音楽・演奏の認識合成)
- 人間指向型汎用類推証明システムの開発 (計算機科学基礎理論の新展開)
- 閉単調DNF式被覆の抽出 (特集 オントロジー)
- 類推機能をもった対話型シークェント計算証明システムの開発 (計算機科学基礎理論の新展開)
- 細菌検査データからの頻出二部エピソードの抽出 (特集 「諸分野の連携による知識発見」および一般)
- Criteria for Inductive Inference with Mind Changes and Anomalies of Recursive Real-Valued Functions (Special Issue on Selected Papers from LA Symposium)
- 超辺の縮約を許した非巡回部分超グラフの効率よい列挙