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
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 （共著）
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]
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
