Katsumi Inoue

Last updated: 09/06/30 16:39

Avatar
Name
Katsumi Inoue
URL
http://research.nii.ac.jp/il/
Affiliation
National Institute of Informatics
Section
Principles of Informatics Research Division
Job title
Professor
Degree
Doctor of Engineering
 

Research area

 

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   

Papers

 

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)      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]
Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima
Journal of Applied Logic      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 (共著)
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]