• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Inference-based Hypothesis-finding and its Application to Systems Biology

Research Project

Project/Area Number 20240016
Research Category

Grant-in-Aid for Scientific Research (A)

Allocation TypeSingle-year Grants
Section一般
Research Field Intelligent informatics
Research InstitutionNational Institute of Informatics

Principal Investigator

INOUE Katsumi  国立情報学研究所, 情報学プリンシプル研究系, 教授 (10252321)

Co-Investigator(Kenkyū-buntansha) SATO Taisuke  東京工業大学, 大学院・情報理工学研究科, 教授 (90272690)
KAMEYA Yoshitaka  東京工業大学, 大学院・情報理工学研究科, 助教 (60361789)
IWANUMA Koji  山梨大学, 大学院・医学工学総合研究部, 教授 (30176557)
NABESHIMA Hidetomo  山梨大学, 大学院・医学工学総合研究部, 准教授 (10334848)
YAMAMOTO Yoshitaka  山梨大学, 大学院・医学工学総合研究部, 助教 (30550793)
SAKAMA Chiaki  和歌山大学, システム工学部, 教授 (20273873)
Co-Investigator(Renkei-kenkyūsha) FUJIYAMA Asao  国立情報学研究所, 情報学プリンシプル研究系, 教授 (60142311)
Project Period (FY) 2008 – 2011
Project Status Completed (Fiscal Year 2011)
Budget Amount *help
¥34,060,000 (Direct Cost: ¥26,200,000、Indirect Cost: ¥7,860,000)
Fiscal Year 2011: ¥8,710,000 (Direct Cost: ¥6,700,000、Indirect Cost: ¥2,010,000)
Fiscal Year 2010: ¥8,190,000 (Direct Cost: ¥6,300,000、Indirect Cost: ¥1,890,000)
Fiscal Year 2009: ¥8,060,000 (Direct Cost: ¥6,200,000、Indirect Cost: ¥1,860,000)
Fiscal Year 2008: ¥9,100,000 (Direct Cost: ¥7,000,000、Indirect Cost: ¥2,100,000)
Keywords人工知能 / 推論 / システム生物学 / 仮説発見 / 結論発見 / 確率推論 / 帰納論理プログラミング / アブダクション
Research Abstract

Systems biology is an emergent field that aims to understand living organisms as biological systems. To find useful information from biological data, we focus on inference methods, induction and abduction, based on logic-based Artificial Intelligence. Both abduction and induction are used to infer hypotheses in inductive logic programming(ILP), and can be implemented using the consequence finding procedure SOLAR. However, in the current inference methods, efficiency of inference needs to be improved, and mechanisms for hypotheses selection are necessarily developed. Hence, the following three subtasks are set in this project:
(1) Improving hypothesis finding methods based on SOLAR and related techniques;
(2) Developing effective hypothesis selection methods based on both statistical and non-statistical approaches;
(3) Applying those methods to problems in systems biology.

Report

(6 results)
  • 2011 Annual Research Report   Final Research Report ( PDF )
  • 2010 Annual Research Report   Self-evaluation Report ( PDF )
  • 2009 Annual Research Report
  • 2008 Annual Research Report
  • Research Products

    (167 results)

All 2012 2011 2010 2009 2008 Other

All Journal Article (47 results) (of which Peer Reviewed: 45 results) Presentation (108 results) Book (3 results) Remarks (9 results)

  • [Journal Article] Inverse Subsumption for Complete Explanatory Induction2012

    • Author(s)
      Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
    • Journal Title

      Machine Learning

      Volume: 86(1) Issue: 1 Pages: 115-139

    • DOI

      10.1007/s10994-011-5250-y

    • Related Report
      2011 Annual Research Report 2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] ILP Turns 20 : Biography and Future Challenges2012

    • Author(s)
      Stephen Muggleton, Luc De Raedt, David Poole, Ivan Bratko, Peter Flach, Katsumi Inoue, Ashwin Srinivasan
    • Journal Title

      Machine Learning

      Volume: 86(1) Issue: 1 Pages: 3-23

    • DOI

      10.1007/s10994-011-5259-2

    • Related Report
      2011 Annual Research Report 2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] GlueMiniSat 2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2012

    • Author(s)
      鍋島英知, 岩沼宏治, 井上克巳
    • Journal Title

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

      Volume: (掲載確定)

    • NAID

      130004549290

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] DNF Hyrpotheses in Explanatory Induction2012

    • Author(s)
      Katsumi Inoue
    • Journal Title

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

      Volume: 7207 Pages: 173-188

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Comparison of Upward and Downward Generalizations in CF-induction2012

    • Author(s)
      Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
    • Journal Title

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

      Volume: 7207 Pages: 373-388

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Model of Double Strand Break of DNA in Logic-Based Hypothesis Finding2012

    • Author(s)
      Barthelemy Dworkin, Andrei Doncescu, Jean-Charles Faye, Katsumi Inoue
    • Journal Title

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

      Volume: (掲載確定)

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Physiological Analysis of Yeast Cell by Intelligent Signal Processing2012

    • Author(s)
      Andrei Doncescu, Sebastien Regis, Katsumi Inoue, Nathalie Goma
    • Journal Title

      Applied Biological Engineering-Principles and Practice

      Volume: 19 Pages: 435-460

    • DOI

      10.5772/29776

    • ISBN
      9789535104124
    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Enumerating Minimal Active Metabolic Pathways by Model Generation2012

    • Author(s)
      宋剛秀, 井上克巳
    • Journal Title

      Transactions of the Japanese Society for Artificial Intelligence

      Volume: 27 Issue: 3 Pages: 204-212

    • DOI

      10.1527/tjsai.27.204

    • NAID

      130001878758

    • ISSN
      1346-0714, 1346-8030
    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Constraint-based Probabilistic Modeling for Statistical Abduction2011

    • Author(s)
      Taisuke Sato, Masakazu Ishihata, Katsumi Inoue
    • Journal Title

      Machine Learning

      Volume: 83(2) Issue: 2 Pages: 241-264

    • DOI

      10.1007/s10994-010-5206-7

    • Related Report
      2011 Annual Research Report 2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming2011

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Journal Title

      Machine Learning

      Volume: 83(1) Issue: 1 Pages: 1-29

    • DOI

      10.1007/s10994-010-5189-4

    • Related Report
      2011 Annual Research Report 2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] 一階論理上の等号推論:理論と実際2011

    • Author(s)
      岩沼宏治,鍋島英知,井上克巳
    • Journal Title

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

      Volume: 28(4) Pages: 282-305

    • NAID

      130004549242

    • URL

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

    • Related Report
      2011 Annual Research Report 2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] Distributed Consequence Finding : Partition-Based and Cooperative Approaches2011

    • Author(s)
      Katsumi Inoue, Gauvain Bourgne, Takayuki Okamoto
    • Journal Title

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

      Volume: (掲載確定)

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Discretized Kinetic Models for Abductive Reasoning in Systems Biology2011

    • Author(s)
      Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato
    • Journal Title

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

      Volume: (掲載確定)

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Analyzing Pathways Using ASP-Based Approaches2011

    • Author(s)
      Oliver Ray, Takehide Soh, Katsumi Inoue
    • Journal Title

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

      Volume: 6479 Pages: 167-183

    • DOI

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

    • ISBN
      9783642280665, 9783642280672
    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Towards Efficient Multi-Agent Abduction Protocols2011

    • Author(s)
      Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet
    • Journal Title

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

      Volume: 6822 Pages: 19-38

    • DOI

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

    • ISBN
      9783642227226, 9783642227233
    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Query-driven Coordination of Multiple Answer Sets2011

    • Author(s)
      Gauvain Bourgne, Katsumi Inoue
    • Journal Title

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

      Volume: 6619 Pages: 40-59

    • DOI

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

    • ISBN
      9783642207143, 9783642207150
    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Exploring Relations between Answer Set Programs2011

    • Author(s)
      Katsumi Inoue, Chiaki Sakama
    • Journal Title

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

      Volume: 6565 Pages: 91-110

    • DOI

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

    • ISBN
      9783642208317, 9783642208324
    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-Level Abduction2011

    • Author(s)
      Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima
    • Journal Title

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

      Volume: 6489 Pages: 114-129

    • DOI

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

    • ISBN
      9783642212949, 9783642212956
    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Inverse Subsumption for Complete Explanatory Induction.2011

    • Author(s)
      Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma.
    • Journal Title

      Machine Learning; to appear

    • Related Report
      2010 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] Constraint-based Probabilistic Modeling for Statistical Abduction.2011

    • Author(s)
      Taisuke Sato, Masakazu Ishihata, Katsumi Inoue.
    • Journal Title

      Machine Learning 83(2)

      Pages: 241-264

    • Related Report
      2010 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming.2011

    • Author(s)
      Chiaki Sakama, Katsumi Inoue.
    • Journal Title

      Machine Learning 83(1)

      Pages: 1-29

    • Related Report
      2010 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] アブダクションとインダクション2010

    • Author(s)
      井上克巳
    • Journal Title

      人工知能学会誌

      Volume: 25(3) Pages: 389-399

    • URL

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

    • Related Report
      2011 Final Research Report 2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Oliver Ray SOLAR : An Automated Deduction System for Consequence Finding2010

    • Author(s)
      Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
    • Journal Title

      AI Communications

      Volume: 23(2-3) Issue: 2-3 Pages: 183-203

    • DOI

      10.3233/aic-2010-0465

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] SOLAR : An Automated Deduction System for Consequence Finding.2010

    • Author(s)
      Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray.
    • Journal Title

      AI Communications 23(2-3)

      Pages: 183-203

    • Related Report
      2010 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] 解集合プログラミング2010

    • Author(s)
      坂間千秋
    • Journal Title

      人工知能学会誌

      Volume: 25(3) Pages: 368-378

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Discovering Rules by Meta-level Abduction2010

    • Author(s)
      Katsumi Inoue
    • Journal Title

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

      Volume: 5989 Pages: 49-64

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] CHR(PRISM)-based Probabilistic Logic Learning2010

    • Author(s)
      Jon Sneyers
    • Journal Title

      Theory and Practice of Logic Programming

      Volume: 10 Pages: 433-447

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Solving Open Job-Shop Scheduling Problems by SAT Encoding2010

    • Author(s)
      Miyuki Koshimura
    • Journal Title

      Journal of IEICE Transactions on Information and Systems

      Volume: E93.D(8) Pages: 2316-2318

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Logical Account of Lying2010

    • Author(s)
      Chiaki Sakama
    • Journal Title

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

      Volume: 6341 Pages: 286-299

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem2010

    • Author(s)
      Takehide Soh
    • Journal Title

      Fundamenta Informaticae

      Volume: 102(3-4) Pages: 467-487

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers2010

    • Author(s)
      Mutsunori Banbara
    • Journal Title

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

      Volume: 6397 Pages: 112-126

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] SOLAR : An Automated Deduction System for Consequence Finding2010

    • Author(s)
      Hidetomo Nabeshima
    • Journal Title

      AI Communications 23, 2-3

      Pages: 183-203

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] SMT:個別理論を取り扱うSAT技術2010

    • Author(s)
      岩沼宏治
    • Journal Title

      人工知能学会誌 25, 1

      Pages: 86-95

    • Related Report
      2009 Annual Research Report
  • [Journal Article]2010

    • Author(s)
      Yoshitaka Yamamoto
    • Journal Title

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

      Pages: 213-234

    • Related Report
      2009 Annual Research Report
  • [Journal Article] Brave Induction : A Logical Framework for Learning from Incomplete Information2009

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Journal Title

      Machine Learning

      Volume: 76(1) Issue: 1 Pages: 3-35

    • DOI

      10.1007/s10994-009-5113-y

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] Equivalence Issues in Abduction and Induction2009

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Journal Title

      Journal of Applied Logic

      Volume: 7(3) Issue: 3 Pages: 318-328

    • DOI

      10.1016/j.jal.2008.10.006

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] Reconsideration of Circumscriptive Induction with Pointwise Circumscription2009

    • Author(s)
      Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima
    • Journal Title

      Journal of Applied Logic

      Volume: 7(3) Issue: 3 Pages: 307-317

    • DOI

      10.1016/j.jal.2008.10.005

    • Related Report
      2011 Final Research Report
    • Peer Reviewed
  • [Journal Article] Brave Induction : A Logical Framework for Learning from Incomplete Information.2009

    • Author(s)
      Chiaki Sakama, Katsumi Inoue.
    • Journal Title

      Machine Learning 76(1)

      Pages: 3-35

    • Related Report
      2010 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] Equivalence Issues in Abduction and Induction2009

    • Author(s)
      Chiaki Sakama
    • Journal Title

      Journal of Applied Logic 7

      Pages: 318-328

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Brave Induction : a logical framework for learning from incomplete information2009

    • Author(s)
      Chiaki Sakama
    • Journal Title

      Machine Learning 76

      Pages: 3-35

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Variational Bayes via propositionalized probability computation in PRISM2009

    • Author(s)
      Taisuke Sato
    • Journal Title

      Annals of Mathematics and Artificial Intelligence 54, 1-3

      Pages: 135-158

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Reconsideration of Circumscriptive Induction with Pointwise Circumscription2009

    • Author(s)
      岩沼宏治
    • Journal Title

      Journal of Applied Logic 7

      Pages: 307-317

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] イベント時系列マイニングを目的とする新聞記事からの時系列情報に基づく単語抽出2009

    • Author(s)
      多田知道
    • Journal Title

      人工知能学会論文誌 24

      Pages: 488-493

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Coordination in Answer Set Programming2008

    • Author(s)
      Sakama, Chiaki
    • Journal Title

      ACM Transactions on Computational logic 9 (2)

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 論理プログラミングから解集合プログラミングへ2008

    • Author(s)
      井上克巳
    • Journal Title

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

      Pages: 20-32

    • NAID

      110006840397

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Glimpse of Symbolic-statistical Modeling by PRISM2008

    • Author(s)
      Sato, Taisuke
    • Journal Title

      Journal of Intelligent Information Systems 31 (2)

      Pages: 161-176

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] New Advances in Logic-based Probabilistic Modeling by PRISM2008

    • Author(s)
      Sato, Taisuke
    • Journal Title

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

      Pages: 118-155

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Presentation] Predicting Gene Knockout Effects by Minimal Pathway Enumeration2012

    • Author(s)
      Takehide Soh, Katsumi Inoue, Tomoya Baba, Yoyoyuki Takada, Toshihiko Shiroishi
    • Organizer
      The 4th International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO 2012)
    • Place of Presentation
      St.Maarten, Netherlands Antilles
    • Year and Date
      2012-03-28
    • Related Report
      2011 Annual Research Report
  • [Presentation] 充足可能性判定器に基づく命題論理の結論発見器の提案2012

    • Author(s)
      鈴木健士郎, 鍋島英知, 岩沼宏治
    • Organizer
      人工知能学会第85回人工知能基本問題研究会
    • Place of Presentation
      下呂交流会館、下呂市
    • Year and Date
      2012-02-03
    • Related Report
      2011 Annual Research Report
  • [Presentation] SOLタブロー計算法の分割統治アルゴリズムの検討2012

    • Author(s)
      寄特勇紀, 鍋島英知
    • Organizer
      人工知能学会第85回人工知能基本問題研究会
    • Place of Presentation
      下呂交流会館、下呂市
    • Year and Date
      2012-02-03
    • Related Report
      2011 Annual Research Report
  • [Presentation] 極小活性パスウェイの列挙を用いた大腸菌における遺伝子欠損の影響予測情報処理学会研究報告2012

    • Author(s)
      宋剛秀, 井上克巳, 馬場知哉, 高田豊行, 城石俊彦
    • Organizer
      情報処理学会
    • Place of Presentation
      国立情報学研究所、東京
    • Year and Date
      2012-01-12
    • Related Report
      2011 Annual Research Report
  • [Presentation] 局所対称性除去によるCDCLソルバーの効率改善に向けて2011

    • Author(s)
      金澤潤二, 鍋島英知
    • Organizer
      人工知能学会第85回人工知能基本問題研究会
    • Place of Presentation
      慶応義塾大学日吉キャンパス、横浜市
    • Year and Date
      2011-12-16
    • Related Report
      2011 Annual Research Report
  • [Presentation] 極小活性パスウェイの列挙を用いた遺伝子ノックアウトの影響予測2011

    • Author(s)
      宋剛秀, 井上克巳, 馬場知哉, 高田豊行, 城石俊彦
    • Organizer
      第47回人工知能学会分子生物情報研究会
    • Place of Presentation
      慶応義塾大学日吉キャンパス、横浜市
    • Year and Date
      2011-12-15
    • Related Report
      2011 Annual Research Report
  • [Presentation] Abduction in Meta-Reasoning2011

    • Author(s)
      Katsumi Inoue
    • Organizer
      International Symposium on Symbolic Systems Biology (ISSSB 2011)
    • Place of Presentation
      湘南国際村、葉山市
    • Year and Date
      2011-11-15
    • Related Report
      2011 Annual Research Report
  • [Presentation] Bayesian Inference for Statistical Abduction using Markov Chain Monte Carlo2011

    • Author(s)
      Ishihata, M., Sato, T.
    • Organizer
      The 3rd Asian Conference on Machine Learning (ACML-2011)
    • Place of Presentation
      Taoyuan, Taiwan
    • Year and Date
      2011-11-14
    • Related Report
      2011 Annual Research Report
  • [Presentation] Partition-Based Consequence Finding2011

    • Author(s)
      Gauvain Bourgne, Katsumi Inoue
    • Organizer
      The 23rd IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2011)
    • Place of Presentation
      Palm Beach County, Florida, USA
    • Year and Date
      2011-11-09
    • Related Report
      2011 Final Research Report
  • [Presentation] Time Series Discretization via MDL-Based Histogram Density Estimation2011

    • Author(s)
      Yoshitaka Kameya
    • Organizer
      The 23rd IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2011)
    • Place of Presentation
      Palm Beach County, Florida, USA
    • Year and Date
      2011-11-09
    • Related Report
      2011 Final Research Report
  • [Presentation] Time Series Discretization via MDL-Based Histogram Density Estimation2011

    • Author(s)
      Kaineya, Y.
    • Organizer
      The 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011)
    • Place of Presentation
      Palm Beach County, USA
    • Year and Date
      2011-11-09
    • Related Report
      2011 Annual Research Report
  • [Presentation] Partition-Based Consequence Finding2011

    • Author(s)
      Gauvain Bourgne, Katsumi Inoue
    • Organizer
      The 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011)
    • Place of Presentation
      Palm Beach County, USA
    • Year and Date
      2011-11-09
    • Related Report
      2011 Annual Research Report
  • [Presentation] Generalizing Conjunctive Queries for Informative Answers2011

    • Author(s)
      Katsumi Inoue, Lena Wiese
    • Organizer
      Fiexible Query Answering Systems : Proceedings of the 9th International Conference (FQAS 2011)
    • Place of Presentation
      Ghent, Belgium
    • Year and Date
      2011-10-26
    • Related Report
      2011 Annual Research Report
  • [Presentation] Answer-Set Programming as a New Approach to Event-Sequence Testing2011

    • Author(s)
      Esra Erdem, Katsumi Inoue, Johannes Oetsch, Jorg Puhrer, Hans Tompits, Cemal Yilmaz
    • Organizer
      The 3rd International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011)
    • Place of Presentation
      Barcelona, Spain
    • Year and Date
      2011-10-25
    • Related Report
      2011 Annual Research Report
  • [Presentation] Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction2011

    • Author(s)
      Katsumi Inoue, Chiaki Sakama, Lena Wiese
    • Organizer
      The 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)
    • Place of Presentation
      Vienna, Austria
    • Year and Date
      2011-09-29
    • Related Report
      2011 Annual Research Report
  • [Presentation] GlueMiniSat2.2.5:単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー2011

    • Author(s)
      鍋島英知, 岩沼宏治, 井上克巳
    • Organizer
      日本ソフトウェア科学会第28回大会(2011年度)
    • Place of Presentation
      沖縄産業支援センター、那覇市
    • Year and Date
      2011-09-29
    • Related Report
      2011 Annual Research Report
  • [Presentation] 局所対称性除去によるCDCLソルバーの効率化手法の検討2011

    • Author(s)
      金澤潤二, 鍋島英知
    • Organizer
      日本ソフトウェア科学会第28回大会(2011年度)
    • Place of Presentation
      沖縄産業支援センター、那覇市
    • Year and Date
      2011-09-27
    • Related Report
      2011 Annual Research Report
  • [Presentation] Comparison of Upward and Downward Generalization in CF-Induction2011

    • Author(s)
      Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
    • Organizer
      The 21st International Conference on Inductive Logic Programming(ILP 2011)
    • Place of Presentation
      Windsor, Great Park, UK
    • Year and Date
      2011-08-01
    • Related Report
      2011 Final Research Report
  • [Presentation] DNF Hypotheses in Bottom-Directed ILP2011

    • Author(s)
      Katsumi Inoue
    • Organizer
      The 21st International Conference on Inductive Logic Programming(ILP 2011)
    • Place of Presentation
      Windsor, Great Park, UK
    • Year and Date
      2011-08-01
    • Related Report
      2011 Final Research Report
  • [Presentation] DNF Hypotheses in Bottom-Directed ILP2011

    • Author(s)
      Katsumi Inoue
    • Organizer
      The 21st International Conference on Inductive Logic Programming (ILP 2011)
    • Place of Presentation
      Windsor Great Park, UK
    • Year and Date
      2011-08-01
    • Related Report
      2011 Annual Research Report
  • [Presentation] Comparison of Upward and Downward Generalization in CF-Induction2011

    • Author(s)
      Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma
    • Organizer
      The 21st International Conference on Inductive Logic Programming (ILP 2011)
    • Place of Presentation
      Windsor Great Park, UK
    • Year and Date
      2011-08-01
    • Related Report
      2011 Annual Research Report
  • [Presentation] Model of Double Strand Break of DNA in Logic-Based Hypothesis Finding2011

    • Author(s)
      Barthelemy Dworkin, Andrei Doncescu, Jean-Charles Faye, Katsumi Inoue
    • Organizer
      The 21st International Conference on Inductive Logic Programming (ILP 2011)
    • Place of Presentation
      Windsor Great Park, UK
    • Year and Date
      2011-08-01
    • Related Report
      2011 Annual Research Report
  • [Presentation] Relating Boolean Networks to (Inductive) Logic Programming2011

    • Author(s)
      Katsumi Inoue
    • Organizer
      Logic Learning Theory Workshop
    • Place of Presentation
      Imperial College London, UK(招待講演)
    • Year and Date
      2011-07-29
    • Related Report
      2011 Annual Research Report
  • [Presentation] Probabilistic Rule Learning in Nonmonotonic Domains2011

    • Author(s)
      Katsumi Inoue, Domenico Corapi, Daniel Sykes, Alessandra Russo
    • Organizer
      The 3rd PLL Summit
    • Place of Presentation
      Imperial College London, UK(招待講演)
    • Year and Date
      2011-07-27
    • Related Report
      2011 Annual Research Report
  • [Presentation] Logic Programming for Boolean Networks2011

    • Author(s)
      Katsumi Inoue
    • Organizer
      The 22nd International Joint Conference on Artificial Intelligence(IJCAI-11)
    • Place of Presentation
      Barcelona, Spain
    • Year and Date
      2011-07-22
    • Related Report
      2011 Final Research Report
  • [Presentation] Dishonest Reasoning by Abduction2011

    • Author(s)
      Chiaki Sakama
    • Organizer
      The 22nd International Joint Conference on Artificial Intelligence(IJCAI-11)
    • Place of Presentation
      Barcelona, Spain
    • Year and Date
      2011-07-22
    • Related Report
      2011 Final Research Report
  • [Presentation] A General MCMC Method for Bayesian Inference in Logic-Based Probabilistic Modeling2011

    • Author(s)
      Taisuke Sato
    • Organizer
      The 22nd International Joint Conference on Artificial Intelligence(IJCAI-11)
    • Place of Presentation
      Barcelona, Spain
    • Year and Date
      2011-07-22
    • Related Report
      2011 Final Research Report
  • [Presentation] Logic Programming for Boolean Networks2011

    • Author(s)
      Katsumi Inoue
    • Organizer
      The 22nd International Joint Conference on Artificial Intelligence (IJCAI-11)
    • Place of Presentation
      Barcelona, Spain
    • Year and Date
      2011-07-22
    • Related Report
      2011 Annual Research Report
  • [Presentation] A logical formulation for negotiation among dishonest agents2011

    • Author(s)
      C.Sakama, T.C.Son, E.Pontelli
    • Organizer
      The 22nd International Joint Conference on Artificial Intelligence (IJCAI-11)
    • Place of Presentation
      Barcelona, Spain
    • Year and Date
      2011-07-22
    • Related Report
      2011 Annual Research Report
  • [Presentation] A general MCMC method for Bayesian inference in logic-based probabilistic modeling2011

    • Author(s)
      Sato, T.
    • Organizer
      The 22nd International Joint Conference on Artificial Intelligence (IJCAI-11)
    • Place of Presentation
      Barcelona, Spain
    • Year and Date
      2011-07-22
    • Related Report
      2011 Annual Research Report
  • [Presentation] Dishonest reasoning by abduction2011

    • Author(s)
      Chiaki Sakama
    • Organizer
      The 22nd International Joint Conference on Artificial Intelligence (IJCAI-11)
    • Place of Presentation
      Barcelona, Spain
    • Year and Date
      2011-07-21
    • Related Report
      2011 Annual Research Report
  • [Presentation] Probabilistic Rule Learning in Nonmonotonic Domains2011

    • Author(s)
      Domenico Corapi, Daniel Sykes, Katsumi Inoue, Alessandra Russo
    • Organizer
      Computational Logic in Multi-Agent Systems : Proceedings of the 12th International Workshop (CLIMA-XII)
    • Place of Presentation
      Barcelona, Spain
    • Year and Date
      2011-07-17
    • Related Report
      2011 Annual Research Report
  • [Presentation] SOLタブロー計算法に基づく命題論理の充足可能性判定器の実現2011

    • Author(s)
      鈴木健士郎, 鍋島英知
    • Organizer
      人工知能学会第25回全国大会
    • Place of Presentation
      アイーナいわて県民情報交流センター、盛岡市
    • Year and Date
      2011-06-03
    • Related Report
      2011 Annual Research Report
  • [Presentation] 一般双対化問題における冗長節生成の抑止法とその評価2011

    • Author(s)
      山本泰生, 鍋島英知, 岩沼宏治
    • Organizer
      人工知能学会第25回全国大会
    • Place of Presentation
      アイーナいわて県民情報交流センター、盛岡市
    • Year and Date
      2011-06-03
    • Related Report
      2011 Annual Research Report
  • [Presentation] Nelson-Oppen法を組み込んだSMTソルバの設計2011

    • Author(s)
      福田寿志, 岩沼宏治, 山本泰生
    • Organizer
      人工知能学会第25回全国大会
    • Place of Presentation
      アイーナいわて県民情報交流センター、盛岡市
    • Year and Date
      2011-06-03
    • Related Report
      2011 Annual Research Report
  • [Presentation] ポートフォリオ型戦略の導入による結論発見システムSOLARの効率改善2011

    • Author(s)
      村松匠, 鍋島英知
    • Organizer
      人工知能学会第25回全国大会
    • Place of Presentation
      アイーナいわて県民情報交流センター、盛岡市
    • Year and Date
      2011-06-02
    • Related Report
      2011 Annual Research Report
  • [Presentation] 論理モデルによるグルコース抑制機構のパスウェイ補完2011

    • Author(s)
      坂本悠, 山本泰生, 岩沼宏治
    • Organizer
      人工知能学会第25回全国大会
    • Place of Presentation
      アイーナいわて県民情報交流センター、盛岡市
    • Year and Date
      2011-06-02
    • Related Report
      2011 Annual Research Report
  • [Presentation] 結論発見手続きSOLタブロー計算法の分割統治法に基づく効率化2011

    • Author(s)
      寄特勇紀, 鍋島英知
    • Organizer
      人工知能学会第25回全国大会
    • Place of Presentation
      アイーナいわて県民情報交流センター、盛岡市
    • Year and Date
      2011-06-01
    • Related Report
      2011 Annual Research Report
  • [Presentation] ASP-Prolog for negotiation among dishonest agents2011

    • Author(s)
      N-H.Nguyen, T.C.Son, E.Pontelli, C.Sakama
    • Organizer
      11th International Conference on Logic Programming and Nonmonotonic Reasoning
    • Place of Presentation
      Vancouver, Canada
    • Year and Date
      2011-05-18
    • Related Report
      2011 Annual Research Report
  • [Presentation] Formalizing commitments using action languages2011

    • Author(s)
      T.C.Son, E.Pontellim, C.Sakama
    • Organizer
      9th International Workshop on Declarative Agent Languages and Technologies
    • Place of Presentation
      台北、台湾
    • Year and Date
      2011-05-03
    • Related Report
      2011 Annual Research Report
  • [Presentation] Logical definitions of lying2011

    • Author(s)
      Chiaki Sakama
    • Organizer
      14th International Workshop on Trust in Agent Societies
    • Place of Presentation
      台北、台湾
    • Year and Date
      2011-05-02
    • Related Report
      2011 Annual Research Report
  • [Presentation] Application of Meta-level Abduction for the Treatment of Hypertension using SOLAR2011

    • Author(s)
      Gregoire Lejay
    • Organizer
      The 2011 IEEE International Workshop on Bioinformatics and Life Science Modeling and Computing (BLSMC 2011)
    • Place of Presentation
      Biopolis, Singapore
    • Year and Date
      2011-03-22
    • Related Report
      2010 Annual Research Report
  • [Presentation] Complete Distributed Consequence Finding with Message Passing2011

    • Author(s)
      Katsumi Inoue
    • Organizer
      The 3rd International Conference on Agents and Artificial Intelligence (ICAART 2011)
    • Place of Presentation
      Rome, Italy
    • Year and Date
      2011-02-28
    • Related Report
      2010 Annual Research Report
  • [Presentation] リテラルブロック距離に基づく良い学習節の評価と獲得によるSATソルバの性能改善2011

    • Author(s)
      鍋島英知
    • Organizer
      第81回人工知能学会人工知能基本問題研究会
    • Place of Presentation
      山梨大学(山梨県)
    • Year and Date
      2011-01-31
    • Related Report
      2010 Annual Research Report
  • [Presentation] 単調双対化計算に基づく一般双対化問題の解法2011

    • Author(s)
      山本泰生
    • Organizer
      第81回人工知能学会人工知能基本問題研究会
    • Place of Presentation
      山梨大学(山梨県)
    • Year and Date
      2011-01-31
    • Related Report
      2010 Annual Research Report
  • [Presentation] Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology2011

    • Author(s)
      Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato
    • Organizer
      The 2011 International Conference on Bioinformatics Models, Methods and Algorithms(BIOINFORMATICS 2011)
    • Place of Presentation
      Rome, Italy
    • Year and Date
      2011-01-27
    • Related Report
      2011 Final Research Report
  • [Presentation] Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology2011

    • Author(s)
      Gabriel Synnaeve
    • Organizer
      The International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2011)
    • Place of Presentation
      Rome,Italy
    • Year and Date
      2011-01-27
    • Related Report
      2010 Annual Research Report
  • [Presentation] Nelson-Oppen結合手続きの逆伴意法に基づく改良2011

    • Author(s)
      岩沼宏治
    • Organizer
      情報処理学会プログラミング研究会
    • Place of Presentation
      宮古市中央公民館(岩手県)
    • Year and Date
      2011-01-20
    • Related Report
      2010 Annual Research Report
  • [Presentation] Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology.2011

    • Author(s)
      Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato.
    • Organizer
      The 2011 International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2011)
    • Place of Presentation
      Rome, Italy
    • Year and Date
      2011-01-07
    • Related Report
      2010 Self-evaluation Report
  • [Presentation] A Bayesian Hybrid Approach to Unsupervised Time Series Discretization2010

    • Author(s)
      Yoshitaka Kameya, Gabriel Synnaeve, Andrei Doncescu, Katsumi Inoue, Taisuke Sato
    • Organizer
      The 15th Conference on Technologies and Applications of Artificial Intelligence(TAAI 2010)
    • Place of Presentation
      Hsinchu, Taiwan
    • Year and Date
      2010-11-20
    • Related Report
      2011 Final Research Report
  • [Presentation] A Bayesian Hybrid Approach to Unsupervised Time Series Discretization2010

    • Author(s)
      Yoshitaka Kameya
    • Organizer
      The 15th International Conference on Technologies and Applications of Artificial Intelligence (TAAI-2010)
    • Place of Presentation
      Hsinchu, Taiwan
    • Year and Date
      2010-11-20
    • Related Report
      2010 Annual Research Report
  • [Presentation] 結論発見手続きSOLタブロー法のための多重探索戦略の提案2010

    • Author(s)
      鈴木健士郎
    • Organizer
      第80回人工知能学会人工知能基本問題研究
    • Place of Presentation
      CIC キャンパス・イノベーションセンター(東京都)
    • Year and Date
      2010-11-17
    • Related Report
      2010 Annual Research Report
  • [Presentation] An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Model2010

    • Author(s)
      Masakazu Ishihata
    • Organizer
      The 2nd Asian Conference on Machine Learning (ACML-2010)
    • Place of Presentation
      東京工業大学(東京都)
    • Year and Date
      2010-11-09
    • Related Report
      2010 Annual Research Report
  • [Presentation] The Many Faces of Deception2010

    • Author(s)
      Chiaki Sakama
    • Organizer
      30 Years of Nonmonotonic Reasoning
    • Place of Presentation
      Lexington, USA
    • Year and Date
      2010-10-22
    • Related Report
      2010 Annual Research Report
  • [Presentation] 近年の一階論理定理証明プログラムの実際2010

    • Author(s)
      岩沼宏治
    • Organizer
      電子情報通信学会ソフトウエアサイエンス研究会(IEICE-SS2010-33 Vol.110, No.227)
    • Place of Presentation
      岩手県立大学(岩手県)(招待講演)
    • Year and Date
      2010-10-14
    • Related Report
      2010 Annual Research Report
  • [Presentation] Towards Efficient Multi-agent Abduction Protocols2010

    • Author(s)
      Gauvain Bourgne
    • Organizer
      The 3rd International Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS 2010)
    • Place of Presentation
      Lyon, France
    • Year and Date
      2010-08-31
    • Related Report
      2010 Annual Research Report
  • [Presentation] Abduction of Distributed Theories through Local Interactions2010

    • Author(s)
      Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet
    • Organizer
      The 19th European Conference on Artificial Intelligence(ECAI 2010)
    • Place of Presentation
      Lisbon, Portugal
    • Year and Date
      2010-08-20
    • Related Report
      2011 Final Research Report
  • [Presentation] Abduction of Distributed Theories through Local Interactions2010

    • Author(s)
      Gauvain Bourgne
    • Organizer
      The 19th European Conference on Artificial Intelligence (ECAI 2010)
    • Place of Presentation
      Lisbon, Portugal
    • Year and Date
      2010-08-20
    • Related Report
      2010 Annual Research Report
  • [Presentation] Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation2010

    • Author(s)
      Takehide Soh, Katsumi Inoue
    • Organizer
      The 6th Conference on Prestigious Applications of Artificial Intelligence(PAIS 2010)
    • Place of Presentation
      Lisbon, Portugal
    • Year and Date
      2010-08-18
    • Related Report
      2011 Final Research Report
  • [Presentation] Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation2010

    • Author(s)
      Takehide Soh
    • Organizer
      The 6th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2010)
    • Place of Presentation
      Lisbon, Portugal
    • Year and Date
      2010-08-18
    • Related Report
      2010 Annual Research Report
  • [Presentation] Finding Minimal Reaction Sets in Large Metabolic Pathways2010

    • Author(s)
      Takehide Soh
    • Organizer
      The 6th International Workshop on Constraint Based Methods for Bioinformatics (WCB 2010)
    • Place of Presentation
      Edinbaurgh, England
    • Year and Date
      2010-07-21
    • Related Report
      2010 Annual Research Report
  • [Presentation] Hypothesizing about Networks by Meta-level Abduction2010

    • Author(s)
      Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima
    • Organizer
      The 20th International Conference on Inductive Logic Programming(ILP 2010)
    • Place of Presentation
      Firenze, Italy
    • Year and Date
      2010-06-29
    • Related Report
      2011 Final Research Report
  • [Presentation] Hypothesizing about Networks by Meta-level Abduction.2010

    • Author(s)
      Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima.
    • Organizer
      The 20th International Conference on Inductive Logic Programming (ILP 2010)
    • Place of Presentation
      Firenze, Italy
    • Year and Date
      2010-06-29
    • Related Report
      2010 Self-evaluation Report
  • [Presentation] Hypothesizing about Networks by Meta-level Abduction2010

    • Author(s)
      Katsumi Inoue
    • Organizer
      The 20th International Conference on Inductive Logic Programming (ILP 2010)
    • Place of Presentation
      Firenze,Italy
    • Year and Date
      2010-06-29
    • Related Report
      2010 Annual Research Report
  • [Presentation] From Inverse Entailment to Inverse Subsumption2010

    • Author(s)
      Yoshitaka Yamamoto
    • Organizer
      The 20th International Conference on Inductive Logic Programming (ILP 2010)
    • Place of Presentation
      Firenze, Italy
    • Year and Date
      2010-06-28
    • Related Report
      2010 Annual Research Report
  • [Presentation] モデル生成を用いた代謝ネットワークにおける極小部分パスウェイの同定2010

    • Author(s)
      宋剛秀
    • Organizer
      人工知能学会全国大会
    • Place of Presentation
      長崎ブリックホール(長崎県)
    • Year and Date
      2010-06-09
    • Related Report
      2010 Annual Research Report
  • [Presentation] Query-driven Coordination of Multiple Answer Sets2010

    • Author(s)
      Gauvain Bourgne
    • Organizer
      AAMAS 2010 Workshop on Declarative Agent Languages and Technologies (DALT 2010)
    • Place of Presentation
      Toronto,Canada
    • Year and Date
      2010-05-10
    • Related Report
      2010 Annual Research Report
  • [Presentation] A SAT-based Method for Analyzing Metabolic Pathways2010

    • Author(s)
      宋剛秀
    • Organizer
      Systems Biochemistry 2010
    • Place of Presentation
      University of York, York, UK
    • Year and Date
      2010-03-23
    • Related Report
      2009 Annual Research Report
  • [Presentation] Past and Future 20 Years of ILP2010

    • Author(s)
      Katsumi Inoue
    • Organizer
      The 20th International Conference on Inductive Logic Programming (ILP 2010)
    • Place of Presentation
      Firenze, Italy(Panel;招待)
    • Related Report
      2010 Annual Research Report
  • [Presentation] Exploring Relations between Answer Set Programs2010

    • Author(s)
      Katsumi Inoue
    • Organizer
      The Symposium on Constructive Mathematics in Computer Science
    • Place of Presentation
      Lexington, USA(招待)
    • Related Report
      2010 Annual Research Report
  • [Presentation] Grammatical Concept Representation for Randomised Optimisation Algorithms in Relational Learning2009

    • Author(s)
      Petr Buryan
    • Organizer
      The 9th International Conference on Intelligent Systems Design and Applications(ISDA'09)
    • Place of Presentation
      Palazzo dei Congressi, Pisa, Italy
    • Year and Date
      2009-12-02
    • Related Report
      2009 Annual Research Report
  • [Presentation] Social Default Theories2009

    • Author(s)
      Chiaki Sakama
    • Organizer
      The 10th International Conference on Logic Programming and Nonmonotonic Reasoning(LPNMR'09)
    • Place of Presentation
      University of Potsdam, Potsdam, Germany
    • Year and Date
      2009-09-15
    • Related Report
      2009 Annual Research Report
  • [Presentation] Interacting Answer Sets2009

    • Author(s)
      Chiaki Sakama
    • Organizer
      The 10th International Workshop on Computational Logic in Multi-Agent Systems(CLIMA-X)
    • Place of Presentation
      University of Hamburg, Hamburg, Germany
    • Year and Date
      2009-09-10
    • Related Report
      2009 Annual Research Report
  • [Presentation] Negotiation using Logic Programming with Consistency Restoring Rules2009

    • Author(s)
      Tran Cao Son
    • Organizer
      The 21st International Joint Conference on Artificial Intelligence(IJCAI-09)
    • Place of Presentation
      Pasadena Convention Center, Pasadena, USA
    • Year and Date
      2009-07-17
    • Related Report
      2009 Annual Research Report
  • [Presentation] Generative Modeling by PRISM2009

    • Author(s)
      Taisuke Sato
    • Organizer
      The 25th International Conference on Logic Programming(ICLP-2009)
    • Place of Presentation
      Pasadena Convention Center, Pasadena, USA
    • Year and Date
      2009-07-17
    • Related Report
      2009 Annual Research Report
  • [Presentation] Evaluating Abductive Hypotheses Using an EM Algorithm on BDDs2009

    • Author(s)
      Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima
    • Organizer
      The 21st International Joint Conference on Artificial Intelligence(IJCAI-09)
    • Place of Presentation
      Pasadena, USA
    • Year and Date
      2009-07-14
    • Related Report
      2011 Final Research Report
  • [Presentation] Evaluating Abductive Hypotheses using an EM Algorithm on BDDs.2009

    • Author(s)
      Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima.
    • Organizer
      The 21st International, Joint Conference on Artificial Intelligence (TJCAT-09)
    • Place of Presentation
      Pasadena, USA
    • Year and Date
      2009-07-14
    • Related Report
      2010 Self-evaluation Report
  • [Presentation] Evaluating Abductive Hypotheses using an EM Algorithm on BDDs2009

    • Author(s)
      Katsumi Inoue
    • Organizer
      The 21st International Joint Conference on Artificial Intelligence(IJCAI-09)
    • Place of Presentation
      Pasadena Convention Center, Pasadena, USA
    • Year and Date
      2009-07-14
    • Related Report
      2009 Annual Research Report
  • [Presentation] Logic Programming for Multi-agent Planning with Negotiation2009

    • Author(s)
      Tran Cao Son
    • Organizer
      The 25th International Conference on Logic Programming(ICLP'09)
    • Place of Presentation
      Pasadena Convention Center, Pasadena, USA
    • Year and Date
      2009-07-14
    • Related Report
      2009 Annual Research Report
  • [Presentation] Towards a Model of Collective Knowledge Discovery2009

    • Author(s)
      Gauvain Bourgne
    • Organizer
      The IJCAI-09 Workshop on Abductive and Inductive Knowledge Development(AIAI'09)
    • Place of Presentation
      Pasadena Convention Center, Pasadena, USA
    • Year and Date
      2009-07-12
    • Related Report
      2009 Annual Research Report
  • [Presentation] Hypothesis Enumeration by CF-induction2009

    • Author(s)
      Yoshitaka Yamamoto
    • Organizer
      The Sixth Workshop on Learning with Logics and Logics for Learning(LLLL2009)
    • Place of Presentation
      Kyodai Kaiakan, Kyoto, Japan
    • Year and Date
      2009-07-07
    • Related Report
      2009 Annual Research Report
  • [Presentation] Toward an Efficient Equality Computation in Connection Tableaux : A Modification Method without Symmetry Transformation2009

    • Author(s)
      Koji Iwanuma
    • Organizer
      The International Workshop on First-Order Theorem Proving(Univ.of OSLO, Dep.of Informatics Research Report 386)
    • Place of Presentation
      University of Oslo, Oslo, Norway
    • Year and Date
      2009-07-07
    • Related Report
      2009 Annual Research Report
  • [Presentation] Toward an Efficient Equality Computation in Connection Tableaux : A Modification Method without Symmetry Transformation2009

    • Author(s)
      Koji Iwanuma, Hidetomo Nabeshima, Katsumi Inoue
    • Organizer
      The 7th International Workshop on First-Order Theorem Proving(FTP 2009)
    • Place of Presentation
      Oslo, Norway
    • Year and Date
      2009-07-06
    • Related Report
      2011 Final Research Report
  • [Presentation] Toward an Efficient Equality Computation in Connection Tableaux : A Modification Method without Symmetry Transformation.2009

    • Author(s)
      Koji Iwanuma, Hidetomo Nabeshima Katsumi Inoue.
    • Organizer
      The 7th International Workshop on First-Order Theorem Proving (FTP 2009)
    • Place of Presentation
      Oslo, Norway
    • Year and Date
      2009-07-06
    • Related Report
      2010 Self-evaluation Report
  • [Presentation] Constraint-based Probabilistic Modeling for Statistical Abduction2009

    • Author(s)
      Taisuke Sato
    • Organizer
      The 19th International Conference on Inductive Logic Programming(ILP-2009)
    • Place of Presentation
      Katholieke Universiteit Leuven, Leuven, Belgium
    • Year and Date
      2009-07-04
    • Related Report
      2009 Annual Research Report
  • [Presentation] Abducing Rules with Predicate Invention2009

    • Author(s)
      Katsumi Inoue
    • Organizer
      The 19th International Conference on Inductive Logic Programming(ILP 2009)
    • Place of Presentation
      Katholieke Universiteit Leuven, Leuven, Belgium
    • Year and Date
      2009-07-02
    • Related Report
      2009 Annual Research Report
  • [Presentation] Kinetic Models for Logic-Based Hypothesis Finding in Metabolic Pathways2009

    • Author(s)
      Gabriel Synnaeve
    • Organizer
      The 19th International. Conference on Inductive Logic Programming(ILP 2009)
    • Place of Presentation
      Katholieke Universiteit Leuven, Leuven, Belgium
    • Year and Date
      2009-07-02
    • Related Report
      2009 Annual Research Report
  • [Presentation] Logic-based Probabilistic Modeling2009

    • Author(s)
      Taisuke Sato
    • Organizer
      The 16th Workshop on Logic, Language, Information and Computation(WoLLIC-2009)
    • Place of Presentation
      National Center of Sciences, Tokyo, Japan
    • Year and Date
      2009-06-21
    • Related Report
      2009 Annual Research Report
  • [Presentation] SAT問題への変換を用いたフィードバックを含むパスウェイの解析2009

    • Author(s)
      宋剛秀
    • Organizer
      人工知能学会第23回全国大会(JSAI 2009)
    • Place of Presentation
      サンポートホール高松, 高松市, 香川県
    • Year and Date
      2009-06-18
    • Related Report
      2009 Annual Research Report
  • [Presentation] 発想推論に基づく着眼点の発見2009

    • Author(s)
      古川康一
    • Organizer
      人工知能学会第23回全国大会(JSAI 2009)
    • Place of Presentation
      サンポートホール高松, 高松市, 香川県
    • Year and Date
      2009-06-17
    • Related Report
      2009 Annual Research Report
  • [Presentation] Abductive Reasoning in Cancer Therapy2009

    • Author(s)
      Yoshitaka Yamamoto
    • Organizer
      The 2009 IEEE International Workshop on Bioinformatics and Life Science Modeling and Computing(BLSMC'09)(AINA'09 Workshop)
    • Place of Presentation
      University of Bradford, Bradford, UK
    • Year and Date
      2009-05-28
    • Related Report
      2009 Annual Research Report
  • [Presentation] Reasoning and Planning with Cooperative Actions for Multi-agents Using Answer Set Programming2009

    • Author(s)
      Tran Cao Son
    • Organizer
      The 6th International Workshop on Declarative Agent Languages and Technologies(DALT'09)
    • Place of Presentation
      Europa Congress Center, Budapest, Hungary
    • Year and Date
      2009-05-11
    • Related Report
      2009 Annual Research Report
  • [Presentation] Extraction of logical relations to model some aspects of breast cancer therapy2009

    • Author(s)
      Doncescu, Andrei
    • Organizer
      第22回システムバイオロジー研究会
    • Place of Presentation
      癌研究所, 東京
    • Year and Date
      2009-03-11
    • Related Report
      2008 Annual Research Report
  • [Presentation] 並列分散型SATソルバにおける探索空間の分割手法の提案2009

    • Author(s)
      高見明秀
    • Organizer
      電子情報通信学会技術研究報告IEICE-SS-444
    • Place of Presentation
      佐賀大学(佐賀)
    • Year and Date
      2009-03-02
    • Related Report
      2008 Annual Research Report
  • [Presentation] 発想推論に基づく着眼点の発見2009

    • Author(s)
      古川康一
    • Organizer
      人工知能学会第3回身体知研究会
    • Place of Presentation
      慶應義塾大学, 東京
    • Year and Date
      2009-01-09
    • Related Report
      2008 Annual Research Report
  • [Presentation] Towards Efficient Equality Computation in SOLAR2009

    • Author(s)
      Iwanuma, Koji
    • Organizer
      推論エンジンを用いたプログラム自動検証法の研究集会
    • Place of Presentation
      東北大学電気通信研究所(宮城)
    • Year and Date
      2009-01-08
    • Related Report
      2008 Annual Research Report
  • [Presentation] A Complete Pruning Methods and a Practical Search Strategy for SOL2008

    • Author(s)
      Nabeshima, Hidetomo
    • Organizer
      Proceedings of the 7th International Workshop on the Implementation of Logics (IWIL 2008)
    • Place of Presentation
      Doha, Qatar
    • Year and Date
      2008-11-22
    • Related Report
      2008 Annual Research Report
  • [Presentation] Propositionalizing the EM algorithm by BDDs2008

    • Author(s)
      Ishihata, Masakazu
    • Organizer
      The 18th International Conference on Inductive Logic Programming (ILP-2008)
    • Place of Presentation
      Prague, Czech
    • Year and Date
      2008-09-11
    • Related Report
      2008 Annual Research Report
  • [Presentation] Comparing Abductive Theories2008

    • Author(s)
      Katsumi Inoue, Chiaki Sakama
    • Organizer
      The 18th European Conference on Artificial Intelligence(ECAI 2008)
    • Place of Presentation
      Patras, Greece
    • Year and Date
      2008-07-24
    • Related Report
      2011 Final Research Report
  • [Presentation] Comparing Abductive Theories.2008

    • Author(s)
      Katsumi Inoue, Chiaki Sakama.
    • Organizer
      The 18th European Conference on Artificial Intelligence (ECAI 2008)
    • Place of Presentation
      Patras, Greece
    • Year and Date
      2008-07-24
    • Related Report
      2010 Self-evaluation Report
  • [Presentation] BDD上の命題化確率計算に基づくEMアルゴリズム2008

    • Author(s)
      石畠正和
    • Organizer
      人工知能学会第70回人工知能基本問題研究会
    • Place of Presentation
      京都
    • Year and Date
      2008-07-04
    • Related Report
      2008 Annual Research Report
  • [Presentation] Negotiation by Induction2008

    • Author(s)
      Sakama, Chiaki
    • Organizer
      Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems
    • Place of Presentation
      Estoril, Portugal
    • Year and Date
      2008-05-12
    • Related Report
      2008 Annual Research Report
  • [Presentation] Inductive Negotiation in Answer Set Programming2008

    • Author(s)
      Sakama, Chiaki
    • Organizer
      Proceedings of the 6th International Workshop on Declarative Agent Languages and Technologies
    • Place of Presentation
      Estoril, Portugal
    • Related Report
      2008 Annual Research Report
  • [Presentation] Comparing Abductive Theories2008

    • Author(s)
      Inoue, Katsumi
    • Organizer
      Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008)
    • Place of Presentation
      Patras, Greece
    • Related Report
      2008 Annual Research Report
  • [Presentation] Brave Induction2008

    • Author(s)
      Sakama, Chiaki
    • Organizer
      Proceedings of the 18th International Conference on Inductive Logic Programming
    • Place of Presentation
      Prague, Czech
    • Related Report
      2008 Annual Research Report
  • [Presentation] CF帰納法の効率的実装とパスウェイ推論への応用2008

    • Author(s)
      山本泰生
    • Organizer
      人工知能学会第71回人工知能基本問題研究会
    • Place of Presentation
      北海道大学(北海道)
    • Related Report
      2008 Annual Research Report
  • [Presentation] An Efficient Hypothesis-finding System Implemented with Deduction and Dualization2008

    • Author(s)
      Yamamoto, Yoshitaka
    • Organizer
      Proceedings of the 22nd Workshop on Logic Programming (WLP 2008)
    • Place of Presentation
      Dresden, Germany
    • Related Report
      2008 Annual Research Report
  • [Presentation] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem2008

    • Author(s)
      Soh, Takehide
    • Organizer
      The 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA' 08)
    • Place of Presentation
      Udine, Italy
    • Related Report
      2008 Annual Research Report
  • [Book] Physiological Analysis of Yeast Cell by Intelligent Signal Processing, Applied Biological Engineering. Principles and Practice, Chapter 192012

    • Author(s)
      Andrei Doncescu, Sebastien Regis, Katsumi Inoue, Nathalie Goma
    • Related Report
      2011 Final Research Report
  • [Book] Integrating Abduction and Induction in Biological Inference using CF-Induction. In : Huma Lodhi and Stephen Muggleton(eds.), Elements of Computational Systems Biology, Chapter 92009

    • Author(s)
      Yoshitaka Yamamoto, Katsumi Inoue, Andrei Doncescu
    • Related Report
      2011 Final Research Report
  • [Book] 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

    • Author(s)
      Yoshitaka Yamamoto, Katsumi Inoue,Andrei Doncescu.
    • Publisher
      Wiley Book Series on Bioinformatics
    • Related Report
      2010 Self-evaluation Report
  • [Remarks]

    • URL

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

    • Related Report
      2011 Final Research Report
  • [Remarks] 科研テーマ・ホームページ

    • URL

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

    • Related Report
      2011 Annual Research Report
  • [Remarks] ホームページ

    • URL

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

    • Related Report
      2010 Self-evaluation Report
  • [Remarks] 科研テーマ・ホームページ

    • URL

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

    • Related Report
      2010 Annual Research Report
  • [Remarks] 受賞

    • Related Report
      2010 Annual Research Report
  • [Remarks] ●2010年6月 The 20th International Conference on Inductive Logic Programming (ILP2010) : Best Student Paper Award

    • Related Report
      2010 Annual Research Report
  • [Remarks] ●2011年1月 BIOINFORMATICS 2011 : Best Student Paper Award

    • Related Report
      2010 Annual Research Report
  • [Remarks]

    • URL

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

    • Related Report
      2009 Annual Research Report
  • [Remarks]

    • URL

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

    • Related Report
      2008 Annual Research Report

URL: 

Published: 2008-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi