Katsumi Inoue

Revision    2

As of  2009.6.16      

 

[Name] 

Inoue Katsumi

[Doctoral degrees] 

1993, Dr. Eng., Kyoto University

[Affiliation / Position] 

Professor

[E-mail] 

ki

[Personal home page] 

http://research.nii.ac.jp/il/
http://research.nii.ac.jp/~ki
http://www.nii.ac.jp/staff/Inoue_Katsumi.shtml
http://researchmap.jp/vivre

[JST ReaD] 

http://read.jst.go.jp/public/cs_ksh_012EventAction.do?action4=event&lang_act4=E&judge_act4=2&code_act4=1000165292

[Research fields] 

Intelligence Informatics

 

[Outline of current research] 

 

Logical Foundations for Artificial Intelligence.

  • Inference and Knowledge Representation
  • Hypothesis-finding based on Induction and Abduction
  • Knowledge Discovery in Systems Biology

 

[Education] 

 

1984 Mar. Master's Degree, Dept. of Applied Mathematics and Physics, Kyoto University

 

1982 Mar. Bachelor's Degree, Dept. of Applied Mathematics and Physics, Kyoto University

 

[Career (since 2004)] 

 

Professor, National Institute of Informatics (2004-)

 

Professor, Department of Informatics, School of Multidisciplinary Science, The Graduate University for Advanced Studies (2005-)

 

Visiting Professor, Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology (2008-)

 

[Awards] 

 

IPSJ Convention Award 1987

 

JSAI SIG Research Award 1999

 

[Teaching positions (since 2004)] 

 

Professor, Department of Informatics, School of Multidisciplinary Science, The Graduate University for Advanced Studies (2005-)

 

Visiting Professor, Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology (2008-)

 

[Courses] 

 

Foundations of Artificial Intelligence

 

Introduction to Intelligent Systems Science, I

 

 

[Students (since 2004)] 

 

Takehide Soh (Department of Informatics, The Graduate University for Advanced Studies, 2008.4-)

 

Yoshitaka Yamamoto (Department of Informatics, The Graduate University for Advanced Studies, 2006.10-)

 

Eiji Iwauchi (Graduate School of Science and Technology, Kobe University, 2004.4-2005.3)

 

Takayuki Okamoto (Graduate School of Science and Technology, Kobe University, 2004.4-2005.3)

 

Yoshitaka Yamamoto (Graduate School of Science and Technology, Kobe University, 2004.4-2005.3)

 

 

[Academic societies (since 2004)] 

 

Symposium co-Organizer, The 3rd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology http://research.nii.ac.jp/il/fj/3rd_ws/

 

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) http://www.laas.fr/BLSMC09/

 

Symposium co-Organizer, The 2nd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology http://research.nii.ac.jp/il/fj/2nd_ws/

 

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 http://research.nii.ac.jp/~ki/event/fj07.html

 

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, Special Issue on Skill Science, Journal of the Japanese Society for Artificial Intelligence

 

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) http://research.nii.ac.jp/climaVII/

 

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 2006)

 

Member of Program Committee, The 19th Annual Conference of Japanese Society for Artificial Intelligence (JSAI 2005)

 

Member of Editorial Board (retired), AI Communications

 

Trustee (retired), The Japanese Society for Artificial Intelligence

 

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)

 

Member of Editorial Board (retired), Journal of the Japanese Society for Artificial Intelligence

 

Member of Program Committee, The 18th Annual Conference of Japanese Society for Artificial Intelligence (JSAI 2004)

 

 

[Refereed publications, published books (since 2004)] 

 
  1. Chiaki Sakama and Katsumi Inoue. Brave Induction: A Logical Framework for Learning from Incomplete Information. Machine Learning, to appear, 2009.
  2. Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, and Hidetomo Nabeshima. A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. Journal of Algorithms in Cognition, Informatics and Logic, to appear, Elsevier, 2009.
  3. 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), to appear, 2009.
  4. 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), pages 7-13, 2009.
  5. Koji Iwanuma, Hidetomo Nabeshima, and Katsumi Inoue. Toward an Efficient Equality Computation in Connection Tableaux: A Modification Method without Symmetry Transformation. Proceedings of the 7th International Workshop on First-Order Theorem Proving (FTP 2009), to appear, Technical Report, University of Oslo, 2009.
  6. Taisuke Sato, Masakazu Ishihata, and Katsumi Inoue. Contraint-based Probabilistic Modeling for Statistical Abduction. The 19th International Conference on Inductive Logic Programming (ILP 2009), 2009. An extended version is to appear in: Luc De Raedt (ed.), Inductive Logic Programming: Selected Papers from the 19th International Conference, Lecture Notes in Artificial Intelligence, to appear, Springer, 2009.
  7. Katsumi Inoue, Koichi Furukawa, and Ikuo Kobayashi. Abducing Rules with Predicate Invention. The 19th International Conference on Inductive Logic Programming (ILP 2009), 2009. An extended version is to appear in: Luc De Raedt (ed.), Inductive Logic Programming: Selected Papers from the 19th International Conference, Lecture Notes in Artificial Intelligence, to appear, Springer, 2009.
  8. 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.
  9. Chiaki Sakama and Katsumi Inoue. Equivalence Issues in Abduction and Induction. Journal of Applied Logic, 25(3): 318-328, 2009.
  10. Koji Iwanuma, Katsumi Inoue, and Hidetomo Nabeshima. Reconsideration of Circumscriptive Induction with Pointwise Circumscription. Journal of Applied Logic, 25(3): 307-317, 2009.
  11. 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, Wiley Book Series on Bioinformatics, to appear, John Wiley and Sons, Inc., 2009.
  12. Yoshitaka Yamamoto, Katsumi Inoue, and Andrei Doncescu. Abductive Reasoning in Cancer Therapy. Proceedings of the 23rd International Conference on Advanced Information Networking and Applications (AINA 2009), The 2009 IEEE International Workshop on Bioinformatics and Life Science Modeling and Computing (BLSMC'09), pp. - , IEEE Computer Society, 2009.
  13. Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, and Hidetomo Nabeshima. A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. Proceedings of the 15th International RCRA workshop (RCRA 2008): Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, P25 (15 pages), 2008.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. Katsumi Inoue and Chiaki Sakama. From Logic Programming to Answer Set Programming (in Japanese). Survey paper, Computer Software, 25(3):20-32, 2008.
  19. Chiaki Sakama and Katsumi Inoue. Coordination in Answer Set Programming. ACM Transactions on Computational Logic, 9(2), Article A9 (30 pages), 2008.
  20. Yoshitaka Yamamoto, Katsumi Inoue, and Andrei Doncescu. Estimation of Possible Reaction States in Metabolic Pathways using Inductive Logic Programming. Proceedings of the 22nd International Conference on Advanced Information Networking and Applications (AINA 2008), The 2008 IEEE International Workshop on Bioinformatics and Life Science Modeling and Computing (BLSMC'08), pp.808-813, IEEE Computer Society, 2008.
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. 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.
  26. 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.
  27. 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.
  28. Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue. A Prolog to Java Translator System and its Application (in Japanese). Computer Software, 24(3): pp.75-86, 2007.
  29. 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.
  30. 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.
  31. 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.
  32. 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.
  33. Andrei Doncescu, Yoshitaka Yamamoto, and Katsumi Inoue. Biological Systems Analysis Using Inductive Logic Programming. Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), Vol.1, The 2007 IEEE International Symposium on Bioinformatics and Life Science Computing (BLSC'07), pp.690-695, IEEE Computer Society, 2007.
  34. 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.
  35. 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.
  36. 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.
  37. 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.
  38. 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.
  39. 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.
  40. 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.
  41. 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.
  42. 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.
  43. 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.
  44. Katsumi Inoue and Chiaki Sakama. Generality Relations in Answer Set Programming. In: Sandro Etalle and Mirosław Truszczyński (eds.), Logics Programming: Proceedings of the 22nd International Conference (ICLP 2006), Lecture Notes in Computer Science, Vol. 4079, pp.211-225, Springer, 2006.
  45. 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.
  46. 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), pages 103-112, AAAI Press, 2006.
  47. Katsumi Inoue and Chiaki Sakama. Abductive Equivalence in First-order Logic. Logic Journal of the IGPL, 14(2): 333-346, 2006.
  48. 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, pages 320-339, Springer, 2006.
  49. Andrei Doncescu, Muhammad Farmer, Katsumi Inoue, and Gilles Richard. A Web Architecture for Data Mining in Biology. Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), Vol. 2, The 2nd Second IEEE Workshop on High Performance Computing in Medicine and Biology (HiPCoMB-2006), pp.607-612, IEEE Computer Society, 2006.
  50. Katsumi Inoue, Koji Iwanuma, and Hidetomo Nabeshima. Consequence Finding and Computing Answers with Defaults. Journal of Intelligent Information Systems, 26: 41-58, 2006.
  51. Haruka Saito and Katsumi Inoue. Induction based on Circumscription (in Japanese). Journal of the Japanese Society for Artificial Intelligence, 21(2): 143-152, 2006.
  52. 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.
  53. 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.
  54. 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.
  55. 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.
  56. 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.
  57. 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.
  58. 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.
  59. 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.
  60. 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.
  61. 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.
  62. 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.
  63. 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.
  64. 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.
  65. 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.
  66. 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.
  67. 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.
  68. 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.
  69. 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.
  70. 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.
  71. Katsumi Inoue. Induction as Consequence Finding. Machine Learning, 55(2): 109-135, 2004.
  72. For papers published before 2004, please look at: http://research.nii.ac.jp/~ki/old_publication_e.html

 

[Other publications (since 2004)] 

 
  1. Takehide Soh and Katsumi Inoue. Analyzing Pathways through a Translation into SAT Problems (in Japanese). The 23rd Annual Conference on Japanese Society for Artificial Intelligence (JSAI 2009), Japanese Society for Artificial Intelligence, 2009.
  2. Koichi Furukawa, Ikuo Kobayashi, Katsumi Inoue, and Masaki Suwa. Discovering Knack by Abductive Reasoning (in Japanese). The 23rd Annual Conference on Japanese Society for Artificial Intelligence (JSAI 2009), Japanese Society for Artificial Intelligence, 2009.
  3. Koichi Furukawa, Ikuo Kobayashi, Katsumi Inoue, and Masaki Suwa. Discovering Knack by Abductive Reasoning (in Japanese). JSAI SIG-SKL, Japanese Society for Artificial Intelligence, SKL-03-03 (pp. 11-18), 2009.
  4. Yoshitaka Yamamoto and Katsumi Inoue. Efficient Implementation of CF-Induction and its Application to Reasoning about Biochemical Pathways (in Japanese). JSAI SIG-FPAI-A802, pp.21-26, Japanese Society for Artificial Intelligence, 2008.
  5. Andrei Doncescu, Katsumi Inoue, and Taisuke Sato. Hypothesis-finding in Systems Biology. ALP Newsletter, 21(2-3), 2008.
  6. Katsumi Inoue. Research on Advanced Systems of Efficient Hypothesis Finding. Report of 2005-2007 Grant-in-Aid for Scientific Research (B) No.17300051, 2005.
  7. Katsumi Inoue. Towards Knowledge Discovery in Systems Biology - Understanding Biological Functions by Inference on Biological Networks (in Japanese). Joho Tsushin Journal, 25(11):44-45, 2007.
  8. 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.
  9. Naoyuki Tamura, Akiko Taga, Mutsunori Banbara, Takehide Soh, Hidetomo Nabeshima, and Katsumi Inoue. Solving Shop Scheduling Problems by SAT encoding (in Japanese). Proceedings of the Scheduling Symposium 2007, pp.97-102, The Sceduling Society of Japan, 2007.
  10. Yoshitaka Yamamoto, Oliver Ray, and Katsumi Inoue. On Logical Reconstruction of CF-Induction. Technical Report of IEICE, AI2007-1, pp.1-6, The Institute of Electronics, Information and Communication Engineers, 2007.
  11. Katsumi Inoue, Ken Satoh, and Francesca Toni. CLIMA VII Conference Report. ALP Newsletter, 19(3):3, 2006.
  12. Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue, and Koji Iwanuma. Effective SAT Planning and SAT Scheduling by Lemma Reusing. Technical Report of IEICE, AI2006-4, pp.19-24, The Institute of Electronics, Information and Communication Engineers, 2006.
  13. 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.
  14. Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue. A Prolog to Java Translator System and its Application (in Japanese). The 22nd Annual Conference of Japan Society for Software Science and Technology, 3B-2, 2005.
  15. Katsumi Inoue. Research on Knowledge Discovery based on Consequence Finding. Report of 2002-2004 Grant-in-Aid for Scientific Research (B)(2) No.14380164, 2005.
  16. Takayuki Okamoto and Katsumi Inoue. Distributed Consequence Finding with Message Communication (in Japanese). IPSJ SIG Technical Reports, pp.25-30, Information Processing Society of Japan, 2005.
  17. Yoshitaka Yamamoto and Katsumi Inoue. Consideration on a Generalization Procedure in CF-induction ---Second Report (in Japanese). IPSJ SIG Technical Reports, pp.31-36, Information Processing Society of Japan, 2005.
  18. Eiji Iwauchi and Katsumi Inoue. Real-time Decision-making in Multi-agent Systems which Perform Speculative Computation (in Japanese). IPSJ SIG Technical Reports, pp.61-66, Information Processing Society of Japan, 2005.
  19. Takehide Soh and Katsumi Inoue. Solving Job-shop Scheduling Problems with Multiple SAT Solvers (in Japanese). Technical Report of IEICE, AI2004-4, pp.19-24, The Institute of Electronics, Information and Communication Engineers, 2004.
  20. Toshiko Wakaki and Katsumi Inoue. Computing Circumscriptive Models by Means of Answer Set Programming. Technical Report of IEICE, AI2004-6, pp.27-32, The Institute of Electronics, Information and Communication Engineers, 2004.
  21. Koji Iwanuma, Katsumi Inoue, and Hidetomo Nabeshima. Upside-down Transformation in SOL and its Application. Technical Report of IEICE, AI2004-8, pp.39-44, The Institute of Electronics, Information and Communication Engineers, 2004.
  22. Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue, Takao Kawamura and Hisashi Tamaki. Java Implementation of a Distributed Constraint Solving System (in Japanese). Report for the IPA Exploratory Software Project 2003, 2004.

 

[Speeches and oral presentations (since 2004)] 

 
  1. Katsumi Inoue and Andrei Doncescu.  Automated Hypothesis Finding.  JFLI "Kick-Off" Workshop, Japanese-French Laboratory for Informatics, Tokyo, Japan, May 27th, 2009.
  2. Katsumi Inoue.  Evaluating Abductive Hypotheses using an EM Algorithm on BDDs.  Joint Bioinformatics Education of Kyoto University and University of Tokyo, Bioinformatics Center, Institute for Chemical Research, Kyoto University, April 23rd, 2009.
  3. Andrei Doncescu, Yoshitaka Yamamoto, Katsumi Inoue, and Magali Lacroix-Triki.  Extraction of Logical Relations to Model Some Aspects of Breast Cancer Therapy, The 22nd Meeting of SIG Systems Biology, Japanese Society for Bioinformatics, Cancer Institute, Tokyo, March 11th, 2009.
  4. Katsumi Inoue.  FJ 2nd Year: What has been Achieved?  Presented at: the 2nd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology, Takayama, Japan, 2008.
  5. Katsumi Inoue.  Logical Models of Biological Systems and Artificial Intelligence (in Japanese).  Lecture at Karuizawa Saturday Salon, International Seminar House for Advanced Studies, Karuizawa, Nagano, Japan, September 27th, 2008.
  6. 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.
  7. Chiaki Sakama and Katsumi Inoue. On Equivalence Problems in Abduction and Induction (in Japanese). The 5th Symposium on Knowledge Creation Support Systems, 2008.
  8. Katsumi Inoue. Incorporating Nonmonotonic and Inductive Inference into Logic Programming (in Japanese). Presented at: the 2007 Kazuhiro Fuchi Memorial Colloquium, 2007.
  9. 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.
  10. Katsumi Inoue and Andrei Doncescu. Introduction to the JST-CNRS Strategic International Cooperative Program. Presented at: the 1st Franco-Japanese Symposium on Knowledge Discovery in Systems Biology, Aix-en-Provence, France, 2007.
  11. 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.
  12. 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.
  13. 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.
  14. Katsumi Inoue. A Competitive and Cooperative Approach to SAT. Presented at: International Symposium on Discrete Algorithms and Optimization, Kyoto University, 2004.

 

[Competitive research funds (since 2004)] 

  (1) Grant in aid for scientific research

 
  • 2008 - 2011 Grant-in-Aid for Scientific Research (A) "Inference-based Hypothesis-finding and its Application to Systems Biology" (20240016)
  • 2005 - 2007 Grant-in-Aid for Scientific Research (B) "Research on Advanced Systems of Efficient Hypothesis Finding", No.17300051
  • 2002 - 2004 Grant-in-Aid for Scientific Research (B)(2) "Research on Knowledge Discovery based on Consequence Finding", No.14380164

 

  (2) Public funding

 
  • 2007 - 2009 JST-CNRS Strategic International Cooperative Program (Franco-Japanese), "Knowledge-based Discovery in Systems Biology"