In this paper, we study an upside-down transformation of a branch in SOL/Connection tableaux and show that SOL/Connection tableaux using the folding-up operation can always accomplish a size-preserving transformation for any branch in any tableau. This fact solves the size-growing problem caused by the order-preserving reduction and by an incremental answer computation problem.
Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09) 2009年7月 [査読有り]
to appear
Equivalence Issues in Abduction and Induction(共著)
Chiaki Sakama, Katsumi Inoue
Journal of Applied Logic 2009年3月 [査読有り]
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 2009年3月 [査読有り][招待論文]
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 2008年11月 [査読有り]
The 18th European Conference on Artificial Intelligence (ECAI 2008) 33-39 2008年7月 [査読有り]
Hypothesis-finding in Systems Biology
Andrei Doncescu, Katsumi Inoue
ALP Newsletter (21) 2-3 2008年4月 [招待論文]
論理プログラミングから解集合プログラミングへ(共著)
井上 克巳,坂間 千秋
コンピュータソフトウェア 25(3) 20-32 2008年4月 [査読有り][招待論文]
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 2008年4月 [査読有り]
Coordination in Answer Set Programming
Chiaki Sakama, Katsumi Inoue
ACM Transactions on Computational Logic 9(2) 2008年4月 [査読有り]
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 2008年2月 [査読有り]
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 2008年2月 [査読有り]
Inferring Inhibition and Pathway Rules using CF-induction (共著)
Yoshitaka Yamamoto, Katsumi Inoue, Andrei Doncescu
the 6th Asia Pacific Bioinformatics Conference (APBC 2008), Kyoto, Japan 2008年1月 [査読有り]
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) 2007年10月 [査読有り]
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 2007年10月 [査読有り][招待論文]
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 2007年9月 [査読有り]
Reconsideration of Circumscriptive Induction with Pointwise Circumscription (共著)
Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima
Proceedings of the 2007 Interanational Workshop on Abduction and Induction in Artificial Intelligence and Bioinformatics (AIAI '07) 50-64 2007年9月 [査読有り]
Equivalence Issues in Abduction and Induction (共著)
Chiaki Sakama, Katsumi Inoue
Proceedings of the 2007 International Workshop on Abduction and Induction in Artificial Intelligence and Bioinformatics (AIAI '07) 50-64 2007年9月 [査読有り]
Prolog から Java へのトランスレータ処理系とその応用(共著)
番原 睦則,田村 直之,井上 克巳
コンピュータソフトウェア 24(3) 75-86 2007年7月 [査読有り]
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 2007年7月 [査読有り]
Generality and Equivalence Relations in Default Logic (共著)
Katsumi Inoue, Chiaki Sakama
Proceedings of the 22nd Conference on Artificial Intelligence (AAAI-07) 434-439 2007年7月 [査読有り]
Towards a Logical Reconstruction of CF-Induction (共著)
Yoshitaka Yamamoto, Oliver Ray, Katsumi Inoue
Proceedings of the 4th International Workshop on Learning with Logics and Logics for Learning (LLLL 2007) 18-24 2007年7月 [査読有り]
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 2007年5月 [査読有り]
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 2007年5月 [査読有り]
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 2007年4月 [査読有り]
A competitive and cooperative approach to propositional satisfiability (共著)
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 2006年10月 [査読有り]
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 2006年10月 [査読有り]
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 2006年10月 [査読有り]
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 2006年10月 [査読有り]
Constructing Consensus Logic Programs (共著)
Chiaki Sakama, Katsumi Inoue
Proceedings of the 16th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'06) 2006年10月 [査読有り]
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 2006年10月 [査読有り]
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 2006年10月 [査読有り]
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 2006年10月 [査読有り]
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 2006年10月 [査読有り]
Abductive Equivalence in First-order Logic (共著)
Katsumi Inoue, Chiaki Sakama
Logic Journal of the IGPL 14(2) 333-346 2006年10月 [査読有り]
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 2006年8月 [査読有り]
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 2006年4月 [査読有り]
Consequence Finding and Computing Answers with Defaults
Katsumi Inoue, Koji Iwanuma, and Hidetomo Nabeshima
Journal of Intelligent Information Systems 26 41-58 2006年1月 [査読有り]
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 2005年10月 [査読有り]
Prolog Cafe: A Prolog to Java Translator System
Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
Proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2005) 45-54 2005年10月 [査読有り]
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 2005年10月 [査読有り]
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 2005年8月 [査読有り]
Equivalence in Abductive Logic
Katsumi Inoue and Chiaki Sakama
Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05) 472-477 2005年8月 [査読有り]
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 2005年8月 [査読有り]
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 2005年8月 [査読有り]
Combining Answer Sets of Nonmonotonic Logic Programs
Chiaki Sakama and Katsumi Inoue
Alessandro Provetti and Marina De Vos (eds.), Proceedings of the International Workshop on Answer Set Programming (ASP'05) 42-56 2005年7月 [査読有り]
Combining Answer Sets of Nonmonotonic Logic Programs
Chiaki Sakama and Katsumi Inoue
Francesca Toni and Paolo Torroni (eds.), Proceedings of the 6th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VI) 104-118 2005年6月 [査読有り]
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 2005年5月 [査読有り]
A Web-based Architecture for ILP: Security Issues
Andrei Doncescu, Katsumi Inoue, Muhammad Farmer, and Gilles Richard
Proceedings of the 1st International Conference on Global E-Security (ICGeS2005) 132-138 2005年4月 [査読有り]