In: Petre Dini and Pascal Lorenz (eds.), Proceedings of the 4th International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO 2012) 11-19 2012 [Refereed]
Enumerating Minimal Active Metabolic Pathways by Model Generation (in Japanese)
Takehide Soh and Katsumi Inoue
Journal of the Japanese Society for Artificial Intelligence 27(3) 204-212 2012 [Refereed]
Inverse Subsumption for Complete Explanatory Induction
Yoshitaka Yamamoto, Katsumi Inoue, and Koji Iwanuma
Machine Learning 86(1) 115-139 2012 [Refereed]
ILP Turns 20: Biography and Future Challenges
Stephen Muggleton, Luc De Raedt, David Poole, Ivan Bratko, Peter Flach, Katsumi Inoue, and Ashwin Srinivasan
Machine Learning 86(1) 3-23 2012 [Refereed]
Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction
Katsumi Inoue, Chiaki Sakama, and Lena Wiese
The 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) CoRR arXiv:1108.5825 Sep 2011 [Refereed]
Application of Meta-level Abduction for the Treatment of Hypertension using SOLAR
Grégoire Lejay, Katsumi Inoue, and Andrei Donscecu
Proceedings of the 2011 IEEE International Workshop on Bioinformatics and Life Science Modeling and Computing (BLSMC 2011), at The 25th International Conference on Advanced Information Networking and Applications (AINA 2011) to appear Mar 2011 [Refereed]
Complete Distributed Consequence Finding with Message Passing
Katsumi Inoue, Gauvain Bourgne, and Takayuki Okamoto
Proceedings of the 3rd International Conference on Agents and Artificial Intelligence (ICAART 2011) 134-143 Jan 2011 [Refereed]
Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology
Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, and Taisuke Sato
Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2011) to appear Jan 2011 [Refereed]
DNF Hypotheses in Bottom-Directed ILP
Katsumi Inoue
The 21st International Conference on Inductive Logic Programming (ILP 2011) 2011 [Refereed]
Comparison of Upward and Downward Generalization in CF-Induction
Yoshitaka Yamamoto, Katsumi Inoue and Koji Iwanuma
The 21st International Conference on Inductive Logic Programming (ILP 2011) 2011 [Refereed]
Model of Double Strand Break of DNA in Logic-Based Hypothesis Finding
Barthélémy Dworkin, Andrei Doncescu, Jean-Charles Faye, and Katsumi Inoue
The 21st International Conference on Inductive Logic Programming (ILP 2011) 2011 [Refereed]
Partition-Based Consequence Finding
Gauvain Bourgne and Katsumi Inoue
Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011) 641-648 2011 [Refereed]
Answer-Set Programming as a New Approach to Event-Sequence Testing
Esra Erdem, Katsumi Inoue, Johannes Oetsch, Jorg Puhrer, Hans Tompits, and Cemal Yilmaz
In: Teemu Kanstrén (ed.), Proceedings of the 3rd International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011) 25-34 2011 [Refereed]
Generalizing Conjunctive Queries for Informative Answers
Katsumi Inoue and Lena Wiese
In: Henning Christiansen, Guy De Tré, Adnan Yazici, and Sławomir Zadrożny (eds.), Flexible Query Answering Systems: Proceedings of the 9th International Conference (FQAS 2011), Lecture Notes in Artificial Intelligence 7022 1-12 2011 [Refereed]
Logic Programming for Boolean Networks
Katsumi Inoue
Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11) 924-930 2011 [Refereed]
First-Order Equational Reasoning: Theory and Practice (in Japanese)
Koji Iwanuma, Hidetomo Nabeshima, and Katsumi Inoue
Computer Software 28(4) 282-305 2011 [Refereed]
Probabilistic Rule Learning in Nonmonotonic Domains
Domenico Corapi, Daniel Sykes, Katsumi Inoue, and Alessandra Russo
In: João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, and Leon van der Torre (eds.), Computational Logic in Multi-Agent Systems: Proceedings of the 12th International Workshop (CLIMA-XII), Lecture Notes in Artificial Intelligence 6814 243-258 2011 [Refereed]
Distributed Consequence Finding: Partition-Based and Cooperative Approaches
Katsumi Inoue, Gauvain Bourgne, and Takayuki Okamoto
In: Joaquim Filipe and Ana Fred (eds.), Agents and Artificial Intelligence: Revised Selected Papers from the 3rd International Conference (ICAART 2011), Communications in Computer and Information Science to appear 2011 [Refereed]
Discretized Kinetic Models for Abductive Reasoning in Systems Biology
Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, and Taisuke Sato
In: Ana Fred, Joaquim Filipe, and Hugo Gamboa (eds.), Biomedical Engineering Systems and Technologies: Revised Selected Papers from the 4th International Joint Conference (BIOSTEC 2011), Communications in Computer and Information Science to appear 2011 [Refereed]
Analyzing Pathways Using ASP-Based Approaches
Oliver Ray, Takehide Soh, and Katsumi Inoue
In: Katsuhisa Horimoto, Masahiko Nakatsui, and Nikolaj Popov (eds.), Algebraic and Numeric Biology: Proceedings of the 2010 International Conference (ANB'10), Lecture Notes in Computer Science 6479 167-183 2011 [Refereed]
Towards Efficient Multi-Agent Abduction Protocols
Gauvain Bourgne, Katsumi Inoue, and Nicolas Maudet
In: Mehdi Dastani, Amal El Fallah-Seghrouchni, Jomi Hubner, and João Leite (eds.), Languages, Methodologies, and Development Tools for Multi-Agent Systems, Revised Selected Papers from the 3rd International Workshop (LADS 2010), Lecture Notes in Artificia 6822 19-38 2011 [Refereed]
Query-driven Coordination of Multiple Answer Sets
Gauvain Bourgne and Katsumi Inoue
In: Andrea Omicini, Sebastian Sardina, and Wamberto Vasconcelos (eds.), Declarative Agent Languages and Technologies VIII: Revised, Selected, and Invited Papers from the 8th International Workshop (DALT 2010), Lecture Notes in Artificial Intelligence 6619 40-59 2011 [Refereed]
Exploring Relations between Answer Set Programs
Katsumi Inoue and Chiaki Sakama
In: Marcello Balduccini and Tran Cao Son (eds.), Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday, Lecture Notes in Artificial Intelligence 6565 91-110 2011 [Refereed]
Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-Level Abduction
Katsumi Inoue, Andrei Doncescu, and Hidetomo Nabeshima
In: Paolo Frasconi and Francesca A. Lisi (eds.), Inductive Logic Programming: Revised Papers from the 20th International Conference (ILP '10), Lecture Notes in Artificial Intelligence 6489 114-129 2011 [Refereed]
Constraint-Based Probabilistic Modeling for Statistical Abduction
Taisuke Sato, Masakazu Ishihata, and Katsumi Inoue
Machine Learning 83(2) 241-264 2011 [Refereed]
Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming
Chiaki Sakama and Katsumi Inoue
Machine Learning 83(1) 1-29 2011 [Refereed]
Constraint-based Probabilistic Modeling for Statistical Abduction
Taisuke Sato, Masakazu Ishihata, and Katsumi Inoue
Machine Learning (Online First available, 2010) to appear 2011 [Refereed]
Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming
Chiaki Sakama and Katsumi Inoue
Machine Learning (Online First available) to appear 2011 [Refereed]
Exploring Relations between Answer Set Programs
Katsumi Inoue and Chiaki Sakama
Proceedings of the Symposium on Constructive Mathematics in Computer Science 72-91 Nov 2010 [Refereed]
A Bayesian Hybrid Approach to Unsupervised Time Series Discretization
Yoshitaka Kameya, Gabriel Synnaeve, Andrei Doncescu, Katsumi Inoue, and Taisuke Sato
Proceedings of the 15th Conference on Technologies and Applications of Artificial Intelligence (TAAI 2010) 342-349 Nov 2010 [Refereed]
Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers
Mutsunori Banbara, Haruki Matsunaka, Naoyuki Tamura, and Katsumi Inoue
Christian Fermüller and Andrei Voronkov (eds.), Proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17), Lecture Notes in Artificial Intelligence 6397 112-126 Oct 2010 [Refereed]
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem
Fundamenta Informaticae 102(3,4) 467-487 Nov 2010 [Refereed]
Towards Efficient Multi-agent Abduction Protocols
Gauvain Bourgne, Katsumi Inoue, and Nicolas Maudet
Proceedings of the 3rd International Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS 2010), in: Olivier Boissier, Amal El Fallah Seghrouchni, Salima Hassas, and Nicolas Maudet (eds.), Proceedings of the Multi-Agent 627 34-40 Aug 2010 [Refereed]
Abduction of Distributed Theories through Local Interactions
Gauvain Bourgne, Katsumi Inoue, and Nicolas Maudet
Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010) 901-906 Aug 2010 [Refereed]
Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation
Takehide Soh and Katsumi Inoue
The 6th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2010), in: Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010) 277-282 Aug 2010 [Refereed]
Finding Minimal Reaction Sets in Large Metabolic Pathways
Takehide Soh and Katsumi Inoue
Proceedings of the 6th Workshop on Constraint Based Methods for Bioinformatics (WCB 2010), 54-68 Jul 2010 [Refereed]
Hypothesizing about Networks by Meta-level Abduction
Katsumi Inoue, Andrei Doncescu, and Hidetomo Nabeshima
The 20th International Conference on Inductive Logic Programming (ILP 2010) Jun 2010 [Refereed]
From Inverse Entailment to Inverse Subsumption
Yoshitaka Yamamoto, Katsumi Inoue and Koji Iwanuma
The 20th International Conference on Inductive Logic Programming (ILP 2010) Jun 2010 [Refereed]
Discovering Rules by Meta-level Abduction
Katsumi Inoue, Koichi Furukawa, Ikuo Kobayashi, and Hidetomo Nabeshima
Luc De Raedt (ed.), Inductive Logic Programming: Revised Papers from the 19th International Conference (ILP'09), Lecture Notes in Artificial Intelligence 5989 49-64 Jul 2010 [Refereed]
Query-driven Coordination of Multiple Answer Sets
Gauvain Bourgne and Katsumi Inoue
Proceedings of the AAMAS 2010 Workshop on Declarative Agent Languages and Technologies (DALT 2010) 50-65 May 2010 [Refereed]
Abduction and Induction (in Japanese). Survey paper
Katsumi Inoue
Journal of the Japanese Society for Artificial Intelligence 25(3) 389-399 May 2010 [Refereed]
Answer Set Programming (in Japanese). Survey paper
Chiaki Sakama and Katsumi Inoue
Journal of the Japanese Society for Artificial Intelligence 25(3) 368-378 May 2010 [Refereed]
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]
Integrating Abduction and Induction in Biological Inference using CF-Induction
Yoshitaka Yamamoto, Katsumi Inoue, and Andrei Doncescu
Huma Lodhi and Stephen Muggleton (eds.),Elements of Computational Systems Biology, Chapter 9, Wiley Book Series on Bioinformatics 213-234 Feb 2010 [Refereed]
Foundations of SAT Solvers (in Japanese). Survey paper
Katsumi Inoue and Naoyuki Tamura
Journal of the Japanese Society for Artificial Intelligence 25(1) 57-67 Jan 2010 [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
Brave Induction: A Logical Framework for Learning from Incomplete Information
Chiaki Sakama and Katsumi Inoue
Machine Learning 76(1) 3-35 Jul 2009 [Refereed]
Evaluating Abductive Hypotheses using an EM Algorithm on BDDs
Research on Advanced Systems of Efficient Hypothesis Finding
Katsumi Inoue
Report of 2005-2007 Grant-in-Aid for Scientific Research (B) No.17300051 2008
Computational Logic in Multi-Agent Systems: Revised Selected and Invited Papers from the 7th International Workshop (CLIMA-VII). Lecture Notes in Artificial Intelligence
Katsumi Inoue, Ken Satoh, Francesca Toni
Springer 2007
Proceedings of the the 7th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VII)
Katsumi Inoue, Ken Satoh, and Francesca Toni
AAMAS-06 Workshop WS-10 2006
Research on Knowledge Discovery based on Consequence Finding
Katsumi Inoue
Report of 2002-2004 Grant-in-Aid for Scientific Research (B)(2) No.14380164 2005
Java Implementation of a Distributed Constraint Solving System (in Japanese)
