ハイパーリンクを用いた定理の証明の一手法
スポンサーリンク
概要
- 論文の詳細を見る
- 1995-07-24
著者
関連論文
- 遺伝的アルゴリズムによるあやとり図形生成 : 紐デザイン処理(2)
- ネットワーク上のワークステーションを用いた並列仮説推論システム
- 異機種分散環境上の並列仮説推論システム
- エージェント間通信による人体パーツ追跡の一手法
- 編物操作の記号表現とその可視化への応用
- 3次元紐図形表現方法を用いた編物パターン処理について
- 編物における紐状態の表現方法と編目記号生成システムの作成
- 編目記号生成システムの構成 : 紐図形の認識の編み物デザイン処理への応用
- G-19 事例に基づいた最大事後確率分類(人工知能(学習),G.人工知能)
- 帰納論理プログラミングを用いた詰め将棋のルール獲得
- ILPを利用した問題解決のためのヒューリスティクスの獲得
- ILPを利用した問題解決のためのヒューリスティクスの獲得
- 類義語辞書とドキュメントの特性を用いた類似度の獲得(一般 : データマイニングII)
- 類義語辞書とドキュメントの特性を用いた類似度の獲得(一般(データマイニングII))(「社会システムにおける知能」及び一般)
- PARCAR : コストに基づく並列仮説推論システム
- BDDを用いた仮説推論における高速化の一方法
- 契約ネットプロトコルに基づいたマルチエージェントプランニング
- 帰納学習を使った詰め将棋戦略の獲得
- BDDを用いた仮説推論の並列化の一方法
- 二分決定グラフを用いた仮説推論処理の一手法
- コストに基づく仮説推論における最適解探索の一方法
- コストに基づく仮説推論の並列化について
- コスト付き仮説推論に対する近似解法の一手法
- コスト付仮説推論における最適解探索について
- プログラム解析に基づく仮説推論の高速化技法
- コストに基く仮設推論における最適解探索について
- 不確定論理データベースを対象とした仮説推論
- プログラム解析に基づく仮説推論の高速化技法
- 進化的学習エージェントによる役割分担の発現
- 進化的学習エージェントによる役割分担の創発
- 強化学習結果の再構築への概念学習の適用
- G-7 Profit Sharing強化学習法の適格度トレースに基づくオンライン実装(人工知能(実装),G.人工知能)
- ILPアルゴリズムFOILを並列化する三つの手法とその比較
- 定理証明器SATCHMOREの効率化に関する一手法
- 知識と時間の論理のための推論システムの並列化手法
- コンピュータ将棋における危険判別探索
- 編物における紐状態表現と編み上がり模様生成の一手法
- アヤトリ図形のトポロジカルな性質と結び目多項式による特性化
- 編み物における編成手順の表現方法
- 3次元物体を被覆する編み物パターンの生成方法について
- マルチエージェントモデルにおける協調的行動の創発
- 濃淡に基づいた顔画像表現の一手法
- 詰将棋におけるプロセッサ稼働率を考慮したゲーム木並列探索
- 詰将棋における並列探索法の一考察
- 浸透理論に基づく物体溶解および風化表示の一手法
- カオス的手法を用いた交通量解析
- 濃淡値画像からの墨絵の生成
- 顔画像の線描画による表現手法について
- 帰納的予測を用いたサッカーエージェントの行動学習
- ILPシステムの並列実装の方法
- ILPシステムの分散メモリ型並列計算機への実装
- モデル生成法に基づく安定モデル計算の効率化
- 「失敗による否定」のための相補的アトムを用いたプログラム変換
- マジックセット法に基づく安定モデル計算の効率化
- 論理和データベースに対するゴール指向問合せ処理
- モデル生成法に基づく安定モデル計算の効率化
- 論理和プログラムに対するゴール指向問合せ処理
- 浸透理論に基づく物体風化表現
- 編物デザインを支援するための編目模様生成システムの作成
- 詰将棋におけるゲーム木の並列探索とその評価
- 非線形力学系に基づく適応学習モデルとその特性 : ロジスティック関数を用いた時系列学習モデル
- 電子ペンの筆圧情報を用いた毛筆書体出力システムの構築方法
- 遺伝的アルゴリズムを用いた3次元編み物表示
- 通信が制約された複数エージェントの動作モデルとその評価
- 遺伝的アルゴリズムに基づく紐図形処理 : アヤトリ図形生成方法
- 遺伝的アルゴリズムに基づく編み物デザイン処理とその並列化
- アヤトリにおけるひも図形変形過程の表現とその処理
- 遺伝的アルゴリズムによる編み物デザイン処理 : 紐デザイン処理(1)
- 点で制約されている結び目の特性化とその処理
- 点で制約されている結び目の特性化について
- 細線化骨格の追跡評価による歪み補正手法について
- 毛筆フォントの掠れ・滲み処理システムについて
- 毛筆書体におけるくりこみ群を用いたかすれ・にじみ表現
- 毛筆文字生成におけるかすれ・にじみ表現
- 仮説に基づく意味ネットワークの管理方法
- モードスワップを用いた経路構造による帰納学習アルゴリズム
- 飽和節の構造分析に基づいた再帰的論理プログラムの帰納
- 反転モードを用いた逆含意帰納学習アルゴリズム
- GAを用いた小型ロボットの行動の進化的学習
- 毛筆文字におけるくりこみ群を用いたかすれ表現の一手法
- 動的環境におけるエージェントの組織構造に関する一考察
- 短期記憶を持つアントアルゴリズムの評価
- 自然界のゆらぎに基づいたメロディ生成の一手法
- 仮説推論における最適解探索の一方法
- 並列計算機を使った詰将棋におけるゲーム木探索の一手法
- 属性値の差異の閾値計算による事例からのルール抽出方法
- ハイパーリンクを用いた定理の証明の一手法
- 詰将棋におけるゲーム木の並列探索とその評価
- 契約ネットプロトコルに基づいたマルチエージェントプランニングの一手法
- 交通量のシミュレーションプログラム作成の一方法
- 交通流シミュレーションの並列処理とその評価
- マウス文字入力から毛筆文字出力への一画毎の変換システムについて
- B-4 システムの横断的性質のための型代数(プログラムの理論,B.ソフトウェア)
- フラクタルを用いた毛筆文字のかすれ表現について
- 知識と時間の論理のための推論システムの並列処理
- 論理プログラムに対する制約付き部分計算システムの実現
- WEIHE : マルチエージェント系における知識と時間の論理ための自動推論システム
- 経路構造による再帰定義の帰納的学習
- 帰納論理プログラミングを用いた知的探索法
- Fuzzy Reasoning Techniques for Image Filtering, Edge Detection, and Edge Tracing