Proceedings of the 1st Workshop on Systems Resilience (WSR2013),in:Proceedings of the 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Jun 2013 [Refereed]
Applying Robustness Analysis of Dynamic Models to the Problem of Systems Resilience
Hei Chan and Katsumi Inoue
Proceedings of the th Symposium on Resilience Enjineering, to be presented as a poster Jun 2013 [Refereed]
Learning Revised Models for Planning in Adaptive Systems
Daniel Sykes, Domenico Corapi, Jeff Magee, Jeff Kramer, Alessandra Russo, and Katsumi Inoue
In: Proceedings of the 35th International conference on Software Engineering (ICSE 2013), San Francisco, California, USA May 2013 [Refereed]
Systems Resilience: A Challenge Problem for Dynamic Constraint-Based Agent Systems
Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Hei Chan, Tony Ribeiro, Kazuhiro Minami, and Hiroshi Maruyama
In: Takayuki Ito, Catholijn Jonker, Maria Gini, and Onn Shehory(eds.), Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013) , Saint Paul, MN, USA. Awarded "Best Challenges and Visions Papers Nominee" 785-788 May 2013 [Refereed]
Pseudo-Tree Based Hybrid algorithm for distributed Constraint Optimization
Tenda Okimoto, Yuko Sakurai Makoto Yokoo, and Katsumi Inoue
Open Peer-Review Sorkshop on Decentralized Coordination 2013(WDC2013), Melbourne, Florida, USA Apr 2013 [Refereed]
Heuristic Inverse Subsumption in Full-Clausal Theories
Yoshitaka Yamamoto, Katsumi Inoue and Koji Iwanuma
In: Fablizio Riguzzi and Filip Zelezny Inductive Logic Programming: Revised Selected Papers from the 22nd International Conference (ILP 2012), Lecture Notes in Artificial Intelligence 7842 241-256 2013 [Refereed]
Non-Monotone Dualization via Monotone Dualization
Yoshitaka Yamamoto, Koji Iwanuma, and Katsumi Inoue
The 22nd International Conference on Inductive Logic Programming, (ILP 2012), Dubrovnik, Croatia Sep 2012 [Refereed]
MicroRNA Analysis by Hypothesis Finding Techniques
Andrei Doncescu and Katsumi Inoue
The 22nd International Conference on Inductive Logic Programming, (ILP 2012), Dubrovnik, Croatia Sep 2012 [Refereed]
Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users
Katsumi Inoue, Chiaki Sakama, and Lena Wiese
In: Selected Papers from the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and the 25th Workshop on Logic Programming (WLP 2011), Lecture Notes in Artificial Intelligence 2013 [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 271 429-444 2013
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 Enjineering Systems and Technologies: Revised Selected Papers from the 4th International Joint Conference (BIOSTEC 2011), Communications in Computer and Information Science, Springer 273 141-154 2013 [Refereed]
Event-Sequence Testing Using Answer-Set Programming
Martin Brain, Esra Erdem,Katsumi Inoue, Johannes Oetsch, Jorg Puhrer Hans Tompits, and Cemal Yilmaz
International Journal on Advances in Software 5((3&4)) 236-250 2012 [Refereed]
Evaluation of the Prediction of Gene Knockout Effects by Minimal Pathway Enumeration
International Journal on Advances in Life Sciences 4((3&4)) 154-165 2012 [Refereed]
Minimal Generalization for Conjunctive Queries
Thu-Le Pham and Katsumi Inoue
In: Multi-Disciplinary Trends in Artificial Intelligence: Proceedings of the 6th International Workshop (MIWAI 2012), Lecture Notes in Artificial Intelligence 7649 246-257 2012 [Refereed]
Modular Reasoning in Multi-Agent Systems Using Meta-Knowledge and Answer Set Programming
Tony Ribeiro, Katsumi Inoue, and Gauvain Bourgne
International Joint Agent Workshop and Symposium (IJAWS 2012), Kakegawa, Japan Oct 2012 [Refereed]
Formalizing the Resilience of Dynamic Open Systems
Kazuhiro Minami, Tenda Okimoto, Tomoya Tanjo, Nicolas Schwind, Hei Chan, Katsumi Inoue, and Hiroshi Maruyama
Oct 2012 [Refereed]
DNF Hypotheses in Bottom-Directed ILP
Katsumi Inoue
In: Stephen Muggleton, Alireza Tamaddoni-Nezhad and Francesca A. Lisi (eds.): Inductive Logic Programming: Revised Selected Papers from the 21st International Conference (ILP 2011), Lecture Notes in Artificial Intelligence 7207 173-188 2012 [Refereed]
Learning from Interpretation Transition
Katsumi Inoue and Chiaki Sakama
The 22nd International Conference on Inductive Logic Programming, (ILP 2012), Dubrovnik, Croatia Sep 2012 [Refereed]
Abduction, Unpredictability and Garden of Eden
Chiaki Sakama and Katsumi Inoue
Model-Based Reasoning in Science and Technology (MBR 2012), Sestri Levante, Italy Jun 2012 [Refereed]
Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix
Mutsunori Banbara, Naoyuki Tamura, and Katsumi Inoue
In: Agostino Dovier, Vítor Santos Costa (eds.): Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012) 86-97 2012 [Refereed]
Using Conceptual Inductive Learning for Cooperative Query Answering
Maheen Bakhtyar, Lena Wiese, Katsumi Inoue, and Nam Dang
The 36th Annual Conference of the German Classification Society on Data Analysis, Machine Learning and Knowledge Discovery (GfKI 2012) Aug 2012 [Refereed]
Oscillating Behavior of Logic Programs
Katsumi Inoue and Chiaki Sakama.
In: Erdem, E., Lee, J., Lierler, Y., Pearce, D. (eds.), Correct Reasoning—Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Lecture Notes in Artificial Intelligence 7265 345-362 2012 [Refereed]
Concretizing the Process Hitting into Biological Regulatory Networks
Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, and Olivier Roux
In: David Gilbert and Monika Heiner (eds.), Proceedings of the 10th International Conference on Computational Methods in Systems Biology (CMSB 2012), Lecture Notes in Bioinformatics 7605 166-186 2012 [Refereed]
Abducing Biological Regulatory Networks from Process Hitting models
Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, and Olivier Roux
In: Pre Proceedings of ECML-PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology 24-35 2012 [Refereed]
Comparison of Upward and Downward Generalization in CF-Induction
Yoshitaka Yamamoto,Katsumi Inoue, and Koji Iwanuma
In: Stephen Muggleton, Alireza Tamaddoni-Nezhad and Francesca A. Lisi (eds.): Inductive Logic Programming: Revised Selected Papers from the 21st International Conference (ILP 2011), Lecture Notes in Artificial Intelligence 7207 373-388 2012 [Refereed]
Physiological Analysis of Yeast Cell by Intelligent Signal Processing
Andrei Doncescu, Sebastien Regis, Katsumi Inoue, and Nathalie Goma
In: Ganesh R. Naik (ed.), Applied Biological Engineering - Principles and Practice Chapter 19 435-460 2012 [Refereed]
Predicting Gene Knockout Effects by Minimal Pathway Enumeration
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]
Finding New Consequences of an Observation in a Multi-Agent System
Gauvain Bourgne, Katsumi Inoue, and Nicolas Maudet
In: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012, Valencia, Spain 1223-1224 Jun 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]
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 273 141-154 2013
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]
Katsumi Inoue (Part:Editor, Workshop on Learning and Discomery in Symbolic Systems Biology, University of Bristol, Bristol, UK)
Sep 2012
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
