Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09) Jul 2009 [Refereed]
to appear
Integrating Abduction and Induction in Biological Inference using CF-Induction（共著）
Yoshitaka Yamamoto, Katsumi Inoue, Andrei Doncescu
Huma Lodhi and Stephen Muggleton (eds.), Elements of Computational Systems Biology, Wiley Book Series on Bioinformatics Mar 2009 [Refereed][Invited]
Equivalence Issues in Abduction and Induction（共著）
Chiaki Sakama, Katsumi Inoue
Journal of Applied Logic Mar 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]
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]
Following
