Katsumi Inoue

Last updated: 10/09/02 16:54

Avatar
Name
Katsumi Inoue
Affiliation
National Institute of Informatics
Section
Principles of Informatics Research Division
Job title
Professor
Degree
Doctor of Engineering
 

Research area

 

Prizes


Jun 2009
JSAI Annual Conference Award 2009

2006
SCIS & ISIS  Session Best Presentation Award at SCIS & ISIS 2006

1999
JSAI SIG Research Award 1999

1987
IPSJ Convention Award 1987

Papers


SOLAR: An Automated Deduction System for Consequence Finding
Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, and Oliver Ray
AI Communications   23(2-3) 183-203   Mar 2010   [Refereed]
Evaluating Abductive Hypotheses using an EM Algorithm on BDDs
Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, and Hidetomo Nabeshima
Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)   810-815   Jul 2009   [Refereed]
Integrating Abduction and Induction in Biological Inference using CF-Induction
Yoshitaka Yamamoto, Katsumi Inoue, Andrei Doncescu
Elements of Computational Systems Biology, Wiley Book Series on Bioinformatics   213-234   Feb 2010   [Refereed][Invited]
Foundations of SAT Solvers (in Japanese)
Katsumi Inoue and Naoyuki Tamura
Journal of the Japanese Society for Artificial Intelligence   25(1) 57-67   Jan 2010   [Refereed][Invited]
Editor's Introduction of "Recent Advances in SAT Technologies" (in Japanese)
Katsumi Inoue and Naoyuki Tamura
Journal of the Japanese Society for Artificial Intelligence   25(1) 56-56   Jan 2010   [Invited]
Equivalence Issues in Abduction and Induction
Chiaki Sakama, Katsumi Inoue
Journal of Applied Logic   7(3) 318-328   Sep 2009   [Refereed]
Abductive Reasoning in Cancer Therapy
Yoshitaka Yamamoto, Katsumi Inoue, and Andrei Doncescu
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),    948-953   May 2009   [Refereed]
A Complete Pruning Methods and a Practical Search Strategy for SOL
Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
"Knowledge Exchange: Automated Provers and Proof Assistants" and "The 7th International Workshop on the Implementation of Logics (IWIL 2008)"   (418) 113-122   Nov 2008   [Refereed]
Estimation of Possible Reaction States in Metabolic Pathways using Inductive Logic Programming
Yoshitaka Yamamoto, Katsumi Inoue, Andrei Doncescu
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications (AINA 2008)      Oct 2008   [Refereed]
Reconsideration of Circumscriptive Induction with Pointwise Circumscription
Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima
Journal of Applied Logic   7(3) 307-317   Sep 2009   [Refereed]
Hypothesis Enumeration by CF-induction
Yoshitaka Yamamoto, Katsumi Inoue, and Koji Iwanuma
Proceedings of the 6th International Workshop on Learning with Logics and Logics for Learning (LLLL 2009)   80-87   Jul 2009   [Refereed]
Kinetic Models for Logic-Based Hypothesis Finding in Metabolic Pathways
Gabriel Synnaeve, Andrei Doncescu, and Katsumi Inoue
The 19th International Conference on Inductive Logic Programming (ILP 2009)      Jul 2009   [Refereed]
Abducing Rules with Predicate Invention
Katsumi Inoue, Koichi Furukawa, and Ikuo Kobayashi
The 19th International Conference on Inductive Logic Programming (ILP 2009)      Jul 2009   [Refereed]
Contraint-based Probabilistic Modeling for Statistical Abduction
Taisuke Sato, Masakazu Ishihata, and Katsumi Inoue
The 19th International Conference on Inductive Logic Programming (ILP 2009)      Jul 2009   [Refereed]
Toward an Efficient Equality Computation in Connection Tableaux: A Modification Method without Symmetry Transformation
Koji Iwanuma, Hidetomo Nabeshima, and Katsumi Inoue
Proceedings of the 7th International Workshop on First-Order Theorem Proving (FTP '09), CEUR Workshop Proceedings (CEUR-WS.org)   556 19-33   Jul 2009   [Refereed]
Towards a Model of Collective Knowledge Discovery
Gauvain Bourgne and Katsumi Inoue
Proceedings of the IJCAI-09 Workshop on Abductive and Inductive Knowledge Development (AIAI '09)   7-13   Jul 2009   [Refereed]
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem
Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, and Hidetomo Nabeshima
Journal of Algorithms in Cognition, Informatics and Logic      2009   [Refereed]
to appear
Brave Induction: A Logical Framework for Learning from Incomplete Information
Chiaki Sakama and Katsumi Inoue
Machine Learning   76(1) 3-35   Jul 2009   [Refereed]
Grammatical Concept Representation for Randomised Optimisation Algorithms in Relational Learning
Petr Buryan, Jiří Kubalík, and Katsumi Inoue
Proceedings of the 9th International Conference on Intelligent Systems Design and Applications (ISDA‘09)   1450-1455   Dec 2009   [Refereed]
An Efficient Hypothesis-finding System Implemented with Deduction and Dualization
oshitaka Yamamoto, Katsumi Inoue
Sibylle Schwarz (ed.), Proceedings of the 22nd Workshop on (Constraint) Logic Programming (WLP 2008)   92-103   Aug 2008   [Refereed]
Comparing Abductive Theories
Katsumi Inoue, Chiaki Sakama
The 18th European Conference on Artificial Intelligence (ECAI 2008)   33-39   Jul 2008   [Refereed]
Coordination in Answer Set Programming
Chiaki Sakama, Katsumi Inoue
ACM Transactions on Computational Logic   9(2)    Apr 2008   [Refereed]
Brave Induction(共著)
Chiaki Sakama, Katsumi Inoue
Filip Zelezny and Nada Lavrac (eds.), Inductive Logic Programming: Proceedings of the 18th International Conference (ILP 2008)   (5194) 261-278   Apr 2008   [Refereed]
Hypothesis-finding in Systems Biology
Andrei Doncescu, Katsumi Inoue
ALP Newsletter   (21) 2-3   Apr 2008   [Invited]
Mode-directed Inverse Entailment for Full Clausal Theories (共著)
Oliver Ray, Katsumi Inoue
Proceedings of the 17th International Conference on Inductive Logic Programming (ILP 2007), Lecture Notes in Artificial Intelligence   4894 225-238   Feb 2008   [Refereed]
Towards a Logical Reconstruction of CF-Induction (共著)
Yoshitaka Yamamoto, Oliver Ray, Katsumi Inoue
New Frontiers in Artificial Intelligence: JSAI 2007 Conference and Workshop Revised Selected Papers, Lecture Notes in Artificial Intelligence   4914 330-343   Feb 2008   [Refereed]
Analysis of New Aggregation Operators: Mean 3Π (共著)
Andrei Doncescu, Sebastien Regis, Katsumi Inoue, Richard Emilion
Journal of Advanced Computational Intelligence and Intelligent Informatics   11(6) 561-569   Oct 2007   [Refereed][Invited]
Mode-directed Inverse Entailment for Full Clausal Theories (共著)
Oliver Ray, Katsumi Inoue
Hendrik Blockeel, Jude Shavlik, and Prasad Tadepalli (eds.), Inductive Logic Programming: Revised and Selected Papers from the 17th International Conference (ILP 2007)      Oct 2007   [Refereed]
A Consequence Finding Approach for Full Clausal Abduction (共著)
Oliver Ray, Katsumi Inoue
Vincent Corruble, Masayuki Takeda, and Einoshin Suzuki (eds.), Discovery Science: Proceedings of the 10th International Conference (DS 2007), Lecture Notes in Artificial Intelligence   4755 173-184   Sep 2007   [Refereed]
Generality and Equivalence Relations in Default Logic (共著)
Katsumi Inoue, Chiaki Sakama
Proceedings of the 22nd Conference on Artificial Intelligence (AAAI-07)   434-439   Jul 2007   [Refereed]
Knowledge-based Discovery in Systems Biology using CF-Induction (共著)
Andrei Doncescu, Yoshitaka Yamamoto, Katsumi Inoue
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   4570 395-404   Jul 2007   [Refereed]
Constructing Consensus Logic Programs (共著)
Chiaki Sakama, Katsumi Inoue
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   4407 26-42   May 2007   [Refereed]
Negotiation by Abduction and Relaxation (共著)
Chiaki Sakama, Katsumi Inoue
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007)   1018-1025   May 2007   [Refereed]
Biological Systems Analysis Using Inductive Logic Programming (共著)
Andrei Doncescu, Yoshitaka Yamamoto, Katsumi Inoue
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007)   1 690-695   Apr 2007   [Refereed]
A competitive and cooperative approach to propositional satisfiability (共著)
Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, Naoyuki Tamura
Discrete Applied Mathematics    154(16) 2291-2306   Nov 2006   [Refereed]
Abductive Equivalence in First-order Logic (共著)
Katsumi Inoue, Chiaki Sakama
Logic Journal of the IGPL   14(2) 333-346   Oct 2006   [Refereed]
On Abductive Equivalence (共著)
Katsumi Inoue, Chiaki Sakama
Lorenzo Magnani (ed.), Model-Based Reasoning in Science and Engineering: Cognitive Science, Epistemology, Logic. Studies in Logic   2 333-352   Oct 2006   [Refereed]
Prolog Cafe: A Prolog to Java Translator System (共著)
Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
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   4369 1-11   Oct 2006   [Refereed]
A Web Architecture for Data Mining in Biology (共著)
Andrei Doncescu, Muhammad Farmer, Katsumi Inoue, Gilles Richard
Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006)   2 607-612   Oct 2006   [Refereed]
Lemma Reusing for SAT based Planning and Scheduling (共著)
Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue, Koji Iwanuma
Proceedings of the the International Conference on Automated Planning and Scheduling 2006 (ICAPS'06)   103-112   Oct 2006   [Refereed]
Complexity Analysis of Abductive Action Theory (共著)
Hiroaki Watanabe, Katsumi Inoue, Stephen Muggleton
Muggleton and Ramon Otero (eds.), Proceedings of the 16th International Conference on Inductive Logic Programming (ILP 2006)   219-221   Oct 2006   [Refereed]
CF-Induction Applied to Metabolic Flux Analysis (共著)
Andrei Doncescu, Katsumi Inoue, Gilles Richard
Stephen Muggleton and Ramon Otero (eds.), Proceedings of the 16th International Conference on Inductive Logic Programming (ILP 2006)   61-64   Oct 2006   [Refereed]
Automated Abduction and Computer Forensics (共著)
Andrei Doncescu, Katsumi Inoue
Laurence T. Yang et al. (eds.), Autonomic and Trusted Computing: Proceedings of the 3rd International Conference (ATC-06), Lecture Notes in Computer Science   4158 493-499   Oct 2006   [Refereed]
Improvement of Yager's Triple Π Operator (共著)
Andrei Doncescu, Sebastien Regis, Katsumi Inoue
Proceedings of the Joint 3rd International Conference on Soft Computing and Intelligent Systems and 7th International Symposium on advanced Intelligent Systems (SCIS & ISIS 2006)   1079-1083   Oct 2006   [Refereed]
Generality Relations in Answer Set Programming (共著)
Katsumi Inoue, Chiaki Sakama
Sandro Etalle and Miros?aw Truszczy?ski (eds.), Logics Programming: Proceedings of the 22nd International Conference (ICLP 2006), Lecture Notes in Computer Science   4079 211-225   Aug 2006   [Refereed]
Combining Answer Sets of Nonmonotonic Logic Programs (共著)
Chiaki Sakama, Katsumi Inoue
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   3900 320-339   Apr 2006   [Refereed]
Consequence Finding and Computing Answers with Defaults
Katsumi Inoue, Koji Iwanuma, and Hidetomo Nabeshima
Journal of Intelligent Information Systems   26 41-58   Jan 2006   [Refereed]
Experimental Results for Solving Job-shop Scheduling Problems with Multiple SAT Solvers
Takehide Soh, Katsumi Inoue, Mutsunori Banbara, and Naoyuki Tamura
Proceedings of the 1st International Workshop on Distributed and Speculative Constraint Processing (DSCP'05)   25-38   Oct 2005   [Refereed]
Upside-down Transformation in SOL/Connection Tableaux and its Application
Koji Iwanuma, Katsumi Inoue, and Hidetomo Nabeshima
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   166-179   Oct 2005   [Refereed]
Inducing Causal Laws by Regular Inference
Katsumi Inoue, Hideyuki Bando, and Hidetomo Nabeshima
Stefan Kramer and Bernhard Pfahringer (eds.), Inductive Logic Programming: Proceedings of the15th International Conference (ILP 2005), Lecture Notes in Artificial Intelligence, Vol. 3625   154-171   Aug 2005   [Refereed]
Inductive Equivalence of Logic Programs
Chiaki Sakama and Katsumi Inoue
Stefan Kramer and Bernhard Pfahringer (eds.), Inductive Logic Programming: Proceedings of the15th International Conference (ILP 2005), Lecture Notes in Artificial Intelligence, Vol. 3625   312-329   Aug 2005   [Refereed]
Equivalence in Abductive Logic
Katsumi Inoue and Chiaki Sakama
Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05)   472-477   Aug 2005   [Refereed]
Coordination between Logical Agents
Chiaki Sakama, Katsumi Inoue
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   161-177   Aug 2005   [Refereed]
A Web-based Architecture for Inductive Logic Programming in Biology
Andrei Doncescu, Katsumi Inoue, Muhammad Farmer, and Gilles Richard
Proceedings of the 7th International Conference on Enterprise Information System (ICEIS2005)   2 357-361   May 2005   [Refereed]
Foundations of SAT Solvers (in Japanese)
Katsumi Inoue and Naoyuki Tamura
Special Issue: "Recent Advances in SAT Technologies", Journal of the Japanese Society for Artificial Intelligence   25(1) 57-67   2010   [Refereed]
Abduction and Induction (in Japanese)
Katsumi Inoue
Special Issue: "Current Trends in Logic-based Inference Techniques", Journal of the Japanese Society for Artificial Intelligence   25(3)    2010   [Refereed]
to appear

Biblio


Computational Logic in Multi-Agent Systems : Revised Selected and Invited Papers from the 7th International Workshop (CLIMA-VI) (共著)
Katsumi Inoue, Ken Satoh, Francesca Toni
Springer   Mar 2007   ISBN:9783540696186
Proceedings of the the 7th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VII) (共著)
Katsumi Inoue, Ken Satoh, Francesca Toni
Future University-Hakodate, Japan   May 2006   

Conference


A SAT-based Method for Analyzing Metabolic Pathways
Takehide Soh and Katsumi Inoue
Systems Biochemistry 2010   Mar 2010   Biochemical Society
Inference-based Hypothesis-finding for Systems Biology [Invited]
Katsumi Inoue
French-Japanese Workshop in the field of Information and Communication Science and Technologies   Nov 2009   
Inferring Rules and Facts by Meta-level Abduction on SOLAR [Invited]
Katsumi Inoue and Hidetomo Nabeshima
Meeting on Knowledge Discovery, Machine Learning and their Distribution in Multi Agent Systems   Oct 2009   LIP6
Research on Consequence Finding [Invited]
Katsumi Inoue
Meeting on Hypothesis Finding and its Applications   Sep 2009   LRI
Inferring Rules and Facts by Meta-level Abduction on SOLAR [Invited]
Katsumi Inoue and Hidetomo Nabeshima
The 3rd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ '09)    Sep 2009   
Analyzing Pathways through a Translation into SAT Problems (in Japanese)
Takehide Soh and Katsumi Inoue
The 23rd Annual Conference on Japanese Society for Artificial Intelligence (JSAI 2009)   Jun 2009   Japanese Society for Artificial Intelligence
Discovering Knack by Abductive Reasoning (in Japanese)
Koichi Furukawa, Ikuo Kobayashi, Katsumi Inoue, and Masaki Suwa
The 23rd Annual Conference on Japanese Society for Artificial Intelligence (JSAI 2009)   Jun 2009   Japanese Society for Artificial Intelligence
Automated Hypothesis Finding [Invited]
Katsumi Inoue and Andrei Doncescu
JFLI "Kick-Off" Workshop   May 2009   Japanese-French Laboratory for Informatics
Evaluating Abductive Hypotheses using an EM Algorithm on BDDs [Invited]
Katsumi Inoue
Joint Bioinformatics Education of Kyoto University and University of Tokyo   Apr 2009   Bioinformatics Center, Institute for Chemical Research, Kyoto University
Extraction of Logical Relations to Model Some Aspects of Breast Cancer Therapy
Andrei Doncescu, Yoshitaka Yamamoto, Katsumi Inoue, and Magali Lacroix-Triki
The 22nd Meeting of SIG Systems Biology   Mar 2009   Japanese Society for Bioinformatics