*-SAT:SATの拡張(<特集>最近のSAT技術の発展)
スポンサーリンク
概要
- 論文の詳細を見る
- 2010-01-01
著者
-
横尾 真
九州大学大学院システム情報科学研究院
-
平山 勝敏
神戸大学大学院海事科学研究科
-
横尾 真
Nttコシュニケーション科学基礎研究所
-
横尾 真
九州大学大学院システム情報科学府
-
平山 勝敏
神戸大学海事科学部
-
横尾 真
九州大学大学院 システム情報科学府
関連論文
- *-SAT:SATの拡張(最近のSAT技術の発展)
- セキュアキーワード広告オークションプロトコルの提案(メカニズムデザイン,ソフトウェアエージェントとその応用論文)
- 匿名の開環境下における協力ゲームについて(参加型シミュレーション,マルチエージェントの理論と応用)
- 1-D-6 特性関数の簡略記述法を用いた提携構造の形成(離散・組合せ最適化(2))
- 第18回 AAMAS-2010("I"見聞録)
- 架空名義操作不可能な組合せオークションの割当規則の特性(メカニズムデザイン,ソフトウェアエージェントとその応用論文)
- Multi-MaxSAT : ラグランジュ分解・調整法を用いたWeighted Max-SAT問題の解法(分散協調とエージェント)
- 摂動完全均衡に基づくマルチエージェント部分観測可能マルコフ決定過程のプラン構築(モデル/理論,ソフトウェアエージェントとその応用論文)
- キーワード広告におけるゲーム理論・オークション理論(Web技術,ビジネスモデルとAI)
- Take-it-or-Leave-it方式の再配分オークションメカニズムの提案(メカニズムデザイン,ソフトウェアエージェントとその応用論文)
- 開環境での協力ゲームにおける公平な配分を実現する解概念の提案(PhDセッション)
- 分散制約最適化問題へのソフトアーク整合の適用
- 2-E-9 匿名の開環境における協力ゲームについて(ゲーム理論(2))
- 開放型プロダクションシステムにおけるデータ依存関係の管理
- 適切な掲載数を決定するキーワード広告オークションプロトコルの提案(エージェント)
- 組合せオークションのための架空名義操作不可能なメカニズムの特性(メカニズムデザインと電子市場(1))
- クラーク税を用いた戦略的操作不可能な費用分担メカニズムの提案(メカニズムデザインと電子市場(1))
- Take-It-or-Leave-Itに基づく再配分オークションメカニズムの提案(メカニズムデザインと電子市場(1))
- セキュアキーワード広告オークションプロトコルの提案(メカニズムデザインと電子市場(2))
- 自動メカニズムデザインによる架空名義入札に頑健な組合せオークションメカニズムの構築(メカニズムデザインと電子市場(2))
- 非準線形効用を対象とした架空名義入札に頑健な複数ユニットオークションプロトコルの提案(「エージェント基礎」及び一般)
- 適切な掲載数を決定するキーワード広告オークションの提案(オークションとメカニズムデザイン)
- 2-D-1 数理計画法を用いたメカニズムデザインの自動化 : 架空名義入札に頑健な組合せオークションメカニズムの設計(離散・組合せ最適化(5))
- 描画用制約プログラミング言語 : CLDの設計
- 開環境での協力ゲームにおける解の簡略記述法
- 分散制約最適化問題に基づく提携構造形成問題
- 敵対者に対応する協調問題解決：限量記号付き分散制約充足問題
- 分散ラグランジュ緩和プロトコルにおける適応的な価格更新
- JAWSの発展とエージェント分野への寄与(エージェント)
- 予算制約を持つ入札者を対象とした再配分メカニズムの提案
- 難関国際会議に通すためには : 傾向と対策(国際会議に通すための英語論文執筆)
- 「Web技術,ビジネスモデルとAI」特集にあたって
- Eighteenth International Joint Conference on Artificial Intelligence(IJCAI-2003)(会議報告)
- 全米人工知能会議AAAI-94報告
- 8.パネル討論:エージェントの社会的インパクト(社会に向き合うエージェントシステム)
- 一般化相互割当問題の上界値を求める分散ラグランジュ緩和プロトコル(マルチエージェントの理論,マルチエージェントの理論と応用)
- 一般化相互割当問題のための分散ラグランジュ緩和プロトコル(モデル/理論, ソフトウェアエージェントとその応用論文)
- An Easy-Hard-Easy Cost Profile in Distributed Constraint Satisfaction(Knowledge Processing)
- 情報収集のための分散タスク割り当て
- 情報収集のための分散タスク割り当て(「アクティブマイニング」及び一般 : 文部科学省科学研究費特定領域研究「情報洪水時代におけるアクティブマイニングの実現」公開シンポジウム)
- 情報収集のための分散タスク割り当て (知識ベースシステム研究会(第60回) 人工知能基礎論研究会(第52回) 小特集:「データマイニング」および一般) -- (文部科学省科学研究費特定領域研究 情報洪水時代におけるアクティブマイニングの実現)
- アクティブ情報統合のための動的分散制約充足プロトコル
- アクティブ情報統合のための動的分散制約充足プロトコル (テーマ:「アクティブマイニング」および一般)
- 制約充足テクニックを用いた移動体通信の周波数割当問題の解法
- 分散制約充足におけるnogood学習の効果
- 複雑な局所問題に対応する分散制約充足アルゴリズム
- 分散不完全制約充足問題
- 制約充足テクニックを用いた移動体通信の周波数割当問題の解法
- 分散breakout : 反復改善型分散制約充足アルゴリズム(並列処理)
- 環境設定ウォッチャーシステムの開発
- CSPの新しい展開 : 分散/動的/不完全CSP ( 制約充足問題の基礎と応用)
- ICMAS'95報告
- 分散制約充足におけるエージェントの非集中的組織化
- 山登り法を用いた分散制約充足における組織化
- 分散制約充足における組織化の負荷分散
- 山登り法を用いた分散制約充足における組織化
- 山登り法を用いた分散制約充足における組織化
- Greedyな割当手法に基づくStrategy-proofな組合せオークションプロトコルと公開競上げ式プロトコルへの拡張(分散協調とエージェント)
- 多様な興味を持つ専門家と素人が存在する場合の組み合わせオークション
- 専門家と素人が存在する場合の組合せオークション : 専門家が単一財にのみ専門知識をもつ場合(分散協調とエージェント)
- 架空名義入札に頑健な公開競上げ式複数同一財オークションプロトコル
- 情報収集のための分散タスク割り当て (知識ベースシステム研究会(第60回) 人工知能基礎論研究会(第52回) 小特集:「データマイニング」および一般) -- (文部科学省科学研究費特定領域研究 情報洪水時代におけるアクティブマイニングの実現)
- (1)マルチエージェントシステム(会議報告)
- 座談会 : AIと電子商取引の展望(AIの観点から見た電子商取引の将来像)
- マルチエージェントシステム
- 特集「マルチエージェント」の編集にあたって ( マルチエージェント)
- 分散協調処理
- Forbus, K. D. and de Kleer, J. : Building Problem Solvers, MIT Press (1993).
- 分散制約充足の高速化と通信網回線設定への適用
- 分散制約充足の通信網回線設定への適用
- 分散制約充足による分散協調問題解決の定式化とその解法
- RF-002 架空名義操作不可能な組合せオークションメカニズム : VCGメカニズムの改良(F分野:人工知能・ゲーム,査読付き論文)
- RA-007 架空名義操作不可能な施設配置メカニズムの特徴付け(A分野:モデル・アルゴリズム・プログラミング,査読付き論文)
- 複数同一財権利配分型オークションの安定性 : 被験者実験による検証(市場モデル, ソフトウェアエージェントとその応用論文)
- F-037 自動メカニズムデザインによる架空名義入札に頑健な組合せオークションメカニズムの構築(人工知能・ゲーム,一般論文)
- チーム選択問題のための架空名義操作不可能なオークションメカニズムの提案(オークションとメカニズムデザイン)
- 分散制約推論 : マルチエージェントシステムの基盤技術(論理と推論技術の展開)
- 計算機科学分野におけるオークション研究
- 架空名義操作不可能な施設配置メカニズムの特徴付け
- LF-011 不確実な状況下における協調プラン探索法への通信の導入(人工知能・ゲーム)
- 2.インターネットオークションとメカニズムデザイン(社会に向き合うエージェントシステム)
- 架空名義入札に頑健な組合せオークションプロトコルの提案と評価 : バンドルサイズ優先プロトコル(マルチエージェントの理論,マルチエージェントの理論と応用)
- 分散制約充足問題:特定の制約網に特化した変数順序付けヒューリスティックの提案
- 擬似木に基づく分散制約最適化問題の精度保証付き非厳密解法の提案
- AAAI理事就任にあたって
- 協力ゲームにおける特性関数のエージェントのタイプに基づく簡略表記法(理論,ソフトウェアエージェントとその応用論文)
- モンテカルロゲーム木探索に基づく限量記号付き制約充足問題の実時間解決(理論,ソフトウェアエージェントとその応用論文)
- MC-netsを用いた提携構造形成アルゴリズムの拡張 : 負の利得と外部性の導入(理論,ソフトウェアエージェントとその応用論文)
- 1-I-7 配属人数下限付き研究室配属問題(離散最適化(1))
- 1-I-6 混合整数計画法による自動メカニズムデザイン : 組合せオークションの設計と高速化(離散最適化(1))
- 1-E-1 無閉路ネットワーク上の架空名義操作不可能な施設配置メカニズムの特徴付け(都市・地域・国土)
- チュートリアル 『計算機科学者のためのゲーム理論入門』シリーズ(第2回)非協力ゲーム(発展編)
- 自動メカニズムデザインを利用した組合せオークションのルール抽出アルゴリズムの提案
- 非協力ゲーム(基礎編)
- 『計算機科学者のためのゲーム理論入門』シリーズについて
- 部分観測可能マルコフ決定過程を用いた私的観測付き繰返しゲームにおける均衡分析プログラム
- チュートリアル 『計算機科学者のためのゲーム理論入門』シリーズ(第3回)メカニズムデザイン(基礎編)
- 非協力ゲーム(発展編)
- メカニズムデザイン(基礎編)
- 『計算機科学者のためのゲーム理論入門』シリーズ第4回 : メカニズムデザイン(応用編)