• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

推論による仮説発見とシステム生物学への応用

研究課題

研究課題/領域番号 20240016
研究種目

基盤研究(A)

配分区分補助金
応募区分一般
研究分野 知能情報学
研究機関国立情報学研究所

研究代表者

井上 克巳  国立情報学研究所, 情報学プリンシプル研究系, 教授 (10252321)

研究分担者 佐藤 泰介  東京工業大学, 大学院・情報理工学研究科, 教授 (90272690)
亀谷 由隆  東京工業大学, 大学院・情報理工学研究科, 助教 (60361789)
岩沼 宏治  山梨大学, 大学院・医学工学総合研究部, 教授 (30176557)
鍋島 英知  山梨大学, 大学院・医学工学総合研究部, 准教授 (10334848)
山本 泰生  山梨大学, 大学院・医学工学総合研究部, 助教 (30550793)
坂間 千秋  和歌山大学, システム工学部, 教授 (20273873)
連携研究者 藤山 秋佐夫  国立情報学研究所, 情報学プリンシプル研究系, 教授 (60142311)
研究期間 (年度) 2008 – 2011
研究課題ステータス 完了 (2011年度)
配分額 *注記
34,060千円 (直接経費: 26,200千円、間接経費: 7,860千円)
2011年度: 8,710千円 (直接経費: 6,700千円、間接経費: 2,010千円)
2010年度: 8,190千円 (直接経費: 6,300千円、間接経費: 1,890千円)
2009年度: 8,060千円 (直接経費: 6,200千円、間接経費: 1,860千円)
2008年度: 9,100千円 (直接経費: 7,000千円、間接経費: 2,100千円)
キーワード人工知能 / 推論 / システム生物学 / 仮説発見 / 結論発見 / 確率推論 / 帰納論理プログラミング / アブダクション
研究概要

本研究では、システム生物学において、未知で有用であるような知識を発見するために、論理的な仮説発見手法であるアブダクションとインダクションに着目し、これらに共通する推論の基盤技術を開発している。仮説発見のエンジンとして、SOL導出に基づく演繹手法である結論発見手続きSOLARを使用するが、推論効率の改善と仮説選択手段の開発が重要課題として挙げられる。そこで、本研究では次の3テーマを設定して取り組んだ。
(1)仮説発見のために、SOLARと関連する仮説生成手法の効率化と高機能化を図る。
(2)仮説選択のために、確率的・非確率的手法に基づいた有効な選択方法を開発する。
(3)システム生物学の問題に応用し評価する。

報告書

(6件)
  • 2011 実績報告書   研究成果報告書 ( PDF )
  • 2010 実績報告書   自己評価報告書 ( PDF )
  • 2009 実績報告書
  • 2008 実績報告書
  • 研究成果

    (167件)

すべて 2012 2011 2010 2009 2008 その他

すべて 雑誌論文 (47件) (うち査読あり 45件) 学会発表 (108件) 図書 (3件) 備考 (9件)

  • [雑誌論文] Inverse Subsumption for Complete Explanatory Induction2012

    • 著者名/発表者名
      Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
    • 雑誌名

      Machine Learning

      巻: 86(1) 号: 1 ページ: 115-139

    • DOI

      10.1007/s10994-011-5250-y

    • 関連する報告書
      2011 実績報告書 2011 研究成果報告書
    • 査読あり
  • [雑誌論文] ILP Turns 20 : Biography and Future Challenges2012

    • 著者名/発表者名
      Stephen Muggleton, Luc De Raedt, David Poole, Ivan Bratko, Peter Flach, Katsumi Inoue, Ashwin Srinivasan
    • 雑誌名

      Machine Learning

      巻: 86(1) 号: 1 ページ: 3-23

    • DOI

      10.1007/s10994-011-5259-2

    • 関連する報告書
      2011 実績報告書 2011 研究成果報告書
    • 査読あり
  • [雑誌論文] GlueMiniSat 2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2012

    • 著者名/発表者名
      鍋島英知, 岩沼宏治, 井上克巳
    • 雑誌名

      コンピュータソフトウェア

      巻: (掲載確定)

    • NAID

      130004549290

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] DNF Hyrpotheses in Explanatory Induction2012

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

      Inductive Logic Programming : Revised Selected Papers from the 21st International Conference (ILP 2011), Lecture Notes in Artificial Intelligence

      巻: 7207 ページ: 173-188

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Comparison of Upward and Downward Generalizations in CF-induction2012

    • 著者名/発表者名
      Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
    • 雑誌名

      Inductive Logic Programming : Revised Selected Papers from the 21st International Conference (ILP 2011), Lecture Notes in Artificial Intelligence

      巻: 7207 ページ: 373-388

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Model of Double Strand Break of DNA in Logic-Based Hypothesis Finding2012

    • 著者名/発表者名
      Barthelemy Dworkin, Andrei Doncescu, Jean-Charles Faye, Katsumi Inoue
    • 雑誌名

      Latest Advances in Inductive Logic Programming : Late-Breaking Proceedings of ILP 2011

      巻: (掲載確定)

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Physiological Analysis of Yeast Cell by Intelligent Signal Processing2012

    • 著者名/発表者名
      Andrei Doncescu, Sebastien Regis, Katsumi Inoue, Nathalie Goma
    • 雑誌名

      Applied Biological Engineering-Principles and Practice

      巻: 19 ページ: 435-460

    • DOI

      10.5772/29776

    • ISBN
      9789535104124
    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] モデル生成を用いた代謝ネットワークにおける極小活性パスウェイの列挙2012

    • 著者名/発表者名
      宋剛秀, 井上克巳
    • 雑誌名

      人工知能学会論文誌

      巻: 27 号: 3 ページ: 204-212

    • DOI

      10.1527/tjsai.27.204

    • NAID

      130001878758

    • ISSN
      1346-0714, 1346-8030
    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Constraint-based Probabilistic Modeling for Statistical Abduction2011

    • 著者名/発表者名
      Taisuke Sato, Masakazu Ishihata, Katsumi Inoue
    • 雑誌名

      Machine Learning

      巻: 83(2) 号: 2 ページ: 241-264

    • DOI

      10.1007/s10994-010-5206-7

    • 関連する報告書
      2011 実績報告書 2011 研究成果報告書
    • 査読あり
  • [雑誌論文] Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming2011

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue
    • 雑誌名

      Machine Learning

      巻: 83(1) 号: 1 ページ: 1-29

    • DOI

      10.1007/s10994-010-5189-4

    • 関連する報告書
      2011 実績報告書 2011 研究成果報告書
    • 査読あり
  • [雑誌論文] 一階論理上の等号推論:理論と実際2011

    • 著者名/発表者名
      岩沼宏治,鍋島英知,井上克巳
    • 雑誌名

      コンピュータソフトウェア

      巻: 28(4) ページ: 282-305

    • NAID

      130004549242

    • URL

      http://JST.JSTAGE/jssst/28.4_282

    • 関連する報告書
      2011 実績報告書 2011 研究成果報告書
    • 査読あり
  • [雑誌論文] Distributed Consequence Finding : Partition-Based and Cooperative Approaches2011

    • 著者名/発表者名
      Katsumi Inoue, Gauvain Bourgne, Takayuki Okamoto
    • 雑誌名

      Agents and Artificial Intelligence : Revised Selected Papers from the 3rd International Conference (ICAART 2011), Communications in Computer and Information Science

      巻: (掲載確定)

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Discretized Kinetic Models for Abductive Reasoning in Systems Biology2011

    • 著者名/発表者名
      Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato
    • 雑誌名

      Biomedical Engineering Systems and Technologies : Revised Selected Papers from the 4th International Joint Conference (BIOSTEC 2011), Communications in Computer and Information Science

      巻: (掲載確定)

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Analyzing Pathways Using ASP-Based Approaches2011

    • 著者名/発表者名
      Oliver Ray, Takehide Soh, Katsumi Inoue
    • 雑誌名

      Algebraic and Numeric Biology : Proceedings of the 2010 International Conference (ANB'10), Lecture Notes in Computer Science

      巻: 6479 ページ: 167-183

    • DOI

      10.1007/978-3-642-28067-2_10

    • ISBN
      9783642280665, 9783642280672
    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Towards Efficient Multi-Agent Abduction Protocols2011

    • 著者名/発表者名
      Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet
    • 雑誌名

      Languages, Methodologies, and Development Tools for Multi-Agent Systems, Revised Selected Papers from the 3rd International Workshop (LADS 2010), Lecture Notes in Artificial Intelligence

      巻: 6822 ページ: 19-38

    • DOI

      10.1007/978-3-642-22723-3_2

    • ISBN
      9783642227226, 9783642227233
    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Query-driven Coordination of Multiple Answer Sets2011

    • 著者名/発表者名
      Gauvain Bourgne, Katsumi Inoue
    • 雑誌名

      Proc.of 86h Int'l Workshop on Declarative Agent Languages and Technologies VIII (DALT 2010)

      巻: 6619 ページ: 40-59

    • DOI

      10.1007/978-3-642-20715-0_3

    • ISBN
      9783642207143, 9783642207150
    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Exploring Relations between Answer Set Programs2011

    • 著者名/発表者名
      Katsumi Inoue, Chiaki Sakama
    • 雑誌名

      Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday, Lecture Notes in Artificial Intelligence

      巻: 6565 ページ: 91-110

    • DOI

      10.1007/978-3-642-20832-4_7

    • ISBN
      9783642208317, 9783642208324
    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-Level Abduction2011

    • 著者名/発表者名
      Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima
    • 雑誌名

      Inductive Logic Programming : Revised Papers from the 20th International Conference (ILP'10), Lecture Notes in Artificial Intelligence

      巻: 6489 ページ: 114-129

    • DOI

      10.1007/978-3-642-21295-6_15

    • ISBN
      9783642212949, 9783642212956
    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Inverse Subsumption for Complete Explanatory Induction.2011

    • 著者名/発表者名
      Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma.
    • 雑誌名

      Machine Learning; to appear

    • 関連する報告書
      2010 自己評価報告書
    • 査読あり
  • [雑誌論文] Constraint-based Probabilistic Modeling for Statistical Abduction.2011

    • 著者名/発表者名
      Taisuke Sato, Masakazu Ishihata, Katsumi Inoue.
    • 雑誌名

      Machine Learning 83(2)

      ページ: 241-264

    • 関連する報告書
      2010 自己評価報告書
    • 査読あり
  • [雑誌論文] Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming.2011

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue.
    • 雑誌名

      Machine Learning 83(1)

      ページ: 1-29

    • 関連する報告書
      2010 自己評価報告書
    • 査読あり
  • [雑誌論文] アブダクションとインダクション2010

    • 著者名/発表者名
      井上克巳
    • 雑誌名

      人工知能学会誌

      巻: 25(3) ページ: 389-399

    • URL

      http://ci.nii.ac.jp/naid/110007610263/ja/

    • 関連する報告書
      2011 研究成果報告書 2010 実績報告書
    • 査読あり
  • [雑誌論文] Oliver Ray SOLAR : An Automated Deduction System for Consequence Finding2010

    • 著者名/発表者名
      Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
    • 雑誌名

      AI Communications

      巻: 23(2-3) 号: 2-3 ページ: 183-203

    • DOI

      10.3233/aic-2010-0465

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] SOLAR : An Automated Deduction System for Consequence Finding.2010

    • 著者名/発表者名
      Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray.
    • 雑誌名

      AI Communications 23(2-3)

      ページ: 183-203

    • 関連する報告書
      2010 自己評価報告書
    • 査読あり
  • [雑誌論文] 解集合プログラミング2010

    • 著者名/発表者名
      坂間千秋
    • 雑誌名

      人工知能学会誌

      巻: 25(3) ページ: 368-378

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Discovering Rules by Meta-level Abduction2010

    • 著者名/発表者名
      Katsumi Inoue
    • 雑誌名

      Inductive Logic Programming : Revised Papers from the 19th International Conference, Lecture Notes in Artificial Intelligence(Luc De Raedt (ed.))

      巻: 5989 ページ: 49-64

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] CHR(PRISM)-based Probabilistic Logic Learning2010

    • 著者名/発表者名
      Jon Sneyers
    • 雑誌名

      Theory and Practice of Logic Programming

      巻: 10 ページ: 433-447

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Solving Open Job-Shop Scheduling Problems by SAT Encoding2010

    • 著者名/発表者名
      Miyuki Koshimura
    • 雑誌名

      Journal of IEICE Transactions on Information and Systems

      巻: E93.D(8) ページ: 2316-2318

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] A Logical Account of Lying2010

    • 著者名/発表者名
      Chiaki Sakama
    • 雑誌名

      Logics in Artificial Intelligence, Lecture Notes in Artificial Intelligence(Tomi Janhunen and Ilkka Niemela (eds.))

      巻: 6341 ページ: 286-299

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem2010

    • 著者名/発表者名
      Takehide Soh
    • 雑誌名

      Fundamenta Informaticae

      巻: 102(3-4) ページ: 467-487

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers2010

    • 著者名/発表者名
      Mutsunori Banbara
    • 雑誌名

      Logic for Programming, Artificial Intelligence and Reasoning, Lecture Notes in Computer Science(Christian G.Fermuller and Andrei Voronkov (eds.))

      巻: 6397 ページ: 112-126

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] SOLAR : An Automated Deduction System for Consequence Finding2010

    • 著者名/発表者名
      Hidetomo Nabeshima
    • 雑誌名

      AI Communications 23, 2-3

      ページ: 183-203

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] SMT:個別理論を取り扱うSAT技術2010

    • 著者名/発表者名
      岩沼宏治
    • 雑誌名

      人工知能学会誌 25, 1

      ページ: 86-95

    • 関連する報告書
      2009 実績報告書
  • [雑誌論文]2010

    • 著者名/発表者名
      Yoshitaka Yamamoto
    • 雑誌名

      Elements of Computational Systems Biology(Chapter 9)(John Wiley and Sons, Inc.(Wiley Book Series on Bioinformatics))

      ページ: 213-234

    • 関連する報告書
      2009 実績報告書
  • [雑誌論文] Brave Induction : A Logical Framework for Learning from Incomplete Information2009

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue
    • 雑誌名

      Machine Learning

      巻: 76(1) 号: 1 ページ: 3-35

    • DOI

      10.1007/s10994-009-5113-y

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] Equivalence Issues in Abduction and Induction2009

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue
    • 雑誌名

      Journal of Applied Logic

      巻: 7(3) 号: 3 ページ: 318-328

    • DOI

      10.1016/j.jal.2008.10.006

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] Reconsideration of Circumscriptive Induction with Pointwise Circumscription2009

    • 著者名/発表者名
      Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima
    • 雑誌名

      Journal of Applied Logic

      巻: 7(3) 号: 3 ページ: 307-317

    • DOI

      10.1016/j.jal.2008.10.005

    • 関連する報告書
      2011 研究成果報告書
    • 査読あり
  • [雑誌論文] Brave Induction : A Logical Framework for Learning from Incomplete Information.2009

    • 著者名/発表者名
      Chiaki Sakama, Katsumi Inoue.
    • 雑誌名

      Machine Learning 76(1)

      ページ: 3-35

    • 関連する報告書
      2010 自己評価報告書
    • 査読あり
  • [雑誌論文] Equivalence Issues in Abduction and Induction2009

    • 著者名/発表者名
      Chiaki Sakama
    • 雑誌名

      Journal of Applied Logic 7

      ページ: 318-328

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] Brave Induction : a logical framework for learning from incomplete information2009

    • 著者名/発表者名
      Chiaki Sakama
    • 雑誌名

      Machine Learning 76

      ページ: 3-35

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] Variational Bayes via propositionalized probability computation in PRISM2009

    • 著者名/発表者名
      Taisuke Sato
    • 雑誌名

      Annals of Mathematics and Artificial Intelligence 54, 1-3

      ページ: 135-158

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] Reconsideration of Circumscriptive Induction with Pointwise Circumscription2009

    • 著者名/発表者名
      岩沼宏治
    • 雑誌名

      Journal of Applied Logic 7

      ページ: 307-317

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] イベント時系列マイニングを目的とする新聞記事からの時系列情報に基づく単語抽出2009

    • 著者名/発表者名
      多田知道
    • 雑誌名

      人工知能学会論文誌 24

      ページ: 488-493

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] Coordination in Answer Set Programming2008

    • 著者名/発表者名
      Sakama, Chiaki
    • 雑誌名

      ACM Transactions on Computational logic 9 (2)

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] 論理プログラミングから解集合プログラミングへ2008

    • 著者名/発表者名
      井上克巳
    • 雑誌名

      コンピュータソフトウェア 25 (3)

      ページ: 20-32

    • NAID

      110006840397

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] A Glimpse of Symbolic-statistical Modeling by PRISM2008

    • 著者名/発表者名
      Sato, Taisuke
    • 雑誌名

      Journal of Intelligent Information Systems 31 (2)

      ページ: 161-176

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] New Advances in Logic-based Probabilistic Modeling by PRISM2008

    • 著者名/発表者名
      Sato, Taisuke
    • 雑誌名

      Probabilistic Inductive Logic Programming, Lecture Note in Artificial Intelligence (Springer) 4911

      ページ: 118-155

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [学会発表] Predicting Gene Knockout Effects by Minimal Pathway Enumeration2012

    • 著者名/発表者名
      Takehide Soh, Katsumi Inoue, Tomoya Baba, Yoyoyuki Takada, Toshihiko Shiroishi
    • 学会等名
      The 4th International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO 2012)
    • 発表場所
      St.Maarten, Netherlands Antilles
    • 年月日
      2012-03-28
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 充足可能性判定器に基づく命題論理の結論発見器の提案2012

    • 著者名/発表者名
      鈴木健士郎, 鍋島英知, 岩沼宏治
    • 学会等名
      人工知能学会第85回人工知能基本問題研究会
    • 発表場所
      下呂交流会館、下呂市
    • 年月日
      2012-02-03
    • 関連する報告書
      2011 実績報告書
  • [学会発表] SOLタブロー計算法の分割統治アルゴリズムの検討2012

    • 著者名/発表者名
      寄特勇紀, 鍋島英知
    • 学会等名
      人工知能学会第85回人工知能基本問題研究会
    • 発表場所
      下呂交流会館、下呂市
    • 年月日
      2012-02-03
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 極小活性パスウェイの列挙を用いた大腸菌における遺伝子欠損の影響予測情報処理学会研究報告2012

    • 著者名/発表者名
      宋剛秀, 井上克巳, 馬場知哉, 高田豊行, 城石俊彦
    • 学会等名
      情報処理学会
    • 発表場所
      国立情報学研究所、東京
    • 年月日
      2012-01-12
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 局所対称性除去によるCDCLソルバーの効率改善に向けて2011

    • 著者名/発表者名
      金澤潤二, 鍋島英知
    • 学会等名
      人工知能学会第85回人工知能基本問題研究会
    • 発表場所
      慶応義塾大学日吉キャンパス、横浜市
    • 年月日
      2011-12-16
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 極小活性パスウェイの列挙を用いた遺伝子ノックアウトの影響予測2011

    • 著者名/発表者名
      宋剛秀, 井上克巳, 馬場知哉, 高田豊行, 城石俊彦
    • 学会等名
      第47回人工知能学会分子生物情報研究会
    • 発表場所
      慶応義塾大学日吉キャンパス、横浜市
    • 年月日
      2011-12-15
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Abduction in Meta-Reasoning2011

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      International Symposium on Symbolic Systems Biology (ISSSB 2011)
    • 発表場所
      湘南国際村、葉山市
    • 年月日
      2011-11-15
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Bayesian Inference for Statistical Abduction using Markov Chain Monte Carlo2011

    • 著者名/発表者名
      Ishihata, M., Sato, T.
    • 学会等名
      The 3rd Asian Conference on Machine Learning (ACML-2011)
    • 発表場所
      Taoyuan, Taiwan
    • 年月日
      2011-11-14
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Partition-Based Consequence Finding2011

    • 著者名/発表者名
      Gauvain Bourgne, Katsumi Inoue
    • 学会等名
      The 23rd IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2011)
    • 発表場所
      Palm Beach County, Florida, USA
    • 年月日
      2011-11-09
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] Time Series Discretization via MDL-Based Histogram Density Estimation2011

    • 著者名/発表者名
      Yoshitaka Kameya
    • 学会等名
      The 23rd IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2011)
    • 発表場所
      Palm Beach County, Florida, USA
    • 年月日
      2011-11-09
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] Time Series Discretization via MDL-Based Histogram Density Estimation2011

    • 著者名/発表者名
      Kaineya, Y.
    • 学会等名
      The 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011)
    • 発表場所
      Palm Beach County, USA
    • 年月日
      2011-11-09
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Partition-Based Consequence Finding2011

    • 著者名/発表者名
      Gauvain Bourgne, Katsumi Inoue
    • 学会等名
      The 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011)
    • 発表場所
      Palm Beach County, USA
    • 年月日
      2011-11-09
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Generalizing Conjunctive Queries for Informative Answers2011

    • 著者名/発表者名
      Katsumi Inoue, Lena Wiese
    • 学会等名
      Fiexible Query Answering Systems : Proceedings of the 9th International Conference (FQAS 2011)
    • 発表場所
      Ghent, Belgium
    • 年月日
      2011-10-26
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Answer-Set Programming as a New Approach to Event-Sequence Testing2011

    • 著者名/発表者名
      Esra Erdem, Katsumi Inoue, Johannes Oetsch, Jorg Puhrer, Hans Tompits, Cemal Yilmaz
    • 学会等名
      The 3rd International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011)
    • 発表場所
      Barcelona, Spain
    • 年月日
      2011-10-25
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction2011

    • 著者名/発表者名
      Katsumi Inoue, Chiaki Sakama, Lena Wiese
    • 学会等名
      The 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)
    • 発表場所
      Vienna, Austria
    • 年月日
      2011-09-29
    • 関連する報告書
      2011 実績報告書
  • [学会発表] GlueMiniSat2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2011

    • 著者名/発表者名
      鍋島英知, 岩沼宏治, 井上克巳
    • 学会等名
      日本ソフトウェア科学会第28回大会(2011年度)
    • 発表場所
      沖縄産業支援センター、那覇市
    • 年月日
      2011-09-29
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 局所対称性除去によるCDCLソルバーの効率化手法の検討2011

    • 著者名/発表者名
      金澤潤二, 鍋島英知
    • 学会等名
      日本ソフトウェア科学会第28回大会(2011年度)
    • 発表場所
      沖縄産業支援センター、那覇市
    • 年月日
      2011-09-27
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Comparison of Upward and Downward Generalization in CF-Induction2011

    • 著者名/発表者名
      Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
    • 学会等名
      The 21st International Conference on Inductive Logic Programming(ILP 2011)
    • 発表場所
      Windsor, Great Park, UK
    • 年月日
      2011-08-01
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] DNF Hypotheses in Bottom-Directed ILP2011

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 21st International Conference on Inductive Logic Programming(ILP 2011)
    • 発表場所
      Windsor, Great Park, UK
    • 年月日
      2011-08-01
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] DNF Hypotheses in Bottom-Directed ILP2011

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 21st International Conference on Inductive Logic Programming (ILP 2011)
    • 発表場所
      Windsor Great Park, UK
    • 年月日
      2011-08-01
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Comparison of Upward and Downward Generalization in CF-Induction2011

    • 著者名/発表者名
      Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
    • 学会等名
      The 21st International Conference on Inductive Logic Programming (ILP 2011)
    • 発表場所
      Windsor Great Park, UK
    • 年月日
      2011-08-01
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Model of Double Strand Break of DNA in Logic-Based Hypothesis Finding2011

    • 著者名/発表者名
      Barthelemy Dworkin, Andrei Doncescu, Jean-Charles Faye, Katsumi Inoue
    • 学会等名
      The 21st International Conference on Inductive Logic Programming (ILP 2011)
    • 発表場所
      Windsor Great Park, UK
    • 年月日
      2011-08-01
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Relating Boolean Networks to (Inductive) Logic Programming2011

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      Logic Learning Theory Workshop
    • 発表場所
      Imperial College London, UK(招待講演)
    • 年月日
      2011-07-29
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Probabilistic Rule Learning in Nonmonotonic Domains2011

    • 著者名/発表者名
      Katsumi Inoue, Domenico Corapi, Daniel Sykes, Alessandra Russo
    • 学会等名
      The 3rd PLL Summit
    • 発表場所
      Imperial College London, UK(招待講演)
    • 年月日
      2011-07-27
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Logic Programming for Boolean Networks2011

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 22nd International Joint Conference on Artificial Intelligence(IJCAI-11)
    • 発表場所
      Barcelona, Spain
    • 年月日
      2011-07-22
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] Dishonest Reasoning by Abduction2011

    • 著者名/発表者名
      Chiaki Sakama
    • 学会等名
      The 22nd International Joint Conference on Artificial Intelligence(IJCAI-11)
    • 発表場所
      Barcelona, Spain
    • 年月日
      2011-07-22
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] A General MCMC Method for Bayesian Inference in Logic-Based Probabilistic Modeling2011

    • 著者名/発表者名
      Taisuke Sato
    • 学会等名
      The 22nd International Joint Conference on Artificial Intelligence(IJCAI-11)
    • 発表場所
      Barcelona, Spain
    • 年月日
      2011-07-22
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] Logic Programming for Boolean Networks2011

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 22nd International Joint Conference on Artificial Intelligence (IJCAI-11)
    • 発表場所
      Barcelona, Spain
    • 年月日
      2011-07-22
    • 関連する報告書
      2011 実績報告書
  • [学会発表] A logical formulation for negotiation among dishonest agents2011

    • 著者名/発表者名
      C.Sakama, T.C.Son, E.Pontelli
    • 学会等名
      The 22nd International Joint Conference on Artificial Intelligence (IJCAI-11)
    • 発表場所
      Barcelona, Spain
    • 年月日
      2011-07-22
    • 関連する報告書
      2011 実績報告書
  • [学会発表] A general MCMC method for Bayesian inference in logic-based probabilistic modeling2011

    • 著者名/発表者名
      Sato, T.
    • 学会等名
      The 22nd International Joint Conference on Artificial Intelligence (IJCAI-11)
    • 発表場所
      Barcelona, Spain
    • 年月日
      2011-07-22
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Dishonest reasoning by abduction2011

    • 著者名/発表者名
      Chiaki Sakama
    • 学会等名
      The 22nd International Joint Conference on Artificial Intelligence (IJCAI-11)
    • 発表場所
      Barcelona, Spain
    • 年月日
      2011-07-21
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Probabilistic Rule Learning in Nonmonotonic Domains2011

    • 著者名/発表者名
      Domenico Corapi, Daniel Sykes, Katsumi Inoue, Alessandra Russo
    • 学会等名
      Computational Logic in Multi-Agent Systems : Proceedings of the 12th International Workshop (CLIMA-XII)
    • 発表場所
      Barcelona, Spain
    • 年月日
      2011-07-17
    • 関連する報告書
      2011 実績報告書
  • [学会発表] SOLタブロー計算法に基づく命題論理の充足可能性判定器の実現2011

    • 著者名/発表者名
      鈴木健士郎, 鍋島英知
    • 学会等名
      人工知能学会第25回全国大会
    • 発表場所
      アイーナいわて県民情報交流センター、盛岡市
    • 年月日
      2011-06-03
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 一般双対化問題における冗長節生成の抑止法とその評価2011

    • 著者名/発表者名
      山本泰生, 鍋島英知, 岩沼宏治
    • 学会等名
      人工知能学会第25回全国大会
    • 発表場所
      アイーナいわて県民情報交流センター、盛岡市
    • 年月日
      2011-06-03
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Nelson-Oppen法を組み込んだSMTソルバの設計2011

    • 著者名/発表者名
      福田寿志, 岩沼宏治, 山本泰生
    • 学会等名
      人工知能学会第25回全国大会
    • 発表場所
      アイーナいわて県民情報交流センター、盛岡市
    • 年月日
      2011-06-03
    • 関連する報告書
      2011 実績報告書
  • [学会発表] ポートフォリオ型戦略の導入による結論発見システムSOLARの効率改善2011

    • 著者名/発表者名
      村松匠, 鍋島英知
    • 学会等名
      人工知能学会第25回全国大会
    • 発表場所
      アイーナいわて県民情報交流センター、盛岡市
    • 年月日
      2011-06-02
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 論理モデルによるグルコース抑制機構のパスウェイ補完2011

    • 著者名/発表者名
      坂本悠, 山本泰生, 岩沼宏治
    • 学会等名
      人工知能学会第25回全国大会
    • 発表場所
      アイーナいわて県民情報交流センター、盛岡市
    • 年月日
      2011-06-02
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 結論発見手続きSOLタブロー計算法の分割統治法に基づく効率化2011

    • 著者名/発表者名
      寄特勇紀, 鍋島英知
    • 学会等名
      人工知能学会第25回全国大会
    • 発表場所
      アイーナいわて県民情報交流センター、盛岡市
    • 年月日
      2011-06-01
    • 関連する報告書
      2011 実績報告書
  • [学会発表] ASP-Prolog for negotiation among dishonest agents2011

    • 著者名/発表者名
      N-H.Nguyen, T.C.Son, E.Pontelli, C.Sakama
    • 学会等名
      11th International Conference on Logic Programming and Nonmonotonic Reasoning
    • 発表場所
      Vancouver, Canada
    • 年月日
      2011-05-18
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Formalizing commitments using action languages2011

    • 著者名/発表者名
      T.C.Son, E.Pontellim, C.Sakama
    • 学会等名
      9th International Workshop on Declarative Agent Languages and Technologies
    • 発表場所
      台北、台湾
    • 年月日
      2011-05-03
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Logical definitions of lying2011

    • 著者名/発表者名
      Chiaki Sakama
    • 学会等名
      14th International Workshop on Trust in Agent Societies
    • 発表場所
      台北、台湾
    • 年月日
      2011-05-02
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Application of Meta-level Abduction for the Treatment of Hypertension using SOLAR2011

    • 著者名/発表者名
      Gregoire Lejay
    • 学会等名
      The 2011 IEEE International Workshop on Bioinformatics and Life Science Modeling and Computing (BLSMC 2011)
    • 発表場所
      Biopolis, Singapore
    • 年月日
      2011-03-22
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Complete Distributed Consequence Finding with Message Passing2011

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 3rd International Conference on Agents and Artificial Intelligence (ICAART 2011)
    • 発表場所
      Rome, Italy
    • 年月日
      2011-02-28
    • 関連する報告書
      2010 実績報告書
  • [学会発表] リテラルブロック距離に基づく良い学習節の評価と獲得によるSATソルバの性能改善2011

    • 著者名/発表者名
      鍋島英知
    • 学会等名
      第81回人工知能学会人工知能基本問題研究会
    • 発表場所
      山梨大学(山梨県)
    • 年月日
      2011-01-31
    • 関連する報告書
      2010 実績報告書
  • [学会発表] 単調双対化計算に基づく一般双対化問題の解法2011

    • 著者名/発表者名
      山本泰生
    • 学会等名
      第81回人工知能学会人工知能基本問題研究会
    • 発表場所
      山梨大学(山梨県)
    • 年月日
      2011-01-31
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology2011

    • 著者名/発表者名
      Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato
    • 学会等名
      The 2011 International Conference on Bioinformatics Models, Methods and Algorithms(BIOINFORMATICS 2011)
    • 発表場所
      Rome, Italy
    • 年月日
      2011-01-27
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology2011

    • 著者名/発表者名
      Gabriel Synnaeve
    • 学会等名
      The International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2011)
    • 発表場所
      Rome,Italy
    • 年月日
      2011-01-27
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Nelson-Oppen結合手続きの逆伴意法に基づく改良2011

    • 著者名/発表者名
      岩沼宏治
    • 学会等名
      情報処理学会プログラミング研究会
    • 発表場所
      宮古市中央公民館(岩手県)
    • 年月日
      2011-01-20
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology.2011

    • 著者名/発表者名
      Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato.
    • 学会等名
      The 2011 International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2011)
    • 発表場所
      Rome, Italy
    • 年月日
      2011-01-07
    • 関連する報告書
      2010 自己評価報告書
  • [学会発表] A Bayesian Hybrid Approach to Unsupervised Time Series Discretization2010

    • 著者名/発表者名
      Yoshitaka Kameya, Gabriel Synnaeve, Andrei Doncescu, Katsumi Inoue, Taisuke Sato
    • 学会等名
      The 15th Conference on Technologies and Applications of Artificial Intelligence(TAAI 2010)
    • 発表場所
      Hsinchu, Taiwan
    • 年月日
      2010-11-20
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] A Bayesian Hybrid Approach to Unsupervised Time Series Discretization2010

    • 著者名/発表者名
      Yoshitaka Kameya
    • 学会等名
      The 15th International Conference on Technologies and Applications of Artificial Intelligence (TAAI-2010)
    • 発表場所
      Hsinchu, Taiwan
    • 年月日
      2010-11-20
    • 関連する報告書
      2010 実績報告書
  • [学会発表] 結論発見手続きSOLタブロー法のための多重探索戦略の提案2010

    • 著者名/発表者名
      鈴木健士郎
    • 学会等名
      第80回人工知能学会人工知能基本問題研究
    • 発表場所
      CIC キャンパス・イノベーションセンター(東京都)
    • 年月日
      2010-11-17
    • 関連する報告書
      2010 実績報告書
  • [学会発表] An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Model2010

    • 著者名/発表者名
      Masakazu Ishihata
    • 学会等名
      The 2nd Asian Conference on Machine Learning (ACML-2010)
    • 発表場所
      東京工業大学(東京都)
    • 年月日
      2010-11-09
    • 関連する報告書
      2010 実績報告書
  • [学会発表] The Many Faces of Deception2010

    • 著者名/発表者名
      Chiaki Sakama
    • 学会等名
      30 Years of Nonmonotonic Reasoning
    • 発表場所
      Lexington, USA
    • 年月日
      2010-10-22
    • 関連する報告書
      2010 実績報告書
  • [学会発表] 近年の一階論理定理証明プログラムの実際2010

    • 著者名/発表者名
      岩沼宏治
    • 学会等名
      電子情報通信学会ソフトウエアサイエンス研究会(IEICE-SS2010-33 Vol.110, No.227)
    • 発表場所
      岩手県立大学(岩手県)(招待講演)
    • 年月日
      2010-10-14
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Towards Efficient Multi-agent Abduction Protocols2010

    • 著者名/発表者名
      Gauvain Bourgne
    • 学会等名
      The 3rd International Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS 2010)
    • 発表場所
      Lyon, France
    • 年月日
      2010-08-31
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Abduction of Distributed Theories through Local Interactions2010

    • 著者名/発表者名
      Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet
    • 学会等名
      The 19th European Conference on Artificial Intelligence(ECAI 2010)
    • 発表場所
      Lisbon, Portugal
    • 年月日
      2010-08-20
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] Abduction of Distributed Theories through Local Interactions2010

    • 著者名/発表者名
      Gauvain Bourgne
    • 学会等名
      The 19th European Conference on Artificial Intelligence (ECAI 2010)
    • 発表場所
      Lisbon, Portugal
    • 年月日
      2010-08-20
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation2010

    • 著者名/発表者名
      Takehide Soh, Katsumi Inoue
    • 学会等名
      The 6th Conference on Prestigious Applications of Artificial Intelligence(PAIS 2010)
    • 発表場所
      Lisbon, Portugal
    • 年月日
      2010-08-18
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation2010

    • 著者名/発表者名
      Takehide Soh
    • 学会等名
      The 6th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2010)
    • 発表場所
      Lisbon, Portugal
    • 年月日
      2010-08-18
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Finding Minimal Reaction Sets in Large Metabolic Pathways2010

    • 著者名/発表者名
      Takehide Soh
    • 学会等名
      The 6th International Workshop on Constraint Based Methods for Bioinformatics (WCB 2010)
    • 発表場所
      Edinbaurgh, England
    • 年月日
      2010-07-21
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Hypothesizing about Networks by Meta-level Abduction2010

    • 著者名/発表者名
      Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima
    • 学会等名
      The 20th International Conference on Inductive Logic Programming(ILP 2010)
    • 発表場所
      Firenze, Italy
    • 年月日
      2010-06-29
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] Hypothesizing about Networks by Meta-level Abduction.2010

    • 著者名/発表者名
      Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima.
    • 学会等名
      The 20th International Conference on Inductive Logic Programming (ILP 2010)
    • 発表場所
      Firenze, Italy
    • 年月日
      2010-06-29
    • 関連する報告書
      2010 自己評価報告書
  • [学会発表] Hypothesizing about Networks by Meta-level Abduction2010

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 20th International Conference on Inductive Logic Programming (ILP 2010)
    • 発表場所
      Firenze,Italy
    • 年月日
      2010-06-29
    • 関連する報告書
      2010 実績報告書
  • [学会発表] From Inverse Entailment to Inverse Subsumption2010

    • 著者名/発表者名
      Yoshitaka Yamamoto
    • 学会等名
      The 20th International Conference on Inductive Logic Programming (ILP 2010)
    • 発表場所
      Firenze, Italy
    • 年月日
      2010-06-28
    • 関連する報告書
      2010 実績報告書
  • [学会発表] モデル生成を用いた代謝ネットワークにおける極小部分パスウェイの同定2010

    • 著者名/発表者名
      宋剛秀
    • 学会等名
      人工知能学会全国大会
    • 発表場所
      長崎ブリックホール(長崎県)
    • 年月日
      2010-06-09
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Query-driven Coordination of Multiple Answer Sets2010

    • 著者名/発表者名
      Gauvain Bourgne
    • 学会等名
      AAMAS 2010 Workshop on Declarative Agent Languages and Technologies (DALT 2010)
    • 発表場所
      Toronto,Canada
    • 年月日
      2010-05-10
    • 関連する報告書
      2010 実績報告書
  • [学会発表] A SAT-based Method for Analyzing Metabolic Pathways2010

    • 著者名/発表者名
      宋剛秀
    • 学会等名
      Systems Biochemistry 2010
    • 発表場所
      University of York, York, UK
    • 年月日
      2010-03-23
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Past and Future 20 Years of ILP2010

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 20th International Conference on Inductive Logic Programming (ILP 2010)
    • 発表場所
      Firenze, Italy(Panel;招待)
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Exploring Relations between Answer Set Programs2010

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The Symposium on Constructive Mathematics in Computer Science
    • 発表場所
      Lexington, USA(招待)
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Grammatical Concept Representation for Randomised Optimisation Algorithms in Relational Learning2009

    • 著者名/発表者名
      Petr Buryan
    • 学会等名
      The 9th International Conference on Intelligent Systems Design and Applications(ISDA'09)
    • 発表場所
      Palazzo dei Congressi, Pisa, Italy
    • 年月日
      2009-12-02
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Social Default Theories2009

    • 著者名/発表者名
      Chiaki Sakama
    • 学会等名
      The 10th International Conference on Logic Programming and Nonmonotonic Reasoning(LPNMR'09)
    • 発表場所
      University of Potsdam, Potsdam, Germany
    • 年月日
      2009-09-15
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Interacting Answer Sets2009

    • 著者名/発表者名
      Chiaki Sakama
    • 学会等名
      The 10th International Workshop on Computational Logic in Multi-Agent Systems(CLIMA-X)
    • 発表場所
      University of Hamburg, Hamburg, Germany
    • 年月日
      2009-09-10
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Negotiation using Logic Programming with Consistency Restoring Rules2009

    • 著者名/発表者名
      Tran Cao Son
    • 学会等名
      The 21st International Joint Conference on Artificial Intelligence(IJCAI-09)
    • 発表場所
      Pasadena Convention Center, Pasadena, USA
    • 年月日
      2009-07-17
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Generative Modeling by PRISM2009

    • 著者名/発表者名
      Taisuke Sato
    • 学会等名
      The 25th International Conference on Logic Programming(ICLP-2009)
    • 発表場所
      Pasadena Convention Center, Pasadena, USA
    • 年月日
      2009-07-17
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Evaluating Abductive Hypotheses Using an EM Algorithm on BDDs2009

    • 著者名/発表者名
      Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima
    • 学会等名
      The 21st International Joint Conference on Artificial Intelligence(IJCAI-09)
    • 発表場所
      Pasadena, USA
    • 年月日
      2009-07-14
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] Evaluating Abductive Hypotheses using an EM Algorithm on BDDs.2009

    • 著者名/発表者名
      Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima.
    • 学会等名
      The 21st International, Joint Conference on Artificial Intelligence (TJCAT-09)
    • 発表場所
      Pasadena, USA
    • 年月日
      2009-07-14
    • 関連する報告書
      2010 自己評価報告書
  • [学会発表] Evaluating Abductive Hypotheses using an EM Algorithm on BDDs2009

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 21st International Joint Conference on Artificial Intelligence(IJCAI-09)
    • 発表場所
      Pasadena Convention Center, Pasadena, USA
    • 年月日
      2009-07-14
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Logic Programming for Multi-agent Planning with Negotiation2009

    • 著者名/発表者名
      Tran Cao Son
    • 学会等名
      The 25th International Conference on Logic Programming(ICLP'09)
    • 発表場所
      Pasadena Convention Center, Pasadena, USA
    • 年月日
      2009-07-14
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Towards a Model of Collective Knowledge Discovery2009

    • 著者名/発表者名
      Gauvain Bourgne
    • 学会等名
      The IJCAI-09 Workshop on Abductive and Inductive Knowledge Development(AIAI'09)
    • 発表場所
      Pasadena Convention Center, Pasadena, USA
    • 年月日
      2009-07-12
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Hypothesis Enumeration by CF-induction2009

    • 著者名/発表者名
      Yoshitaka Yamamoto
    • 学会等名
      The Sixth Workshop on Learning with Logics and Logics for Learning(LLLL2009)
    • 発表場所
      Kyodai Kaiakan, Kyoto, Japan
    • 年月日
      2009-07-07
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Toward an Efficient Equality Computation in Connection Tableaux : A Modification Method without Symmetry Transformation2009

    • 著者名/発表者名
      Koji Iwanuma
    • 学会等名
      The International Workshop on First-Order Theorem Proving(Univ.of OSLO, Dep.of Informatics Research Report 386)
    • 発表場所
      University of Oslo, Oslo, Norway
    • 年月日
      2009-07-07
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Toward an Efficient Equality Computation in Connection Tableaux : A Modification Method without Symmetry Transformation2009

    • 著者名/発表者名
      Koji Iwanuma, Hidetomo Nabeshima, Katsumi Inoue
    • 学会等名
      The 7th International Workshop on First-Order Theorem Proving(FTP 2009)
    • 発表場所
      Oslo, Norway
    • 年月日
      2009-07-06
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] Toward an Efficient Equality Computation in Connection Tableaux : A Modification Method without Symmetry Transformation.2009

    • 著者名/発表者名
      Koji Iwanuma, Hidetomo Nabeshima Katsumi Inoue.
    • 学会等名
      The 7th International Workshop on First-Order Theorem Proving (FTP 2009)
    • 発表場所
      Oslo, Norway
    • 年月日
      2009-07-06
    • 関連する報告書
      2010 自己評価報告書
  • [学会発表] Constraint-based Probabilistic Modeling for Statistical Abduction2009

    • 著者名/発表者名
      Taisuke Sato
    • 学会等名
      The 19th International Conference on Inductive Logic Programming(ILP-2009)
    • 発表場所
      Katholieke Universiteit Leuven, Leuven, Belgium
    • 年月日
      2009-07-04
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Abducing Rules with Predicate Invention2009

    • 著者名/発表者名
      Katsumi Inoue
    • 学会等名
      The 19th International Conference on Inductive Logic Programming(ILP 2009)
    • 発表場所
      Katholieke Universiteit Leuven, Leuven, Belgium
    • 年月日
      2009-07-02
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Kinetic Models for Logic-Based Hypothesis Finding in Metabolic Pathways2009

    • 著者名/発表者名
      Gabriel Synnaeve
    • 学会等名
      The 19th International. Conference on Inductive Logic Programming(ILP 2009)
    • 発表場所
      Katholieke Universiteit Leuven, Leuven, Belgium
    • 年月日
      2009-07-02
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Logic-based Probabilistic Modeling2009

    • 著者名/発表者名
      Taisuke Sato
    • 学会等名
      The 16th Workshop on Logic, Language, Information and Computation(WoLLIC-2009)
    • 発表場所
      National Center of Sciences, Tokyo, Japan
    • 年月日
      2009-06-21
    • 関連する報告書
      2009 実績報告書
  • [学会発表] SAT問題への変換を用いたフィードバックを含むパスウェイの解析2009

    • 著者名/発表者名
      宋剛秀
    • 学会等名
      人工知能学会第23回全国大会(JSAI 2009)
    • 発表場所
      サンポートホール高松, 高松市, 香川県
    • 年月日
      2009-06-18
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 発想推論に基づく着眼点の発見2009

    • 著者名/発表者名
      古川康一
    • 学会等名
      人工知能学会第23回全国大会(JSAI 2009)
    • 発表場所
      サンポートホール高松, 高松市, 香川県
    • 年月日
      2009-06-17
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Abductive Reasoning in Cancer Therapy2009

    • 著者名/発表者名
      Yoshitaka Yamamoto
    • 学会等名
      The 2009 IEEE International Workshop on Bioinformatics and Life Science Modeling and Computing(BLSMC'09)(AINA'09 Workshop)
    • 発表場所
      University of Bradford, Bradford, UK
    • 年月日
      2009-05-28
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Reasoning and Planning with Cooperative Actions for Multi-agents Using Answer Set Programming2009

    • 著者名/発表者名
      Tran Cao Son
    • 学会等名
      The 6th International Workshop on Declarative Agent Languages and Technologies(DALT'09)
    • 発表場所
      Europa Congress Center, Budapest, Hungary
    • 年月日
      2009-05-11
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Extraction of logical relations to model some aspects of breast cancer therapy2009

    • 著者名/発表者名
      Doncescu, Andrei
    • 学会等名
      第22回システムバイオロジー研究会
    • 発表場所
      癌研究所, 東京
    • 年月日
      2009-03-11
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 並列分散型SATソルバにおける探索空間の分割手法の提案2009

    • 著者名/発表者名
      高見明秀
    • 学会等名
      電子情報通信学会技術研究報告IEICE-SS-444
    • 発表場所
      佐賀大学(佐賀)
    • 年月日
      2009-03-02
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 発想推論に基づく着眼点の発見2009

    • 著者名/発表者名
      古川康一
    • 学会等名
      人工知能学会第3回身体知研究会
    • 発表場所
      慶應義塾大学, 東京
    • 年月日
      2009-01-09
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Towards Efficient Equality Computation in SOLAR2009

    • 著者名/発表者名
      Iwanuma, Koji
    • 学会等名
      推論エンジンを用いたプログラム自動検証法の研究集会
    • 発表場所
      東北大学電気通信研究所(宮城)
    • 年月日
      2009-01-08
    • 関連する報告書
      2008 実績報告書
  • [学会発表] A Complete Pruning Methods and a Practical Search Strategy for SOL2008

    • 著者名/発表者名
      Nabeshima, Hidetomo
    • 学会等名
      Proceedings of the 7th International Workshop on the Implementation of Logics (IWIL 2008)
    • 発表場所
      Doha, Qatar
    • 年月日
      2008-11-22
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Propositionalizing the EM algorithm by BDDs2008

    • 著者名/発表者名
      Ishihata, Masakazu
    • 学会等名
      The 18th International Conference on Inductive Logic Programming (ILP-2008)
    • 発表場所
      Prague, Czech
    • 年月日
      2008-09-11
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Comparing Abductive Theories2008

    • 著者名/発表者名
      Katsumi Inoue, Chiaki Sakama
    • 学会等名
      The 18th European Conference on Artificial Intelligence(ECAI 2008)
    • 発表場所
      Patras, Greece
    • 年月日
      2008-07-24
    • 関連する報告書
      2011 研究成果報告書
  • [学会発表] Comparing Abductive Theories.2008

    • 著者名/発表者名
      Katsumi Inoue, Chiaki Sakama.
    • 学会等名
      The 18th European Conference on Artificial Intelligence (ECAI 2008)
    • 発表場所
      Patras, Greece
    • 年月日
      2008-07-24
    • 関連する報告書
      2010 自己評価報告書
  • [学会発表] BDD上の命題化確率計算に基づくEMアルゴリズム2008

    • 著者名/発表者名
      石畠正和
    • 学会等名
      人工知能学会第70回人工知能基本問題研究会
    • 発表場所
      京都
    • 年月日
      2008-07-04
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Negotiation by Induction2008

    • 著者名/発表者名
      Sakama, Chiaki
    • 学会等名
      Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems
    • 発表場所
      Estoril, Portugal
    • 年月日
      2008-05-12
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Inductive Negotiation in Answer Set Programming2008

    • 著者名/発表者名
      Sakama, Chiaki
    • 学会等名
      Proceedings of the 6th International Workshop on Declarative Agent Languages and Technologies
    • 発表場所
      Estoril, Portugal
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Comparing Abductive Theories2008

    • 著者名/発表者名
      Inoue, Katsumi
    • 学会等名
      Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008)
    • 発表場所
      Patras, Greece
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Brave Induction2008

    • 著者名/発表者名
      Sakama, Chiaki
    • 学会等名
      Proceedings of the 18th International Conference on Inductive Logic Programming
    • 発表場所
      Prague, Czech
    • 関連する報告書
      2008 実績報告書
  • [学会発表] CF帰納法の効率的実装とパスウェイ推論への応用2008

    • 著者名/発表者名
      山本泰生
    • 学会等名
      人工知能学会第71回人工知能基本問題研究会
    • 発表場所
      北海道大学(北海道)
    • 関連する報告書
      2008 実績報告書
  • [学会発表] An Efficient Hypothesis-finding System Implemented with Deduction and Dualization2008

    • 著者名/発表者名
      Yamamoto, Yoshitaka
    • 学会等名
      Proceedings of the 22nd Workshop on Logic Programming (WLP 2008)
    • 発表場所
      Dresden, Germany
    • 関連する報告書
      2008 実績報告書
  • [学会発表] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem2008

    • 著者名/発表者名
      Soh, Takehide
    • 学会等名
      The 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA' 08)
    • 発表場所
      Udine, Italy
    • 関連する報告書
      2008 実績報告書
  • [図書] Physiological Analysis of Yeast Cell by Intelligent Signal Processing, Applied Biological Engineering. Principles and Practice, Chapter 192012

    • 著者名/発表者名
      Andrei Doncescu, Sebastien Regis, Katsumi Inoue, Nathalie Goma
    • 関連する報告書
      2011 研究成果報告書
  • [図書] Integrating Abduction and Induction in Biological Inference using CF-Induction. In : Huma Lodhi and Stephen Muggleton(eds.), Elements of Computational Systems Biology, Chapter 92009

    • 著者名/発表者名
      Yoshitaka Yamamoto, Katsumi Inoue, Andrei Doncescu
    • 関連する報告書
      2011 研究成果報告書
  • [図書] Elements of Computational Systems Biology(Integrating Abduction and Induction in Biological Inference using CF-Induction.)(John Wiley and Sons, Inc.)(Huma Lodhi and Stephen Muggleton (eds.))2009

    • 著者名/発表者名
      Yoshitaka Yamamoto, Katsumi Inoue,Andrei Doncescu.
    • 出版者
      Wiley Book Series on Bioinformatics
    • 関連する報告書
      2010 自己評価報告書
  • [備考]

    • URL

      http://research.nii.ac.jp/il/event/project_a.html

    • 関連する報告書
      2011 研究成果報告書
  • [備考] 科研テーマ・ホームページ

    • URL

      http://research.nii.ac.jp/il/event/project_a.html

    • 関連する報告書
      2011 実績報告書
  • [備考] ホームページ

    • URL

      http://research.nii.ac.jp/il/event/project_a.html

    • 関連する報告書
      2010 自己評価報告書
  • [備考] 科研テーマ・ホームページ

    • URL

      http://research.nii.ac.jp/il/event/project_a.html

    • 関連する報告書
      2010 実績報告書
  • [備考] 受賞

    • 関連する報告書
      2010 実績報告書
  • [備考] ●2010年6月 The 20th International Conference on Inductive Logic Programming (ILP2010) : Best Student Paper Award

    • 関連する報告書
      2010 実績報告書
  • [備考] ●2011年1月 BIOINFORMATICS 2011 : Best Student Paper Award

    • 関連する報告書
      2010 実績報告書
  • [備考]

    • URL

      http://research.nii.ac.jp/il/event/project_a.html

    • 関連する報告書
      2009 実績報告書
  • [備考]

    • URL

      http://research.nii.ac.jp/il/event/project_a.html

    • 関連する報告書
      2008 実績報告書

URL: 

公開日: 2008-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi