スキーママッチングを用いたLK類推証明システムの開発
スポンサーリンク
概要
著者
関連論文
-
人工知能基本問題研究会(SIG-FPAI)(研究会総覧)
-
帰納的実数値関数の帰納推論における論駁性と信頼性(アルゴリズム一般)
-
帰納的実数値関数の帰納推論における論駁性と信頼性
-
ラベル無し順序木のqグラム距離
-
順序付き二分法定グラフの学習可能性
-
類推機能をもった対話型シークェント計算証明システムの開発(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(一般及び自動推論)
-
4. 抽象化に基づく類推 (<特集> アナロジー)
-
MRSAとMSSAを分類する決定木の構築
-
直列エピソードから構成可能なエピソードのグラフ理論的性質 (特集 「ウェブマイニング」および一般)
-
The Least Generalization for Bounded Width Clauses (テーマ:特集「ウェブデータの知的処理」および一般)
-
イベント列からの扇状エピソード抽出 (テーマ:特集「ウェブデータの知的処理」および一般)
-
On Subsumption Algorithm for Chordal Clauses (テーマ:特集「シンボルグラウンディング問題」および一般)
-
間違いの認識による演奏習得支援システムの構築(音楽・演奏の認識合成)
-
人間指向型汎用類推証明システムの開発 (計算機科学基礎理論の新展開)
-
閉単調DNF式被覆の抽出 (特集 オントロジー)
-
類推機能をもった対話型シークェント計算証明システムの開発 (計算機科学基礎理論の新展開)
-
Pre-Checkingに基づく効率的スキーママッチングアルゴリズム(LAシンポジウム(情報基礎理論ワークショップ)論文小特集)
-
順序節の包摂と一般化について (論理と学習)
-
MRSA検査データからの単調DNF式被覆の抽出
-
類推に基づくLK証明支援システムの開発
-
Pre-checkingを用いた効率的2階述語マッチングアルゴリズム (計算理論とアルゴリズムの新展開)
-
スキーママッチングを用いたLK類推証明システムの開発
-
スキーママッチングとその計算量
-
スキーママッチングにおける計算の複雑さ (計算モデルとアルゴリズム)
-
スキーママッチングの計算の複雑さ
-
古典的証明に基づく関数型言語の構築
-
A Catalog for Prediction-Preserving Reducibility with Membership Queries on Formal Languages (New Developments of Theory of Computation and Algorithms)
-
ALT'96報告
-
無矛盾最小OBDD問題の近似困難性について
-
石灰石球の熱分解における熱移動と CO_2 ガスの流れ
-
32 石灰石球の熱分解における熱及び物質の移動(製銑基礎・コークス, 製銑, 日本鉄鋼協会第 84 回(秋季)講演大会)
-
一階論理式の学習と帰納論理プログラミング (計算学習理論の進展と応用可能性)
-
決定可能な高階単一化問題に関する研究 (アルゴリズムと計算の理論)
-
単純型付きラムダ計算における証明文法
-
非再帰的な述語サーカムスクリプションの一階論理式への等価変換
-
並列サーカムスクリプションのパラメーター消去手法
-
点別サーカムスクリプションに基づく孤立式の一般化
-
高階ユニフィケーションアルゴリズムの複雑さについて (関数型プログラミングと計算の基礎)
-
高階ユニフィケーションにおける可解なクラスと計算の複雑さ(アルゴリズムと計算量の理論)
-
[招待論文]一般単一化理論(「21世紀の知識情報科学に向けて」,及び一般)
-
一般単一化理論
-
型付ラムダ計算における証明文法
-
類似性に基づく一般化知識の獲得と推論
-
超辺の縮約を許した非巡回部分超グラフの効率よい列挙
-
木編集距離の研究動向(編集委員今年の抱負2013)
もっと見る
閉じる
スポンサーリンク