プランニンググラフとSATプランニング(<特集>「プランニング技術の進展と新たな応用展開」)
スポンサーリンク
概要
著者
関連論文
-
アブダクションとインダクション(論理に基づく推論研究の動向)
-
SATによるプランニングとスケジューリング(最近のSAT技術の発展)
-
解集合プログラミング(論理に基づく推論研究の動向)
-
SMT:個別理論を取り扱うSAT技術(最近のSAT技術の発展)
-
高速SATソルバーの原理(最近のSAT技術の発展)
-
SATソルバーの基礎(最近のSAT技術の発展)
-
特集「最近のSAT技術の発展」にあたって(最近のSAT技術の発展)
-
SMT : 個別理論を取り扱うSAT技術
-
特集「最近のSAT技術の発展」にあたって
-
特集「論理に基づく推論研究の動向」にあたって
-
WEB検索高度化のためのアンサンブル学習に基づく訓練事例の精錬 (人工知能と知識処理)
-
競合状況における投機的計算の導入に関する考察(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
-
アブダクションとインダクション
-
分散並列型SATソルバにおける探索空間の分割手法の提案
-
検索隠し味の半自動生成を目的とした訓練データの精製(「自動推論: 帰納, 演繹, モデル検査/生成, 学習, 発見, 仮説推論, 論理プログラミング, プランニングetc.」及び一般)
-
系列パターンマイニングにおけるアイテム集合間の関連強度による頻出部分系列の絞込み(「自動推論: 帰納, 演繹, モデル検査/生成, 学習, 発見, 仮説推論, 論理プログラミング, プランニングetc.」及び一般)
-
SOLにおけるタブ口証明反転法とその応用(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
-
極小限定モデルの解集合プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
-
複数のSATソルバを用いたジョブショップスケジューリング問題の解法(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
-
補題再利用によるSATプランニングの高速化(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
-
SATソルバの並列実行に関する一考察(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
-
優先的解集合の論理プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
-
[招待論文]結論発見手続きとその応用(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
-
一般節理論における解釈からの学習に関する一考察(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
-
投機的計算によるSATプランニングの効率改善に関する研究(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
-
解集合プログラミング
-
論理プログラミングから解集合プログラミングへ(論理と推論技術の展開)
-
CF帰納法の効率的実装とパスウェイ推論への応用 (特集「知識発見の諸科学への応用」および一般)
-
PrologからJavaへのトランスレータ処理系とその応用
-
CF帰納法の理論的再構築について(「自動化:推論,発見,学習,データマイニング」及び一般)
-
極小限定を用いた帰納推論
-
効率的なSATプランニングとSATスケジューリングのための補題再利用(「自動化:推論,発見,学習,データマイニング」及び一般)
-
ペナルティ関数法によるSAWフィルタのロバスト最適設計
-
投機的に計算するマルチエージェントシステムにおける実時間意思決定に関する考察(セッション : 社会システムと知能(エージェントモデルと意思決定), 「社会システムにおける知能」及び一般)
-
CF帰納法における一般化に関する考察第2報(セッション : 一般(知識処理), 「社会システムにおける知能」及び一般)
-
メッセージ通信を用いた分散型結論発見(セッション : 一般(知識処理), 「社会システムにおける知能」及び一般)
-
投機的に計算するマルチエージェントシステムにおける実時間意思決定に関する考察(社会システムと知能(エージェントモデルと意思決定), 「社会システムにおける知能」及び一般)
-
CF 帰納法における一般化に関する考察:第2報(一般(知識処理), 「社会システムにおける知能」及び一般)
-
WEB検索高度化のためのアンサンブル学習に基づく訓練事例の精錬(「Webインテリジェンス」及び一般)
-
メッセージ通信を用いた分散型結論発見(一般(知識処理), 「社会システムにおける知能」及び一般)
-
ダイアグラムに基づく法的論争支援システム
-
Webアクセスログに対する系列データマイニング : ページ滞在時間系列の解析(「さまざまな分野の形式的検証最前線」及びAI一般)
-
アフォーダンス理論による人工技能への接近 : 記憶と身体性
-
今西進化論に基づく遺伝アルゴリズムによるモジュール配置問題の多様な最適解の探索
-
今西進化論に基づく遺伝アルゴリズムによる多様なパレート最適解の抽出法 - 多目的資源分割問題を実例として -
-
因果関係抽出を目的としたコンフィデンスに基づく高速系列データマイニング (「生命情報からの知識発見」及び一般)
-
極大系列抽出を目的とする系列包含検査の高速化アルゴリズム(「さまざまな分野の形式的検証最前線」及びAI一般)
-
リテラルブロック距離に基づく良い学習節の評価と獲得によるSATソルバの性能改善 (特集 「AIの基本問題SATと応用技術」および一般)
-
Non-monotone dualization via monotone dualization (特集 「AIの基本問題SATと応用技術」および一般)
-
LF-012 単一の長大なデータ系列上の系列パターンの出現尺度とその逆単調性(F. 人工知能)
-
一般講演 単一の長大なテキストデータ系列からの頻出パターンの発見 (ことば工学研究会(第17回)テーマ:物語とコミュニケーション:その性質と生成)
-
マルチ移動エージェントシステムにおける記憶情報のピアツーピア通信に基づく大域的最適化
-
LL_005 専門検索エンジンの高速半自動生成法(L分野:ネットワークコンピューティング)
-
専門検索エンジンの半自動生成を目的とした類似度に基づくWEB学習データの精製(一般,コミュニケーションとAI及び一般)
-
L-083 精錬手法に基づく検索隠し味型専門検索エンジンの半自動構築(L分野:ネットワークコンピューティング)
-
CF帰納法における一般化に関する考察
-
F-043 精度保証付きオンライン型高速近似系列マイニング(人工知能・ゲーム,一般論文)
-
時間的差分データの監視を目的とした携帯端末画面への表示システムに関する研究
-
時間的差分データの監視を目的とした携帯端末画面への表示システムに関する研究
-
エージェント間通信におけるアブダクションによる投機的計算(マルチエージェント)
-
F-045 マルチコア環境に向けた高速並列SATソルバの開発(F分野:人工知能・ゲーム)
-
マルチコア環境に向け並列SATソルバの開発(「自動化:推論,発見,学習,データマイニング」及び一般)
-
文法推論に基づく無損失データ圧縮の改善(一般セッション,LDPC符号,及び一般)
-
F-019 文法推論に基づく無損失データ圧縮の改善(人工知能・ゲーム,一般論文)
-
HTMLからXMLへの事例ベース変換における複合テキストブロックの取扱い : アライメント等の適用
-
タブローに基づく論理的帰結発見手続きSOL
-
F-047 イベント時系列マイニングを目的とする新聞記事からの時系列情報に基づく単語抽出(人工知能・ゲーム,一般論文)
-
イベント系列マイニングを目的とする新聞記事からの時系列情報に基づく単語抽出 (「生命情報からの知識発見」及び一般)
-
SATソルバと後ろ向き推論によるアクション言語Αの実装
-
アクション言語のためのボトムアップ処理系
-
階層パターンの抽出を目指した系列データマイニング(学生セッション,大学のAI・企業のAI)
-
階層パターンの抽出を目指した系列データマイニング(学生セッション,大学のAI・企業のAI)
-
結論発見手続きSOLタブロー法のための多重探索戦略の提案 (特集 「ベイジアン・ネットワーク」および一般)
-
F-021 情報量と頻度に基づく系列データマイニングにおける非同期パターンの抽出と効率化(人工知能・ゲーム,一般論文)
-
エージェントのルール学習におけるGAとGPの特性比較と融合化による性能向上
-
エージェントの行動学習問題におけるGAとGPの特性解析とハイブリッド化による性能向上
-
エージェントの行動学習におけるGAとGPの性能比較
-
専門語彙テンプレートの自動生成とWebページの自動統合(WWW,テキスト情報の要約と掲示に関わる自然言語処理シンポジウム及び一般)
-
アクション言語Aにおける行動規則の学習
-
非決定性アクション言語NA上のプランニング手続き
-
投機的計算を行う協調型マルチエージェントシステムの構築に関する一手法 (小特集 使えるAI基礎技術)
-
ユーザの嗜好を取り入れた文書評価を行うWeb上の情報検索 (小特集 使えるAI基礎技術)
-
補題の利用による効率的なSOL導出の実現
-
SATソルバによるアクション言語処理系の実装
-
SATソルバによるアクション言語処理系の実装
-
有限オートマトンに基づく非決定性アクション言語
-
事例に基づくシリーズ型HTML文書の意味論理構造の自動認識 : HTMLからXMLへの自動変換を目指して
-
シリーズ型HTML文書の事例に基づく文書論理構造の自動認識と抽出 (テーマ:一般演題及び「webとtext」)
-
アクション言語Aにおける行動規則の学習
-
WEB文書の頻出語情報を利用した解答検索システムの構築(一般,コミュニケーションとAI及び一般)
-
LF_006 緩和法に基づく系列データからの頻出部分系列の高速マイニング(F分野:人工知能・ゲーム)
-
背景記事集合の類似度に基づく新聞記事のクラスタリング(一般,テキスト情報の要約と掲示に関わる自然言語処理シンポジウム及び一般)
-
緩和法に基づく時系列データ中からの頻出部分系列の高速マイニング (テーマ:「データマイニングと統計数理」および一般)
-
プランニンググラフとSATプランニング(「プランニング技術の進展と新たな応用展開」)
-
「SATソルバー」(私のブックマーク)
-
モデル生成を用いた代謝ネットワークにおける極小活性パスウェイの列挙
-
O-041 システムズ・レジリエンス(サービス・クラウド,O分野:情報システム)
-
多目的分散制約最適化問題における厳密/非厳密解法の提案(理論,ソフトウェアエージェントとその応用論文)
-
分散制約最適化問題 : 擬似木に基づくハイブリッド型の解法の提案(理論,ソフトウェアエージェントとその応用論文)
-
N-016 サイバーセキュリティ問題の分散型多元制約最適化によるモデル化と解法(N分野:教育・人文科学,一般論文)
もっと見る
閉じる
スポンサーリンク