UMLクラス図の論理プログラミングへの変換によるデバッグについて (テーマ:特集「スキルサイエンス」および一般)
スポンサーリンク
概要
著者
-
佐藤 健
国立情報学研究所
-
佐藤 健
国立情報学研究所:総合研究大学院大学
-
宇野 毅明
東京工業大学 システム科学専攻
-
宇野 毅明
情報学研究所
-
兼岩 憲
情報通信研究機構
-
宇野 毅明
国立情報学研究所:総合研究大学院大学
関連論文
- マルチエージェントシステムにおける論理プログラミング(論理に基づく推論研究の動向)
- 弦グラフおよび弦二部グラフのクラスにおけるマッチングの数え上げ
- 木の均一分割問題
- 画像のグルーピングとグループ間類似度に基づく主観的類似検索(:ビジュアルデータベース)
- 最短路高速検索のための階層メッシュ疎化法
- 2-E-5 最短路高速検索のための階層メッシュ疎化法(組合せ最適化と応用(3))
- Enumeration of Perfect Sequences of Chordal Graph (Acceleration and Visualization of Computation for Enumeration Problems)
- 2-E-17 Enumeration of Perfect Sequences of Chordal Graph
- コーダルグラフの完全列の列挙
- 距離遺伝的グラフの木表現とその応用
- マルチエージェントシステムにおける論理プログラミング
- 論理に基づく人工知能の法学への応用
- 先行投機的計算の論理的定式化(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)(本文無し)
- 負の重みに対応した高速頻出集合発見プログラムの開発(人工知能,データマイニング)
- 変分ベイズ法を用いたモデル構造探索に基づく抽象的単語の学習(人工知能,認知科学)
- 設計議事録に対する主題遷移解析に基づく動的文脈生成機構
- ベイジアンモデル選択に基づく知覚特徴量を用いた抽象的語意の学習(テーマ関連セッション1)
- ベイジアンモデル選択に基づく知覚特徴量を用いた抽象的語意の学習
- HPSGを用いた楽曲の和声解析(セッション7 : モデルと文法)
- グルーピング規則適用を改良したGTTMの実装(セッション7 : モデルと文法)
- 1-E-4 Web版訪問介護スケジュール作成支援システム(スケジューリング)
- グラフクラスと部分グラフ同型性
- 計算幾何学的な手法を用いた高速相同性計算手法
- 支配集合数え上げ問題とグラフクラス
- ベイジアンモデル選択に基づく知覚特徴量を用いた抽象的語意の学習(テーマセッション(1),CVのためのパターン認識・学習理論の新展開)
- 語の吸引力に基づく主題遷移解析と視覚化(情報可視化,テキスト情報の要約と掲示に関わる自然言語処理シンポジウム及び一般)
- 文書における語の共起依存性に基づく主題の視覚化 (テーマ:特集 「感性とインタラクション」および一般)
- 木構造ネットワークでの道配置問題に対する最適な算法
- 木構造ネットワーク上の部分木配置問題に対する高速解法(グラフ・ネットワーク(1))
- κ-Tree-Coreを線形時間で求めるアルゴリズム(グラフ・ネットワーク(4))
- 電力取り引きにおける約定量決定問題の高速解法
- ロジスティクスにおける最適化ツールの開発(交通・輸送(2))
- パターンマイニングの新しい落としどころ : クラスタリングを用いたパターンマイニング(コンピュータビジョンとパターン認識のための機械学習と最適化,一般)
- パターンマイニングの新しい落としどころ : クラスタリングを用いたパターンマイニング(コンピュータビジョンとパターン認識のための機械学習と最適化,一般)
- ディジタルハーフトーニングへの応用に向けての魔方陣の一般化(2)
- ディジタルハーフトーニングへの応用に向けての魔方陣の一般化(1)
- ディジタルハーフトーニングへの応用に向けての魔方陣の一般化(2)
- ディジタルハーフトーニングへの応用に向けての魔方陣の一般化(1)
- Eighteenth International Joint Conference on Artificial Intelligence(IJCAI-2003)(会議報告)
- 有向グラフの根付き木を列挙するアルゴリズム(グラフ・ネットワーク(2))
- The "branch-and-support" method for the maximum stable set problem
- 論理コンピューティング(知能コンピューティングとその周辺〔第10回〕)
- (3)推論, プランニング(会議報告)
- 会議報告 IJCAI-01
- A Cutting Plane Algorithm for Semi-Definite Programming Problems with Applications to Failure Discrimination and Cancer Diagnosis (Mathematical Science of Optimization)
- 論理プログラムの解集合意味論に関する証明系(「定理証明, 推論関係の新技術」)
- 共起依存度を用いた語彙連鎖に基づく連想的情報断片探索手法 (人工知能基礎論研究会(第53回)特集「シナリオ創発の科学へ向けて」および一般演題) -- (セッション(2)知識発見と情報視覚化)
- 近傍ハッシュ法によるエラー許容頻出パターン列挙(一般セッション3)
- Fast Algorithms to Enumerate All Common Intervals of Two Permutations and Their Applications(Optimization Theory in Descrete and Continuous Mathematical Sciences)
- 2.情報爆発時代のための新しい超高速アルゴリズム(パートI:情報爆発時代における新しい基盤技術,情報爆発時代におけるわくわくするITの創出を目指して)
- 第13回欧州人工知能会議報告
- 第11回RAMPシンポジウム開催報告(ペーパーフェアー)
- 列挙アルゴリズムの高速化技法とその応用 (新しいパラダイムとしてのアルゴリズム工学)
- 極小出現区間を用いたエピソードマイニングの高速化(データベース・アルゴリズム)
- 極小出現区間を用いたエピソードマイニングの高速化(データベース・アルゴリズム)
- データインテンシブコンピューティング : その2 頻出アイテム集合発見アルゴリズム(知能コンピューティングとその周辺〔第2回〕)
- 大規模幾何データからの高速な極大部分グラフ発見 (特集 「ウェブマイニング」および一般)
- Efficient Discovery of Maximal Two-Dimensional Patterns with Don't-Cares(extended abstract) (テーマ:特集「ウェブデータの知的処理」および一般)
- 深さ優先探索に基づく変数制限つき極大モチーフの高速マイニング (テーマ:「データマイニングと統計数理」および一般)
- ワイルドカードを許した極大モチーフの列挙アルゴリズム
- 大規模データ処理に対するアルゴリズム理論からのアプローチ (第20回 回路とシステム軽井沢ワークショップ論文集) -- (新世代の計算限界)
- 非巡回的有向グラフ上のs-tパスの列挙(組合せ最適化(5))
- UMLクラス図の論理プログラミングへの変換によるデバッグについて (テーマ:特集「スキルサイエンス」および一般)
- 人工知能への論理的アプローチにおける学習(機械学習,それが人に及ばざる理由)
- 双対化を用いた新しい極大頻出アイテム集合の計算(「21世紀の知識情報科学に向けて」,及び一般)
- エージェント間通信におけるアブダクションによる投機的計算(マルチエージェント)
- DL : Description Logics(「哲学とAIにおける対象世界モデリング」〔第6回〕)
- アブダクションによる極小限定プリファレンスの発見
- 特集「定理証明, 推論関係の新技術」にあたって
- 大阪のISAAC '96に参加して(学術学会報告)
- 中小規模スタッフスケジューリング問題における調整の容易なスケジュール作成に関する研究
- 拡張論理プログラムへの意味論的関係に基づく変換による優先順位付き極小限定の計算
- 事例の相対距離による類似度学習とその検索誤り率について
- タブローに基づく論理的帰結発見手続きSOL
- Ripple Down Rules法における近傍事例の積極的活用に関する検討
- 0-1整数計画法を用いた優先順位付き極小限定における極小モデルの計算
- 不完全通信環境下におけるアブダクションによる投機的計算 (テーマ:「インターネットとAI」及び一般)
- 画像特徴量空間から類似性空間への写像を利用した類似画像検索
- コーダルサンドイッチの列挙, ランダム生成, 数え上げについて (理論計算機科学の深化 : 新たな計算世界観を求めて)
- 2-F-5 多目的最適化への列挙アルゴリズム理論からのアプローチ(数理計画(1))
- UNO は一人でも難しい (計算機科学とアルゴリズムの数理的基礎とその応用)
- DK-2-4 大規模データに対する高速類似性解析手法の構築(DK-2.JSTさきがけセッション:人と社会のための情報処理,ソサイエティ企画)
- DK-2-4 大規模データに対する高速類似性解析手法の構築(DK-2.JSTさきがけセッション:人と社会のための情報処理,ソサイエティ特別企画,ソサイエティ企画)
- 擬似クリークを列挙する多項式時間遅延アルゴリズム
- RF-006 負の重みに対応した高速頻出集合発見プログラムの開発(人工知能・ゲーム,査読付き論文)
- Genome Homology Visualization by Short Similar Substring Enumeration (Acceleration and Visualization of Computation for Enumeration Problems)
- 2-E-18 ハミング距離の短い文字列ペア列挙アルゴリズムと解析ツール(組合せ論)
- 1-A-4 修正を前提としたExcelベースのスタッフスケジューリングツールの開発(つくばOR学生発表(5))
- スタッフスケジューリングにおける修正しやすさを考慮した解の分析 (21世紀の数理計画 : 最適化モデルとアルゴリズム)
- 1-B-8 スタッフスケジューリングにおける修正しやすさを知る為の実験とその考察(スケジューリング(2))
- 1-B-9 部品の取り外しを考慮した仕掛り在庫と受注の高速マッチング(スケジューリング(2))
- 記号処理の現在-論理による知識表現と推論
- RA-003 修正作業を効果的に支援するExcelベースのスタッフスケジューリングツールの開発(モデル・アルゴリズム・プログラミング,査読付き論文)
- 全域仮説論理プログラミングに基づくプラン修正メカニズムについて (テーマ:特集「宇宙とAI」および一般)
- 整数計画法を用いた優先順位付き極小限定の極小モデルの計算
- 極小変更論理仕様のデフォルト論理による計算手法について (論理と学習)
- 第5回環太平洋人工知能国際会議(PRICAI '98)報告
- CBRによる概念学習の単調関数を用いた解析
- 事例ベース推論における動的類似性の仮説論理プログラミングによる実現
- isAI 2011報告