• 人工知能に対する基礎理論
• 推論と知識表現に関する研究
• 帰納およびアブダクションによる仮説発見
• マルチエージェントシステムと分散推論
• 論理/制約/解集合プログラミング
• システム生物学における知識発見
• ネットワーク上の推論とダイナミックス

• 1984年3月 京都大学大学院工学研究科数理工学専攻修了
• 1982年3月 京都大学工学部数理工学科卒業

• 2004年3月〜 国立情報学研究所 教授
• 2005年4月〜 総合研究大学院大学複合科学研究科情報学専攻 教授（併任）
• 2008年4月〜 東京工業大学大学院情報理工学研究科計算工学専攻 連携教授
• 2010年10月   Université Paul Sabatier 招聘教授

• 人工知能基礎論
• 知能システム科学概論I

• 宋 剛秀 （平成20年4月～平成23年9月，総合研究大学院大学情報学専攻博士後期課程）
• 山本 泰生 （平成18年10月～平成22年9月，総合研究大学院大学情報学専攻博士後期課程）
• Gabriel Synnaeve (Master of Informatics, ENSIMAG, Université Joseph Fourier, Grenoble, France, 2009.02-2009.06)
• 岩内 栄二 （平成16年度，神戸大学大学院自然科学研究科博士前期課程）
• 岡本 孝之 （平成16年度，神戸大学大学院自然科学研究科博士前期課程）
• 山本 泰生 （平成16年度，神戸大学大学院自然科学研究科博士前期課程）

• (社)情報処理学会 1987年後期大会 学術奨励賞
• (社)人工知能学会 1999年度研究奨励賞
• Session Best Presentation Award at SCIS & ISIS 2006 (Andrei Doncescu)
• (社)人工知能学会 2009年度全国大会優秀賞 (宋剛秀)
• The Best Student Paper Award at The 20th International Conference on Inductive Logic Programming (Yoshitaka Yamamoto)
• The Best Student Paper Award at The 2011 International Conference on Bioinformatics Models, Methods and Algorithms (Gabriel Synnaeve)
• 1st in UNSAT and 2nd in SAT+UNSAT and UNSAT WC Time at SAT 2011 Competition (SAT Solver glueminisat by Hidetomo Nabeshima)
• 日本ソフトウェア科学会第28回大会 高橋奨励賞 (鍋島英知)

【学会・国際会議委員 (2004年以降)】

• Member of Program Committee, The 22nd International Conference on Inductive Logic Programming (ILP 2012)
• Member of Program Committee, The 28th International Conference on Logic Programming (ICLP 2012)
• Member of Program Committee, The 20th European Conference on Artificial Intelligence (ECAI 2012)
• Member of Program Committee, The 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012)
• Member of Steering Committee, Computational Logic in Multi-Agent Systems (CLIMA)
• Symposium co-Organizer, International Symposium on Symbolic Systems Biology (ISSSB 2011)
• Member of Program Committee, The 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)
• Member of Program Committee, The 21st International Conference on Inductive Logic Programming (ILP 2011)
• Member of Program Committee, The 22nd International Joint Conference on Artificial Intelligence (IJCAI-11)
• Member of Program Committee, The 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-XII)
• Member of Program Committee, The 27th International Conference on Logic Programming (ICLP 2011)
• Member of Program Committee, The 8th International Workshop on First-Order Theorem Proving (FTP 2011)
• Member of Program Committee, The 14th International Conference on Theory and Applications of Satisfiability Testing (SAT 2011)
• NII湘南会議  学術委員
• Member of Program Committee, The 7th Workshop on Learning with Logics and Logics for Learning (LLLL 2011)
• Member of Program Committee, The 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-XI)
• Member of Program Committee, The 20th International Conference on Inductive Logic Programming (ILP 2010)
• Member of Program Committee, Sub-Workshop on Declarative Programming and Systems at the Non-Monotonic Reasoning Workshop 2010 (NMR '10)
• Member of Program Committee, Sub-Workshop on Preferences and Norm at the Non-Monotonic Reasoning Workshop 2010 (NMR '10)
• Symposium co-Organizer, The 3rd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology
• Member of Program Committee, The 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-X)
• Member of Program Committee, The 6th Workshop on Learning with Logics and Logics for Learning (LLLL 2009)
• Member of Program Committee, The 19th International Conference on Inductive Logic Programming (ILP 2009)
• Member of Program Committee, The 25th International Conference on Logic Programming (ICLP 2009)
• Member of Program Committee, IJCAI-09 Workshop on Abductive and Inductive Knowledge Development (AIAI '09)
• Member of Program Committee, The 22nd International Conference on Automated Deduction (CADE-22)
• Member of Program Committee, The 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009)
• Member of Program Committee, The 16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009)
• General co-Chair, The 2009 IEEE International Workshop on Bioinformatics and Life Science Modeling and Computing (BLSMC 09)
• Symposium co-Organizer, The 2nd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology
• Member of Program Committee, The 9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-IX)
• Member of Program Committee, The Preferences Track at the 12th International Workshop on Non-Monotonic Reasoning (NMR 08)
• Member of Program Committee, The 18th International Conference on Inductive Logic Programming (ILP 2008)
• Member of Program Committee, The 19th Brazilian Symposium on Artificial Intelligence (SBIA 2008)
• Member of Organizing and Program Committees, The 2007 International Workshop on Abduction and Induction in Artificial Intelligence and Bioinformatics (AIAI '07)
• Symposium co-Organizer, The 1st Franco-Japanese Symposium on Knowledge Discovery in Systems Biology
• Member of Associate Editors, eBritain Science & Innovation Magazine
• Member of Program Committee, The 5th Workshop on Learning with Logics and Logics for Learning (LLLL 2007)
• Member of Program Committee, The 23rd International Conference on Logic Programming (ICLP 2007)
• Member of Program Committee, The 8th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII)
• Member of Program Committee, LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007)
• 人工知能学会論文誌「スキルサイエンス」特集号編集委員
• Member of Program Committee, International Symposium on Skill Science 2007 (ISSS'07)
• Member of Program Committee, The 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07)
• Member of Program Committee, ECAI'06 Workshop on Abduction and Induction in AI and Scientific Modelling (AIAI '06)
• Member of Program Committee, The 16th International Conference on Inductive Logic Programming (ILP 2006)
• Workshop co-Chair, The 7th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VII)
• Member of Program Committee, The 4th Workshop on Learning with Logics and Logics for Learning (LLLL 2006)
• Editorial Advisor, Theory and Practice of Logic Programming
• Member of Program Committee, The 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05)
• Member of Program Committee, The 15th International Conference on Inductive Logic Programming (ILP 2005)
• Member of Program Committee, The 6th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VI)
• Member of Program Committee, The 3rd Workshop on Learning with Logics and Logics for Learning (LLLL 2005)
• 人工知能学会全国大会（第19回） プログラム委員
• Member of Editorial Board (retired), AI Communications
• （社）人工知能学会 評議員 (任期満了)
• Member of Program Committee, The 14th International Conference on Inductive Logic Programming (ILP 2004)
• Member of Program Committee, The 5th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-V)
• 人工知能学会誌 編集委員 (任期満了)
• 人工知能学会全国大会（第18回） プログラム委員

1. Stephen Muggleton, Luc De Raedt, David Poole, Ivan Bratko, Peter Flach, Katsumi Inoue, and Ashwin Srinivasan.  ILP Turns 20: Biography and Future Challenges.  Machine Learning, to appear (online first: DOI: 10.1007/s10994-011-5259-2), 2011.
2. Yoshitaka Yamamoto, Katsumi Inoue, and Koji Iwanuma.  Inverse Subsumption for Complete Explanatory Induction.  Machine Learning, to appear (online first: DOI: 10.1007/s10994-011-5250-y), 2011.
3. Gauvain Bourgne and Katsumi Inoue.  Partition-Based Consequence Finding.  Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011), to appear, IEEE Computer Society, 2011.
4. Esra Erdem, Katsumi Inoue, Johannes Oetsch, Jorg Puhrer, Hans Tompits, and Cemal Yilmaz.  Answer-Set Programming as a New Approach to Event-Sequence Testing.  In: Teemu Kanstrén (ed.), Proceedings of the 3rd International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011), pp.25-34, Xpert Publishing Services, 2011. 
5. Katsumi Inoue and Lena Wiese.  Generalizing Conjunctive Queries for Informative Answers.  In: Henning Christiansen, Guy De Tré, Adnan Yazici, and Sławomir Zadrożny (eds.), Flexible Query Answering Systems: Proceedings of the 9th International Conference (FQAS 2011), Lecture Notes in Artificial Intelligence, Vol.7022, pp.1-12, Springer, 2011. 
6. Katsumi Inoue, Chiaki Sakama, and Lena Wiese.  Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction.  The 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011), appeared in: CoRR arXiv:1108.5825, 2011. 
7. Katsumi Inoue.  Logic Programming for Boolean Networks.  Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11), pp.924-930, AAAI Press, 2011.
8. Katsumi Inoue.  DNF Hypotheses in Bottom-Directed ILP.  The 21st International Conference on Inductive Logic Programming (ILP 2011), 2011. [An extended version is to appear in: Inductive Logic Programming: Revised Selected Papers from the 21st International Conference (ILP '11), Lecture Notes in Artificial Intelligence, Springer, 2012.]
9. Yoshitaka Yamamoto, Katsumi Inoue and Koji Iwanuma.  Comparison of Upward and Downward Generalization in CF-Induction.  The 21st International Conference on Inductive Logic Programming (ILP 2011), 2011. [An extended version is to appear in: Inductive Logic Programming: Revised Selected Papers from the 21st International Conference (ILP '11), Lecture Notes in Artificial Intelligence, Springer, 2012.]
10. Barthélémy Dworkin, Andrei Doncescu, Jean-Charles Faye, and Katsumi Inoue.  Model of Double Strand Break of DNA in Logic-Based Hypothesis Finding.  The 21st International Conference on Inductive Logic Programming (ILP 2011), 2011. [A revised version is to appear in: Latest Advances in Inductive Logic Programming: Late-Breaking Proceedings of ILP 2011, Imperial College Press, 2012.]
11. 岩沼 宏治，鍋島 英知，井上 克巳． 一階論理上の等号推論：理論と実際． コンピュータソフトウェア，28(4):282-305, 2011.
12. Domenico Corapi, Daniel Sykes, Katsumi Inoue, and Alessandra Russo.  Probabilistic Rule Learning in Nonmonotonic Domains.  In: João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, and Leon van der Torre (eds.), Computational Logic in Multi-Agent Systems: Proceedings of the 12th International Workshop (CLIMA-XII), Lecture Notes in Artificial Intelligence, Vol.6814, pp.243-258, Springer, 2011. 
13. Katsumi Inoue, Gauvain Bourgne, and Takayuki Okamoto.  Distributed Consequence Finding: Partition-Based and Cooperative Approaches.  In: Joaquim Filipe and Ana Fred (eds.), Agents and Artificial Intelligence: Revised Selected Papers from the 3rd International Conference (ICAART 2011), Communications in Computer and Information Science, to appear, Springer, 2011.
14. Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, and Taisuke Sato.  Discretized Kinetic Models for Abductive Reasoning in Systems Biology.  In: Ana Fred, Joaquim Filipe, and Hugo Gamboa (eds.), Biomedical Engineering Systems and Technologies: Revised Selected Papers from the 4th International Joint Conference (BIOSTEC 2011), Communications in Computer and Information Science, to appear, Springer, 2011.
15. Oliver Ray, Takehide Soh, and Katsumi Inoue.  Analyzing Pathways Using ASP-Based Approaches.  In: Katsuhisa Horimoto, Masahiko Nakatsui, and Nikolaj Popov (eds.), Algebraic and Numeric Biology: Proceedings of the 2010 International Conference (ANB'10), Lecture Notes in Computer Science, Vol.6479, to appear, Springer, 2011. 
16. Gauvain Bourgne, Katsumi Inoue, and Nicolas Maudet.  Towards Efficient Multi-Agent Abduction Protocols.  In: Mehdi Dastani, Amal El Fallah-Seghrouchni, Jomi Hubner, and João Leite (eds.), Languages, Methodologies, and Development Tools for Multi-Agent Systems, Revised Selected Papers from the 3rd International Workshop (LADS 2010), Lecture Notes in Artificial Intelligence, Vol.6822, pp.19-38, Springer, 2011. 
17. Gauvain Bourgne and Katsumi Inoue.  Query-driven Coordination of Multiple Answer Sets.  In: Andrea Omicini, Sebastian Sardina, and Wamberto Vasconcelos (eds.), Declarative Agent Languages and Technologies VIII: Revised, Selected, and Invited Papers from the 8th International Workshop (DALT 2010), Lecture Notes in Artificial Intelligence, Vol.6619, pp.40-59, Springer, 2011. 
18. Katsumi Inoue and Chiaki Sakama.  Exploring Relations between Answer Set Programs.  In: Marcello Balduccini and Tran Cao Son (eds.), Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday, Lecture Notes in Artificial Intelligence, Vol.6565, pp.91-110, Springer, 2011. 
19. Katsumi Inoue, Andrei Doncescu, and Hidetomo Nabeshima.  Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-Level Abduction.  In: Paolo Frasconi and Francesca A. Lisi (eds.), Inductive Logic Programming: Revised Papers from the 20th International Conference (ILP '10), Lecture Notes in Artificial Intelligence, Vol.6489, pp.114-129, Springer, 2011. 
20. Taisuke Sato, Masakazu Ishihata, and Katsumi Inoue.  Constraint-Based Probabilistic Modeling for Statistical Abduction.  Machine Learning, 83(2):241-264, 2011.
21. Chiaki Sakama and Katsumi Inoue.  Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming.  Machine Learning, 83(1):1-29, 2011.
22. Grégoire Lejay, Katsumi Inoue, and Andrei Donscecu.  Application of Meta-Level Abduction for the Treatment of Hypertension Using SOLAR.  Proceedings of the 2011 IEEE International Workshop on Bioinformatics and Life Science Modeling and Computing (BLSMC 2011), in: Proceedings of the 25th International Conference on Advanced Information Networking and Applications (AINA 2011), pp.495-500, IEEE Computer Society, 2011.
23. Katsumi Inoue, Gauvain Bourgne, and Takayuki Okamoto.  Complete Distributed Consequence Finding with Message Passing.  Proceedings of the 3rd International Conference on Agents and Artificial Intelligence (ICAART 2011), pp.134-143, SciTePress, 2011.
24. Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, and Taisuke Sato.  Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology.  Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2011), pp.47-54, SciTePress, 2011, Received "The Best Student Paper Award".
25. Yoshitaka Kameya, Gabriel Synnaeve, Andrei Doncescu, Katsumi Inoue, and Taisuke Sato.  A Bayesian Hybrid Approach to Unsupervised Time Series Discretization.  Proceedings of the 15th Conference on Technologies and Applications of Artificial Intelligence (TAAI 2010), pp.342-349, IEEE Computer Society, 2010.
26. Mutsunori Banbara, Haruki Matsunaka, Naoyuki Tamura, and Katsumi Inoue.  Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers.  In: Christian Fermüller and Andrei Voronkov (eds.), Proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17), Lecture Notes in Computer Science, Vol.6397, pp.112-126, Springer, 2010.
27. Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, and Hidetomo Nabeshima.  A SAT-Based Method for Solving the Two-dimensional Strip Packing Problem.  Fundamenta Informaticae, 102(3,4):467-487, 2010.
28. Gauvain Bourgne, Katsumi Inoue, and Nicolas Maudet.  Towards Efficient Multi-Agent Abduction Protocols.  Proceedings of the 3rd International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems (LADS 2010), pp.34-40, in: Olivier Boissier, Amal El Fallah Seghrouchni, Salima Hassas, and Nicolas Maudet (eds.), Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), CEUR Workshop Proceedings (CEUR-WS.org), Vol.627, 2010.
29. Gauvain Bourgne, Katsumi Inoue, and Nicolas Maudet.  Abduction of Distributed Theories through Local Interactions.  Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), pp.901-906, IOS Press, 2010.
30. Takehide Soh and Katsumi Inoue.  Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation.  The 6th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2010), in: Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), pp.277-282, IOS Press, 2010.
31. Takehide Soh and Katsumi Inoue.  Finding Minimal Reaction Sets in Large Metabolic Pathways.  Proceedings of the 6th Workshop on Constraint Based Methods for Bioinformatics (WCB 2010), pp.54-68, Edinburgh, 2010.
32. Katsumi Inoue, Andrei Doncescu, and Hidetomo Nabeshima.  Hypothesizing about Networks by Meta-Level Abduction.  The 20th International Conference on Inductive Logic Programming (ILP 2010), 2010. 
33. Yoshitaka Yamamoto, Katsumi Inoue, and Koji Iwanuma.  From Inverse Entailment to Inverse Subsumption.  The 20th International Conference on Inductive Logic Programming (ILP 2010), 2010, Received "The Best Student Paper Award" sponsored by Machine Learning Journal.
34. Katsumi Inoue, Koichi Furukawa, Ikuo Kobayashi, and Hidetomo Nabeshima.  Discovering Rules by Meta-Level Abduction.  Luc De Raedt (ed.), Inductive Logic Programming: Revised Papers from the 19th International Conference (ILP '09), Lecture Notes in Artificial Intelligence, Vol.5989, pp.49-64, Springer, 2010.
35. Gauvain Bourgne and Katsumi Inoue.  Query-driven Coordination of Multiple Answer Sets.  Proceedings of the AAMAS 2010 Workshop on Declarative Agent Languages and Technologies (DALT 2010), pp.50-65, 2010. 
36. 井上 克巳．アブダクションとインダクション．特集：「論理に基づく推論研究の動向」，人工知能学会誌，25(3):389-399, 2010.
37. 坂間 千秋，井上 克巳．解集合プログラミング．特集：「論理に基づく推論研究の動向」，人工知能学会誌，25(3):368-378, 2010.
38. Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, and Oliver Ray.  SOLAR: An Automated Deduction System for Consequence Finding.  AI Communications, 23(2-3):183-203, 2010.
39. Yoshitaka Yamamoto, Katsumi Inoue, and Andrei Doncescu.  Integrating Abduction and Induction in Biological Inference Using CF-Induction.  In: Huma Lodhi and Stephen Muggleton (eds.), Elements of Computational Systems Biology, Chapter 9, pp.213-234, Wiley Book Series on Bioinformatics, John Wiley and Sons, Inc., January 2010.
40. 井上 克巳，田村 直之．SATソルバーの基礎．特集：「最近のSAT技術の発展」，人工知能学会誌，25(1): 57-67, 2010.
41. Petr Buryan, Jiří Kubalík, and Katsumi Inoue.  Grammatical Concept Representation for Randomised Optimisation Algorithms in Relational Learning.  Proceedings of the 9th International Conference on Intelligent Systems Design and Applications (ISDA'09), pp.1450-1455, IEEE Computer Society, 2009.
42. Chiaki Sakama and Katsumi Inoue.  Brave Induction: A Logical Framework for Learning from Incomplete Information.  Machine Learning, 76(1):3-35, 2009.
43. Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, and Hidetomo Nabeshima.  Evaluating Abductive Hypotheses Using an EM Algorithm on BDDs.  Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09), pp.810-815, AAAI Press, 2009.
44. Gauvain Bourgne and Katsumi Inoue.  Towards a Model of Collective Knowledge Discovery.  Proceedings of the IJCAI-09 Workshop on Abductive and Inductive Knowledge Development (AIAI '09), pp.7-13, 2009.
45. Koji Iwanuma, Hidetomo Nabeshima, and Katsumi Inoue.  Toward an Efficient Equality Computation in Connection Tableaux: A Modification Method without Symmetry Transformation.  In: Nicolas Peltier and Viorica Sofronie-Stokkermans (eds.), Proceedings of the 7th International Workshop on First-Order Theorem Proving (FTP '09), pp.19-33, CEUR Workshop Proceedings (CEUR-WS.org), Vol.556, 2009.
46. Taisuke Sato, Masakazu Ishihata, and Katsumi Inoue.  Constraint-Based Probabilistic Modeling for Statistical Abduction.  The 19th International Conference on Inductive Logic Programming (ILP 2009), 2009.
47. Katsumi Inoue, Koichi Furukawa, and Ikuo Kobayashi.  Abducing Rules with Predicate Invention.  The 19th International Conference on Inductive Logic Programming (ILP 2009), 2009.
48. Gabriel Synnaeve, Andrei Doncescu, and Katsumi Inoue.  Kinetic Models for Logic-Based Hypothesis Finding in Metabolic Pathways.  The 19th International Conference on Inductive Logic Programming (ILP 2009), 2009.
49. Yoshitaka Yamamoto, Katsumi Inoue, and Koji Iwanuma.  Hypothesis Enumeration by CF-Induction.  Proceedings of the 6th International Workshop on Learning with Logics and Logics for Learning (LLLL 2009), pp.80-87, 2009.
50. Chiaki Sakama and Katsumi Inoue.  Equivalence Issues in Abduction and Induction.  Journal of Applied Logic, 7(3):318-328, 2009.
51. Koji Iwanuma, Katsumi Inoue, and Hidetomo Nabeshima.  Reconsideration of Circumscriptive Induction with Pointwise Circumscription.  Journal of Applied Logic, 7(3):307-317, 2009.
52. Yoshitaka Yamamoto, Katsumi Inoue, and Andrei Doncescu.  Abductive Reasoning in Cancer Therapy.  The 2009 IEEE International Workshop on Bioinformatics and Life Science Modeling and Computing (BLSMC'09), in: Proceedings of the 23rd International Conference on Advanced Information Networking and Applications (AINA 2009), pp.948-953, IEEE Computer Society, 2009.
53. Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, and Hidetomo Nabeshima.  A SAT-Based Method for Solving the Two-dimensional Strip Packing Problem.  In: Marco Gavanelli and Toni Mancini (eds.), Proceedings of the 15th International RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, No.16 (15 pages), CEUR Workshop Proceedings (CEUR-WS.org), Vol.451, 2008.
54. Hidetomo Nabeshima, Koji Iwanuma, and Katsumi Inoue.  A Complete Pruning Methods and a Practical Search Strategy for SOL.  In: Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate Schmidt, and Stephan Schulz (eds.), Proceedings of the LPAR 2008 Workshops on "Knowledge Exchange: Automated Provers and Proof Assistants" and "The 7th International Workshop on the Implementation of Logics (IWIL 2008)", pp.113-122, CEUR Workshop Proceedings (CEUR-WS.org), Vol.418, 2008.
55. Yoshitaka Yamamoto and Katsumi Inoue.  An Efficient Hypothesis-Finding System Implemented with Deduction and Dualization.  In: Sibylle Schwarz (ed.), Proceedings of the 22nd Workshop on (Constraint) Logic Programming (WLP 2008), Technical Report 2008-8, Institute of Computer Science, University Halle-Wittenberg, Germany, pp.92-103,2008.
56. Chiaki Sakama and Katsumi Inoue.  Brave Induction.  In: Filip Zelezny and Nada Lavrac (eds.), Inductive Logic Programming: Proceedings of the 18th International Conference (ILP 2008), Lecture Notes in Artificial Intelligence, Vol.5194, pp.261-278, Springer, 2008.
57. Katsumi Inoue and Chiaki Sakama.  Comparing Abductive Theories.  Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008), pp.35-39, IOS Press, 2008.
58. 井上 克巳，坂間 千秋．論理プログラミングから解集合プログラミングへ．解説論文，コンピュータソフトウェア，25(3):20-32, 2008.
59. Chiaki Sakama and Katsumi Inoue.  Coordination in Answer Set Programming.  ACM Transactions on Computational Logic, 9(2), Article A9 (30 pages), 2008.
60. Yoshitaka Yamamoto, Katsumi Inoue, and Andrei Doncescu.  Estimation of Possible Reaction States in Metabolic Pathways Using Inductive Logic Programming.  The 2008 IEEE International Workshop on Bioinformatics and Life Science Modeling and Computing (BLSMC'08), in: Proceedings of the 22nd International Conference on Advanced Information Networking and Applications (AINA 2008), pp.808-813, IEEE Computer Society, 2008.
61. Yoshitaka Yamamoto, Oliver Ray, and Katsumi Inoue.  Towards a Logical Reconstruction of CF-Induction.  In: Ken Satoh, Akihiro Inokuchi, Katashi Nagao, and Takahiro Kawamura (eds.), New Frontiers in Artificial Intelligence: JSAI 2007 Conference and Workshops Revised Selected Papers, Lecture Notes in Artificial Intelligence, Vol.4914, pp.330-343, Springer, 2008.
62. Oliver Ray and Katsumi Inoue.  Mode-directed Inverse Entailment for Full Clausal Theories.  In: Hendrik Blockeel, Jude Shavlik, and Prasad Tadepalli (eds.), Inductive Logic Programming: Revised and Selected Papers from the 17th International Conference (ILP 2007), Lecture Notes in Artificial Intelligence, Vol.4894, pp.225-238, Springer, 2008.
63. Oliver Ray and Katsumi Inoue.  A Consequence Finding Approach for Full Clausal Abduction.  In: Vincent Corruble, Masayuki Takeda, and Einoshin Suzuki (eds.), Discovery Science: Proceedings of the 10th International Conference (DS 2007), Lecture Notes in Artificial Intelligence, Vol.4755, pp.173-184, Springer, 2007.
64. Koji Iwanuma, Katsumi Inoue, and Hidetomo Nabeshima.  Reconsideration of Circumscriptive Induction with Pointwise Circumscription.  Proceedings of the 2007 International Workshop on Abduction and Induction in Artificial Intelligence and Bioinformatics (AIAI '07), pp.50-64, 2007.
65. Chiaki Sakama and Katsumi Inoue.  Equivalence Issues in Abduction and Induction.  Proceedings of the 2007 International Workshop on Abduction and Induction in Artificial Intelligence and Bioinformatics (AIAI '07), pp.82-95, 2007.
66. Katsumi Inoue and Chiaki Sakama.  Generality and Equivalence Relations in Default Logic.  Proceedings of the 22nd Conference on Artificial Intelligence (AAAI-07), pp.434-439, AAAI Press, 2007.
67. 番原 睦則，田村 直之，井上 克巳． Prolog から Java へのトランスレータ処理系とその応用． コンピュータソフトウェア，24(3):75-86, 2007.
68. Andrei Doncescu, Sebastien Regis, Katsumi Inoue, and Richard Emilion.  Analysis of New Aggregation Operators: Mean 3Π.   Journal of Advanced Computational Intelligence and Intelligent Informatics, 11(6):561-569, 2007.
69. Oliver Ray and Katsumi Inoue.  Mode-directed Inverse Entailment for Full Clausal Theories.  Proceedings of the 17th International Conference on Inductive Logic Programming (ILP 2007), 2007.
70. Yoshitaka Yamamoto, Oliver Ray, and Katsumi Inoue.  Towards a Logical Reconstruction of CF-Induction.  Proceedings of the 4th International Workshop on Learning with Logics and Logics for Learning (LLLL 2007), pp.18-24, The Japanese Society for Artificial Intelligence, 2007.
71. Andrei Doncescu, Yoshitaka Yamamoto, and Katsumi Inoue.  Knowledge-Based Discovery in Systems Biology Using CF-Induction.  In: Hiroshi G. Okuno and Moonis Ali (eds.), New Trends in Applied Artificial Intelligence: Proceedings of the 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2007), Lecture Notes in Artificial Intelligence, Vol.4570, pp.395-404, Springer, 2007.
72. Andrei Doncescu, Yoshitaka Yamamoto, and Katsumi Inoue.  Biological Systems Analysis Using Inductive Logic Programming.  The 2007 IEEE International Symposium on Bioinformatics and Life Science Computing (BLSC'07), in: Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), Vol.1, pp.690-695, IEEE Computer Society, 2007.
73. Chiaki Sakama and Katsumi Inoue.  Negotiation by Abduction and Relaxation.  Proceedings of the 6th International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2007), pp.1018-1025, 2007.
74. Chiaki Sakama and Katsumi Inoue.  Constructing Consensus Logic Programs.  In: Germán Puebla (ed.), Logic-Based Program Synthesis and Transformation: Revised and Selected papers from the 16th International Symposium (LOPSTR'06), Lecture Notes in Computer Science, Vol.4407, pp.26-42, Springer, 2007.
75. Katsumi Inoue, Ken Satoh, and Francesca Toni (eds.).  Computational Logic in Multi-Agent Systems: Revised Selected and Invited Papers from the 7th International Workshop (CLIMA-VII).  Lecture Notes in Artificial Intelligence, Vol.4371, Springer, 2007.
76. Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue.   Prolog Café: A Prolog to Java Translator System.  In: Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, and Osamu Takata (eds.), Declarative Programming for Knowledge Management: Revised and Selected Papers from the 16th International Conference on Applications of Declarative Programming and Knowledge Management, Lecture Notes in Computer Science, Vol.4369, pp.1-11, Springer, 2006.
77. Katsumi Inoue and Chiaki Sakama.  On Abductive Equivalence.  In: Lorenzo Magnani (ed.), Model-Based Reasoning in Science and Engineering: Cognitive Science, Epistemology, Logic. Studies in Logic, Volume 2, pp.333-352, College Publications, London, 2006.
78. Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, and Naoyuki Tamura.  A Competitive and Cooperative Approach to Propositional Satisfiability.  Discrete Applied Mathematics, 154(16):2291-2306, 2006.
79. Andrei Doncescu, Sebastien Regis, and Katsumi Inoue.   Improvement of Yager's Triple Π Operator.   Proceedings of the Joint 3rd International Conference on Soft Computing and Intelligent Systems and 7th International Symposium on advanced Intelligent Systems (SCIS & ISIS 2006), pp.1079-1083, Received "Session Best Presentation Award", 2006.
80. Andrei Doncescu and Katsumi Inoue.  Automated Abduction and Computer Forensics.  In: Laurence T. Yang et al. (eds.), Autonomic and Trusted Computing: Proceedings of the 3rd International Conference (ATC-06), Lecture Notes in Computer Science, Vol.4158, pp.493-499, Springer, 2006.
81. Andrei Doncescu, Katsumi Inoue, and Gilles Richard.  CF-Induction Applied to Metabolic Flux Analysis.  In: Stephen Muggleton and Ramon Otero (eds.), Proceedings of the 16th International Conference on Inductive Logic Programming (ILP 2006), pp.61-64, University of Coruna, 2006.
82. Hiroaki Watanabe, Katsumi Inoue, and Stephen Muggleton.  Complexity Analysis of Abductive Action Theory.  In: Stephen Muggleton and Ramon Otero (eds.), Proceedings of the 16th International Conference on Inductive Logic Programming (ILP 2006), pp.219-221, University of Coruna, 2006.
83. Katsumi Inoue and Chiaki Sakama. Generality Relations in Answer Set Programming. In: Sandro Etalle and Mirosław Truszczyński (eds.), Logic Programming: Proceedings of the 22nd International Conference (ICLP 2006), Lecture Notes in Computer Science, Vol.4079, pp.211-225, Springer, 2006.
84. Chiaki Sakama and Katsumi Inoue.  Constructing Consensus Logic Programs.  Proceedings of the 16th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'06), 2006.
85. Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue, and Koji Iwanuma.  Lemma Reusing for SAT Based Planning and Scheduling.  Proceedings of the International Conference on Automated Planning and Scheduling 2006 (ICAPS'06), pp.103-112, AAAI Press, 2006.
86. Katsumi Inoue and Chiaki Sakama.  Abductive Equivalence in First-Order Logic.  Logic Journal of the IGPL, 14(2):333-346, 2006.
87. Chiaki Sakama and Katsumi Inoue.  Combining Answer Sets of Nonmonotonic Logic Programs.  In: Francesca Toni and Paolo Torroni (eds.), Computational Logic in Multi-Agent Systems: Post-proceedings of the 6th International Workshop (CLIMA-VI), Lecture Notes in Artificial Intelligence, Vol.3900, pp.320-339, Springer, 2006.
88. Andrei Doncescu, Muhammad Farmer, Katsumi Inoue, and Gilles Richard.  A Web Architecture for Data Mining in Biology.  The 2nd Second IEEE Workshop on High Performance Computing in Medicine and Biology (HiPCoMB-2006), in: Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), Vol.2, pp.607-612, IEEE Computer Society, 2006.
89. Katsumi Inoue, Koji Iwanuma, and Hidetomo Nabeshima.  Consequence Finding and Computing Answers with Defaults.  Journal of Intelligent Information Systems, 26(1):41-58, 2006.
90. 齋藤 悠，井上 克巳．極小限定を用いた帰納推論．人工知能学会論文誌，21(2):143-152, 2006.
91. Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue.   Prolog Café: A Prolog to Java Translator System.  Proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2005), pp.45-54, 2005.
92. Koji Iwanuma, Katsumi Inoue, and Hidetomo Nabeshima.  Upside-down Transformation in SOL/Connection Tableaux and its Application.  In: Dang Hung and Martin Wirsing (eds.), Theoretical Aspects of Computing, Proceedings of the 2nd International Colloquium (ICTAC 2005), Lecture Notes in Computer Science, Vol.3722, pp.166-179, Springer, 2005.
93. Takehide Soh, Katsumi Inoue, Mutsunori Banbara, and Naoyuki Tamura.  Experimental Results for Solving Job-shop Scheduling Problems with Multiple SAT Solvers.  Proceedings of the 1st International Workshop on Distributed and Speculative Constraint Processing (DSCP'05), pp.25-38, 2005.
94. Katsumi Inoue, Hideyuki Bando, and Hidetomo Nabeshima.  Inducing Causal Laws by Regular Inference.  In: Stefan Kramer and Bernhard Pfahringer (eds.), Inductive Logic Programming: Proceedings of the 15th International Conference (ILP 2005), Lecture Notes in Artificial Intelligence, Vol.3625, pp.154-171, Springer, 2005.
95. Chiaki Sakama and Katsumi Inoue.  Inductive Equivalence of Logic Programs.  In: Stefan Kramer and Bernhard Pfahringer (eds.), Inductive Logic Programming: Proceedings of the 15th International Conference (ILP 2005), Lecture Notes in Artificial Intelligence, Vol.3625, pp.312-329, Springer, 2005.
96. Katsumi Inoue and Chiaki Sakama.  Equivalence in Abductive Logic.  Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05), pp.472-477, Professional Book Center, 2005.
97. Chiaki Sakama and Katsumi Inoue.  Combining Answer Sets of Nonmonotonic Logic Programs.  In: Alessandro Provetti and Marina De Vos (eds.), Proceedings of the International Workshop on Answer Set Programming (ASP'05), pp.42-56, 2005.
98. Chiaki Sakama and Katsumi Inoue.  Combining Answer Sets of Nonmonotonic Logic Programs.  In: Francesca Toni and Paolo Torroni (eds.), Proceedings of the 6th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VI), pp.104-118, 2005.
99. Chiaki Sakama and Katsumi Inoue.   Coordination between Logical Agents.   In: João Leite and Paolo Torroni (eds.), Computational Logic in Multi-Agent Systems: Post-proceedings of the 5th International Workshop (CLIMA-V), Lecture Notes in Artificial Intelligence, Vol.3487, pp.161-177, Springer, 2005.
100. Andrei Doncescu, Katsumi Inoue, Muhammad Farmer, and Gilles Richard.  A Web-Based Architecture for Inductive Logic Programming in Biology.  Proceedings of the 7th International Conference on Enterprise Information System (ICEIS2005), Volume 2, pp.357-361, 2005.
101. Andrei Doncescu, Katsumi Inoue, Muhammad Farmer, and Gilles Richard.  A Web-Based Architecture for ILP: Security Issues.  Proceedings of the 1st International Conference on Global E-Security (ICGeS2005), pp.132-138, 2005.
102. Katsumi Inoue and Chiaki Sakama.  On Abductive Equivalence.  Abstracts of Model-Based Reasoning in Science and Engineering: Abduction, Visualization, and Simulation (MBR '04), Pavia, Italy, 2004.
103. Chiaki Sakama and Katsumi Inoue.   Coordination between Logical Agents.   In: João Leite and Paolo Torroni (eds.), Proceedings of the 5th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-V), pp.98-113, 2004.
104. Katsumi Inoue and Chiaki Sakama.   Equivalence of Logic Programs under Updates.   In: José Júlio Alferes and João Leite (eds.), Logics in Artificial Intelligence: Proceedings of the 9th European Conference (JELIA 2004), Lecture Notes in Artificial Intelligence, Vol.3229, pp.174-186, Springer, 2004.
105. Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, and Katsumi Nitta.  The PLP System.  In: José Júlio Alferes and João Leite (eds.), Logics in Artificial Intelligence: Proceedings of the 9th European Conference (JELIA 2004), Lecture Notes in Artificial Intelligence, Vol.3229, pp.706-709, Springer, 2004.
106. Toshiko Wakaki and Katsumi Inoue.  Compiling Prioritized Circumscription into Answer Set Programming.  In: Bart Damon and Vladimir Lifschitz (eds.), Logic Programming: Proceedings of the 20th International Conference (ICLP 2004), Lecture Notes in Computer Science, Vol.3132, pp.356-370, Springer, 2004.
107. Katsumi Inoue and Haruka Saito.  Circumscription Policies for Induction.  In: Rui Camacho, Ross King and Ashwin Srinivasan (eds.), Inductive Logic Programming: Proceedings of the 14th International Conference (ILP 2004), Lecture Notes in Artificial Intelligence, Vol.3194, pp.164-179, Springer, 2004.
108. Katsumi Inoue and Koji Iwanuma.  Speculative Computation through Consequence-Finding in Multi-Agent Environments.  Annals of Mathematics and Artificial Intelligence, 42(1-3):255-291, 2004.
109. Katsumi Inoue, Koji Iwanuma, and Hidetomo Nabeshima.  Consequence-Finding in Default Theories.  In: Henning Christiansen, Mohand-Said Hacid, Troels Andreasen, and Henrik Legind Larsen (eds.), Flexible Query Answering Systems: Proceedings of the 6th International Conference (FQAS 2004), Lecture Notes in Artificial Intelligence, Vol.3055, pp.459-472, Springer, 2004.
110. Katsumi Inoue.  Induction as Consequence Finding.  Machine Learning, 55(2):109-135, 2004.
111. 2003年までの発表論文リスト：http://research.nii.ac.jp/~ki/old_publication_j.html

1. 宋 剛秀，井上 克巳，馬場 知哉，高田 豊行，城石 俊彦． 極小活性パスウェイの列挙を用いた大腸菌における遺伝子欠損の影響予測． 第165回情報処理学会知能システム研究会，情報処理学会，2012.
2. Katsuhisa Horimoto, Katsumi Inoue, and Oliver Ray.  Report on International Symposium on Symbolic Systems Biology, NII Shonan Meeting Report, No.2011-7, National Institute of Informatics, Tokyo, Japan, 2011.
3. 鍋島 英知，岩沼 宏治，井上 克巳． GlueMiniSat2.2.5: 単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー． 日本ソフトウェア科学会第28回大会(2011年度)，6E-1, 2011. 高橋奨励賞受賞．
4. 井上 克巳，吉田 典之．推論で生命活動の謎解きに挑む．NII Today (日本語版), No. 49, pp.2-3, Sep. 2010.
5. 番原 睦則，松中 春樹，田村 直之，井上 克巳．SAT技術を用いた組合せテストケース生成． 日本ソフトウェア科学会第27回大会(2010年度)，1B-3, 2010.
6. 宋 剛秀，井上 克巳．モデル生成を用いた代謝ネットワークにおける極小部分パスウェイの同定．人工知能学会第24回全国大会 (JSAI 2010)，人工知能学会，2010.
7. 坂間 千秋，井上 克巳．特集「論理に基づく推論研究の動向」にあたって．人工知能学会誌，25(3):366-367, 2010.
8. 井上 克巳，田村 直之．特集「最近のSAT技術の発展」にあたって．人工知能学会誌，25(1):56, 2010.
9. 宋 剛秀，井上 克巳． SAT問題への変換を用いたフィードバックを含むパスウェイの解析．人工知能学会第23回全国大会(JSAI 2009)，人工知能学会，2009. 2009年度人工知能学会全国大会優秀賞受賞．
10. 古川 康一，小林 郁夫，井上 克巳，諏訪 正樹． 発想推論に基づく着眼点の発見． 人工知能学会第23回全国大会(JSAI 2009)，人工知能学会，2009.
11. 古川 康一，小林 郁夫，井上 克巳，諏訪 正樹． 発想推論に基づく着眼点の発見． 人工知能学会第3回身体知研究会，SIG-SKL, SKL-03-03 (pp.11-18), 2009.
12. 山本 泰生，井上 克巳． CF帰納法の効率的実装とパスウェイ推論への応用． 人工知能基本問題研究会，SIG-FPAI-A802, pp.21-26, 人工知能学会，2008.
13. Andrei Doncescu, Katsumi Inoue, and Taisuke Sato.  Hypothesis-Finding in Systems Biology.  ALP Newsletter, 21(2-3), 2008.
14. 井上 克巳．仮説発見システムの高度化と効率的実現に関する研究．平成17年度～平成19年度科学研究費補助金(基盤研究(B))研究成果報告書 (17300051)，2008.
15. 井上 克巳． システム生物学における知識発見への挑戦 ～生体ネットワーク上での推論による生命機能の解明～． 情報通信ジャーナル，25(11):44-45, 2007.
16. Andrei Doncescu, Muhammad Farmer, Katsumi Inoue, and Gilles Richard.  A Web-Based Architecture for Inductive Logic Programming.  eBritain Science & Innovation Magazine, 2007 Special Edition, pp.44-47, 2007.
17. 田村 直之，多賀 明子，番原 睦則，宋 剛秀，鍋島 英知，井上 克巳． ショップ・スケジューリング問題のSAT変換による解法． スケジューリング・シンポジウム2007講演論文集，pp.97-102, スケジューリング学会，2007.
18. 山本 泰生，Oliver Ray，井上 克巳． CF帰納法の論理的再構築について． 信学技報，AI2007-1, pp.1-6, 電子情報通信学会技術研究報告，2007.
19. Katsumi Inoue, Ken Satoh, and Francesca Toni.  CLIMA VII Conference Report.  ALP Newsletter, 19(3):3, 2006.
20. 鍋島 英知，宋 剛秀，井上 克巳，岩沼 宏治． 効率的なSATプランニングとSATスケジューリングのための補題利用 (in English)． 信学技報，AI2006-4, pp.19-24, 電子情報通信学会技術研究報告，2006.
21. Katsumi Inoue, Ken Satoh, and Francesca Toni.  Proceedings of the the 7th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VII), AAMAS-06 Workshop WS-10, Future University-Hakodate, Japan, 2006.
22. 番原 睦則，田村 直之，井上 克巳． Prolog から Java へのトランスレータ処理系とその応用． 日本ソフトウェア科学会第22回大会（2005年度），3B-2, 2005.
23. 井上 克巳．結論発見プログラムに基づく知識発見に関する研究．平成14年度～平成16年度科学研究費補助金(基盤研究(B)(2))研究成果報告書 (17300051)，2005.
24. 岡本 孝之，井上 克巳． メッセージ通信を用いた分散型結論発見． 情報処理学会研究報告，2005-ICS-139, pp.25-30, 情報処理学会，2005.
25. 山本 泰生，井上 克巳． CF帰納法における一般化に関する考察 −第2報−． 情報処理学会研究報告，2005-ICS-139, pp.31-36, 情報処理学会，2005.
26. 岩内 栄二，井上 克巳． 投機的に計算するマルチエージェントシステムにおける実時間意思決定に関する考察． 情報処理学会研究報告，2005-ICS-139, pp.61-66, 情報処理学会，2005.
27. 宋 剛秀，井上 克巳． 複数のSATソルバを用いたジョブショップスケジューリング問題の解法． 信学技報，AI2004-4, pp.19-24, 電子情報通信学会技術研究報告，2004.
28. 若木 利子，井上 克巳． 極小限定モデルの解集合プログラミングによる計算． 信学技報，AI2004-6, pp.27-32, 電子情報通信学会技術研究報告，2004.
29. 岩沼 宏治，井上 克巳，鍋島 英知． SOLにおけるタブロ証明反転法とその応用． 信学技報，AI2004-8, pp.39-44, 電子情報通信学会技術研究報告，2004.
30. 番原 睦則，田村 直之，井上 克巳，川村 尚生，玉置 久． Javaによる分散協調制約解消システム． IPA未踏ソフトウェア創造事業 成果報告書，2004.

1. 宋 剛秀，井上 克巳，馬場 知哉，高田 豊行，城石 俊彦． 極小活性パスウェイの列挙を用いた遺伝子ノックアウトの影響予測． 第47回人工知能学会分子生物情報研究会，慶応義塾大学日吉キャンパス，12月15日，2011.
2. Katsumi Inoue.  Abduction in Meta-Reasoning.  International Symposium on Symbolic Systems Biology (ISSSB 2011), Shonan Village Center, Hayama, Kanagawa, November 15th, 2011. 
3. Katsumi Inoue.  Abduction in Meta-Reasoning.  The JFLI-LIP6-NII Meeting on Models of Symbolic Reasoning and Distributed Inference, LIP6, Université Pierre et Marie Curie, Paris, November 3rd, 2011. 
4. Katsumi Inoue.  Relating Boolean Networks to (Inductive) Logic Programming.  Invited talk at:  Logic Learning Theory Workshop, Imperial College London, London, UK, July 29th, 2011. 
5. Katsumi Inoue, Domenico Corapi, Daniel Sykes, and Alessandra Russo.  Probabilistic Rule Learning in Nonmonotonic Domains.  The 3rd PLL Summit, Imperial College London, London, UK, July 27th, 2011. 
6. Katsumi Inoue.  Relating Boolean Networks to Logic Programming.  KUBIC-NII Joint Seminar on Bioinformatics 2011, Bioinformatics Center, Institute for Chemical Research, Kyoto University, April 27th, 2011. 
7. Johannes Oetsch, Esra Erdem, Katsumi Inoue, Jorg Puhrer, Hans Tompits, and Cemal Yilmaz.  Answer-Set Programming as a New Approach to Event-Sequence Testing.  The 51st GRACE Seminar on Advanced Software Science and Engineering, National Institute of Informatics, April 25th, 2011. 
8. 井上 克巳． アブダクションとインダクションによる知識発見． 第8回知識創造支援システムシンポジウム，北陸先端科学技術大学院大学，2月25日，2011.
9. Katsumi Inoue.  Survey of Inductive Methods Based on Bottom and Top Theories.  Imperial College-NII Logic Learning Workshop, Imperial College London, London, UK, December 7th, 2010. 
10. Katsumi Inoue and Chiaki Sakama.  Exploring Relations between Answer Set Programs.  Proceedings of the Symposium on Constructive Mathematics in Computer Science, pp.72-91, Lexington, KY, USA, October 25th, 2010. 
11. Katsumi Inoue and Andrei Doncescu (French presentation).  Integration de l'Inférence Abductive et Inductive pour la Représentation des Connaissance dans les Réseaux de Gènes.  Séminar Organisé par l'Insttitut Claudius Regaud (ICR) et l'Instiut de Recherche en Informatique de Toulouse (IRIT), Toulouse, France, October 21st, 2010. 
12. Takehide Soh and Katsumi Inoue.  Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation.  JFLI Workshop in Paris, Université Pierre et Marie Curie, Paris, France, October 13th, 2010. 
13. Gauvain Bourgne, Amal El Fallah-Seghrouchni, Katsumi Inoue, and Nicola Maudet.  Learner-Critic Approach for Hypothetical Reasoning in Networks of Agents.  JFLI Workshop in Paris, Université Pierre et Marie Curie, Paris, France, October 13th, 2010. 
14. Katsumi Inoue.  Inferential Framework for Synthesis and Analysis of Complex and Biological Systems.  Presented at:  The 2nd PLL Summit, Firenze, Italy, July 2010. 
15. Katsumi Inoue.  Past and Future 20 Years of ILP.  Panel at: The 20th International Conference on Inductive Logic Programming (ILP 2010), 2010. 
16. Katsumi Inoue.  Reasoning about Signaling Networks by Meta-Level Abduction.  KUBIC-NII Joint Seminar on Bioinformatics 2010, Bioinformatics Center, Institute for Chemical Research, Kyoto University, May 28th, 2010. 
17. Takehide Soh and Katsumi Inoue.  A SAT-Based Method for Analyzing Metabolic Pathways.  Poster presentation at: Systems Biochemistry 2010, Biochemical Society, University of York, UK, March 2010.
18. Katsumi Inoue.  Inference-Based Hypothesis-Finding for Systems Biology.  Presented at: French-Japanese Workshop in the Field of Information and Communication Science and Technologies, Paris. France, November 20th, 2009.   
19. Katsumi Inoue and Hidetomo Nabeshima.  Inferring Rules and Facts by Meta-Level Abduction on SOLAR.  Presented at: Meeting on Knowledge Discovery, Machine Learning and their Distribution in Multi Agent Systems, LIP6, Paris, France, October 1st, 2009.   
20. Katsumi Inoue.  Research on Consequence Finding.  Presented at: Meeting on Hypothesis Finding and its Applications, LRI, Orsay, France, September 28th, 2009.   
21. Katsumi Inoue and Hidetomo Nabeshima.  Inferring Rules and Facts by Meta-Level Abduction on SOLAR.  Presented at: The 3rd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ '09), Bastia. France, September 22nd, 2009.   
22. Katsumi Inoue and Andrei Doncescu.  Automated Hypothesis Finding.   JFLI "Kick-Off" Workshop, Japanese-French Laboratory for Informatics, Tokyo, Japan, May 27th, 2009. 
23. Katsumi Inoue.  Evaluating Abductive Hypotheses Using an EM Algorithm on BDDs.  バイオインフォマティクスセミナーシリーズ，京都大学化学研究所バイオインフォマティクスセンター，4月23日，2009.
24. Andrei Doncescu, Yoshitaka Yamamoto, Katsumi Inoue, and Magali Lacroix-Triki.  Extraction of Logical Relations to Model Some Aspects of Breast Cancer Therapy,  第22回システムバイオロジー研究会，日本バイオインフォマティクス研究会， 癌研究所吉田講堂，3月11日，2009.
25. 井上 克巳． 生体システムの論理モデルと人工知能．国立情報学研究所・軽井沢土曜懇話会，9月27日，2008.
26. Katsumi Inoue.  On Equivalence and Generality Relations in Answer Set Programming.  Invited talk at AI Seminar, Department of Applied Informatics, Faculty of Mathematics, Physics and Informatics, Comenius University in Bratislava, Slovakia, September 6th, 2008. 
27. 坂間千秋，井上 克巳． アブダクションと帰納推論における等価性問題について． 第5回知識創造支援システムシンポジウム，2008.
28. Yoshitaka Yamamoto, Katsumi Inoue, and Andrei Doncescu.  Inferring Inhibition and Pathway Rules Using CF-Induction.  Poster presentation at: The 6th Asia Pacific Bioinformatics Conference (APBC 2008), Kyoto, Japan, 2008. 
29. 井上 克巳． 非単調性と帰納論理を取り入れたことで論理プログラミングはどう変わったか？ 渕一博記念コロキウム『論理と推論技術：四半世紀の展開』，2007.
30. Yoshitaka Yamamoto, Katsumi Inoue, and Andrei Doncescu.  Integration of Abduction and Induction in Biological Networks Using CF-Induction.  Presented at: The 1st Franco-Japanese Symposium on Knowledge Discovery in Systems Biology, Aix-en-Provence, France, 2007.  
31. Katsumi Inoue, Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, and Hidetomo Nabeshima.  Multisat: A Heterogeneous SAT Solver.  Presented at: The 2nd Franco-Japanese Workshop on Constraint Programming (FJCP 2005), Le Croisic, France, 2005.  
32. Katsumi Inoue.  Abduction and Induction through Inverse Entailment and Consequence Finding.  Presented at: International Workshop on the Integration of Abduction and Induction in Artificial Intelligence (AIAI '05), Edinburgh, 2005.  
33. Mutsunori Banbara, Shuji Ohnishi, Katsumi Inoue, and Naoyuki Tamura.  Towards a Heterogeneous Constraint Solving System on the Grid.  Presented at: The 1st Franco-Japanese Workshop on Constraint Programming (FJCP 2004), Tokyo, Japan, 2004.  
34. Katsumi Inoue.  A Competitive and Cooperative Approach to SAT.  Presented at: International Symposium on Discrete Algorithms and Optimization, Kyoto University, 2004. 

• 平成20～23年度科学研究費基盤研究(A)，「推論による仮説発見とシステム生物学への応用」 (No.20240016; 研究代表者)
• 平成20～23年度科学研究費基盤研究(A)，「制約最適化問題のSAT変換による解法とその並列分散処理に関する研究」 (No.20240003; 研究分担者)，研究代表者：神戸大学・田村直之教授
• 平成17～19年度科学研究費基盤研究(B)， 「仮説発見システムの高度化と効率的実現に関する研究」 (No.17300051; 研究代表者)
• 平成14～16年度科学研究費基盤研究(B)(2)， 「結論発見プログラムに基づく知識発見に関する研究」 (No.14380164; 研究代表者)

• 平成23年度 新領域融合研究センター・第2回融合研究シーズ探索「グローバル調節ネットワークにおける因果関係と推論を用いた知識発見」 (共同提案者)
• 平成22年度 新領域融合研究センター・第2回融合研究シーズ探索「代謝ネットワークにおける因果関係と推論を用いた知識発見のための新規プラットホーム構築に関する基礎的研究」 (共同提案者)
• 科学技術振興機構・平成18～21年度戦略的国際科学技術協力推進事業・日仏研究交流，「システム生物学における仮説発見に関する研究」