高階ユニフィケーションにおける可解なクラスと計算の複雑さ(アルゴリズムと計算量の理論)
スポンサーリンク
概要
著者
関連論文
- ラベル無し順序木のqグラム距離
- 類推機能をもった対話型シークェント計算証明システムの開発(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(一般及び自動推論)
- 4. 抽象化に基づく類推 (<特集> アナロジー)
- 間違いの認識による演奏習得支援システムの構築(音楽・演奏の認識合成)
- 人間指向型汎用類推証明システムの開発 (計算機科学基礎理論の新展開)
- 類推機能をもった対話型シークェント計算証明システムの開発 (計算機科学基礎理論の新展開)
- Pre-Checkingに基づく効率的スキーママッチングアルゴリズム(LAシンポジウム(情報基礎理論ワークショップ)論文小特集)
- Pre-checkingを用いた効率的2階述語マッチングアルゴリズム (計算理論とアルゴリズムの新展開)
- スキーママッチングを用いたLK類推証明システムの開発
- スキーママッチングとその計算量
- スキーママッチングにおける計算の複雑さ (計算モデルとアルゴリズム)
- スキーママッチングの計算の複雑さ
- 様相論理に基づく論理型知識表現言語(計算アルゴリズムの基礎理論)
- 様相論理に基づく知識の表現と推論
- 決定可能な高階単一化問題に関する研究 (アルゴリズムと計算の理論)
- 単純型付きラムダ計算における証明文法
- 非再帰的な述語サーカムスクリプションの一階論理式への等価変換
- 並列サーカムスクリプションのパラメーター消去手法
- 点別サーカムスクリプションに基づく孤立式の一般化
- 高階ユニフィケーションアルゴリズムの複雑さについて (関数型プログラミングと計算の基礎)
- 高階ユニフィケーションにおける可解なクラスと計算の複雑さ(アルゴリズムと計算量の理論)
- 高階論理ユニフィケーションを用いた知識処理(計算アルゴリズムと計算量の基礎理論)
- 定理証明的手法による再帰方程式から回路の自動設計
- 定理証明的手法を用いた回路自動設計のための変換規則--再帰方程式から回路記述への変換
- 回路自動合成のための推論機構(計算アルゴリズムの基礎理論)
- 時間と空間を扱う様相述語論理の不完全性とその相対的完全化
- 定理証明的手法を用いた回路の自動合成 : 帰納方程式から回路への変換(アルゴリズムの数学的基礎理論とその応用)
- プログラム理論と様相論理 (様相論理)
- [招待論文]一般単一化理論(「21世紀の知識情報科学に向けて」,及び一般)
- 一般単一化理論
- 型付ラムダ計算における証明文法
- 類似性に基づく一般化知識の獲得と推論