人工知能基本問題研究会(SIG-FPAI)(<特集>研究会総覧)

スポンサーリンク

概要

• 論文の詳細を見る
• 2010-07-01

著者

• 山本 章博

  京都大学情報学研究科

• 平田 耕一

  九州工業大学情報工学研究院

• 山本 章博

  北海道大学工学研究科・知識メディアラボラトリー

• 平田 耕一

  九州工業大学

関連論文

• 人工知能基本問題研究会(SIG-FPAI)(研究会総覧)
• 帰納的実数値関数の帰納推論における論駁性と信頼性(アルゴリズム一般)
• 帰納的実数値関数の帰納推論における論駁性と信頼性
• ラベル無し順序木のqグラム距離
• 順序付き二分法定グラフの学習可能性
• 層上の再帰性発見によるプログラムの推論 (情報工学専攻創立20周年記念号)
• 類推機能をもった対話型シークェント計算証明システムの開発(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(一般及び自動推論)
• MusicXMLデータからの頻出フレーズパターンの発見 (「AIを深化させるための基本問題」および一般)
• 内包カーネルと配列分割法を用いたRNA識別
• 包摂関係を利用したカーネル関数を計算するアルゴリズム (テーマ:特集「スキルサイエンス」および一般)
• 特殊化による仮説の融合を用いた分散型知識発見環境の構築
• 特殊化による仮説の融合を用いた分散型知識発見環境の構築(「アクティブマイニング」及び一般)
• 特殊化による仮説の融合を用いた分散型知識発見環境の構築 (知識ベースシステム研究会(第60回) 人工知能基礎論研究会(第52回) 小特集:「データマイニング」および一般)
• 様々な知識発見システムを統一的に利用可能な環境の構築
• 様々な知識発見システムを比較可能にする環境の構築 (特集 HAI(Human-Agent Interaction)および一般発表) -- (一般セッション)
• Herbrandの定理に基づく仮説生成
• 特徴的な最弱仮説の生成について
• グラフ表現された仮説の管理支援手法とその実装 (特集 「知識発見の生命科学への応用」および一般)
• 分散データベースからの頻出飽和アイテム集合の発見 (特集 「知識発見の生命科学への応用」および一般)
• Extracting the structures of open source software programs from their developer mailing lists (特集 「大規模データからの機械学習と自然言語処理への応用」および一般)
• 仮説をグラフ表現するReasoning Webモデルの再検討 (特集 「大規模データからの機械学習と自然言語処理への応用」および一般)
• 構造を持つ楽曲データを対象とした質問学習にもとづく楽曲生成(音楽(創作))
• RNA識別における内包カーネルの性質 (「生命情報からの知識発見」及び一般)
• 木文法により圧縮された複数の半構造化文書からの共通頻出木パターンの発見(「自動化:推論,発見,学習,データマイニング」及び一般)
• 単語の出現区間推定を利用した物語構造の抽出(情報抽出,特集「Web情報処理」及び一般)
• 単語の出現区間推定を利用した物語構造の抽出
• RNA配列識別のための内包カーネル関数の設計 (特集 「ウェブマイニング」および一般)
• 区間構造を利用した物語構造の抽出と物語の再生 (特集 「人と技術とAI」および一般)
• 単語の出現区間推定を利用した物語構造の抽出 (テーマ:「Web情報処理」および一般発表)
• 木文法を用いた半構造化文書の圧縮と反単一化(「自動化:推論,発見,学習,データマイニング」及び一般)
• 符号化ダイバージェンスによる2つの集合の異なり具合の定量化(一般講演(符号化・モデル選択,機械学習とその応用)
• RNA配列の二次構造候補の列挙アルゴリズムの改善 (特集 「AIの基本問題SATと応用技術」および一般)
• 人工知能における計算論的学習理論と Noether 環
• 妥当な推測を表すためのグラフモデルとそれに基づく仮説構築支援システム(「社会システムにおける知能」および一般)
• 妥当な推測を表すためのグラフモデルとそれに基づく仮説構築支援システム(一般,「社会システムにおける知能」および一般)
• 離散量と連続量が混在するデータに対する形式概念分析を用いた半教師あり学習 (特集 「ベイジアン・ネットワーク」および一般)
• The Gray-coding divergence for computational data mining from continuous data (特集 「脳科学と知識処理」および一般)
• An alternative to statistical hypothesis testing based on computational learning theory (特集 「知識発見の生命科学への応用」および一般)
• 代数学・数学基礎論における機械学習(機械学習の科学研究への応用)
• 機械学習の科学研究への応用
• Interpreting learners as realizers for Σ[0]2-measurable functions (extended abstract) (特集 「機械学習の諸科学への応用」および一般)
• 正データからの極限同定における極小言語戦略への精密化の適用(「社会システムにおける知能」および一般)
• 正データからの極限同定における極小言語戦略への精密化の適用(一般,「社会システムにおける知能」および一般)
• Topological properties of concept spaces: extended abstract (特集「知識発見の諸科学への応用」および一般)
• 直列エピソードから構成可能なエピソードのグラフ理論的性質 (特集 「ウェブマイニング」および一般)
• 底節の最小汎化に基づく仮説の発見手法
• スキーマと質問を用いた述語発見による論理プログラムの構成的学習アルゴリズム
• 底節の最小汎化に基づく仮説の発見手法
• 正則な木関係の所属性質問と等価性質問による学習
• 人間指向型汎用類推証明システムの開発 (計算機科学基礎理論の新展開)
• 類推機能をもった対話型シークェント計算証明システムの開発 (計算機科学基礎理論の新展開)
• Pre-Checkingに基づく効率的スキーママッチングアルゴリズム(LAシンポジウム(情報基礎理論ワークショップ)論文小特集)
• 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問題の近似困難性について
• Noether閉集合族の有限和の学習 (「AIを深化させるための基本問題」および一般)
• 等式プログラミングにおける複雑化を用いた帰納推論
• 石灰石球の熱分解における熱移動と CO_2 ガスの流れ
• 32 石灰石球の熱分解における熱及び物質の移動(製銑基礎・コークス, 製銑, 日本鉄鋼協会第 84 回(秋季)講演大会)
• 一階論理式の学習と帰納論理プログラミング (計算学習理論の進展と応用可能性)
• 決定可能な高階単一化問題に関する研究 (アルゴリズムと計算の理論)
• 単純型付きラムダ計算における証明文法
• モデル検査法における詳細化概念の導入によるソフトウェア信頼性担保手法
• 木構造を利用した自然画像の部分領域検索とフラクタル圧縮・マイニングへの応用(離散系と機械学習,テキスト・Webマイニング,一般)
• 符号化ダイバージェンスを用いたクラス分類のためのオンラインアルゴリズム(分類・回帰・クラスタリング,テキスト・Webマイニング,一般)
• ZDDを用いた頻出飽和パターンのプライバシー保護マイニング(離散系と機械学習,テキスト・Webマイニング,一般)
• 質問学習とメタアルゴリズムの組合せによる文字列画像検索(画像処理,テキスト・Webマイニング,一般)
• 完備特徴例集合を用いた言語の有界和の正データからの学習--多項式イデアルから木パターン言語へ (「生命情報からの知識発見」及び一般)
• 計算論理と機械学習の関係への新たなアプローチ(「自動化:推論,発見,学習,データマイニング」及び一般)
• 帰納論理プログラミングの基礎理論とその展開(新しいソフトウェアの実現,サイバー増大号)
• 単純再帰節を用いた導出の逆操作
• 極小多重汎化と評価関数による論理プログラム頭部の推測
• 層状再帰プログラムの帰納推論
• 研究会コミュニティの広がりと相互作用
• 節論理における導出原理に基づく確率推論 (「マルチエージェントの基礎理論とその応用」および一般)
• SATソルバーを用いた帰納論理プログラミング (「マルチエージェントの基礎理論とその応用」および一般)
• 言明を表す論理式間への順序関係付与における形式概念解析の利用 (特集 一般)
• 型付ラムダ計算における証明文法
• 分割表の独立性に基づく二値データ生成過程の推定法(ポスターセッション,第14回情報論的学習理論ワークショップ)
• 超辺の縮約を許した非巡回部分超グラフの効率よい列挙
• 述語項構造から生成されるタプル集合の比較による歴史事件の説明文書評価(社会システムと情報技術)
• 木編集距離の研究動向(編集委員今年の抱負2013)
• 出現によるラムダ計算の定義
• EFSコンパイラの基礎的研究

もっと見る 閉じる

スポンサーリンク