"Alexander Andreychenko,Morgan Magnin,Katsumi Inoue","Analyzing Resilience Properties in Oscillatory Biological Systems Using Parametric Model Checking",,"BioSystems",,"Vol. 149",,"pp. 50-58",2016,Dec.
"Tatsuya Sako,Takehide Soh,Mutsunori Banbara,Naoyuki Tamura,Hidetomo Nabeshima,Katsumi Inoue","An Incremental SAT Method Library and its Application (in Japanese)",,"Computer Software","��g���X","Vol. 33","No. 4","pp. 16-29",2016,Nov.
"Shih-Min Wu,Tenda Okimoto,Katsutoshi Hirayama,Katsumi Inoue","Multi-Objective Nurse Rerostering Problem",,"In: Quan Bai, Fenghui Ren, Katsuhide Fujita, Minjie Zhang and Takayuki Ito (eds.), Multi-agent and Complex Systems, Chapter 10, Studies in Computational Intelligence","Springer","Vol. 607",,"pp. 139-152",2016,Oct.
"Emna Ben Abdallah,Tony Ribeiro,Morgan Magnin,Olivier Roux,Katsumi Inoue","Inference of Delayed Biological Regulatory Networks from Time Series Data",,"In: Ezio Bartocci, Pietro Li?, Nicola Paoletti (eds.), Computational Methods in Systems Biology: Proceedings of the 14th International Conference (CMSB 2016; Cambridge, UK), Lecture Notes in Bioinformatics","Springer","Vol. 9859",,"pp. 30-48",2016,Sept.
"Mutsunori Banbara,Katsumi Inoue,Benjamin Kaufmann,Torsten Schaub,Takehide Soh,Naoyuki Tamura,Philipp Wanko","teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming",,"In: Edmund K. Burke, Luca Di Gaspero, Ender ?zcan, Barry McCollum and Andrea Schaerf (eds.), Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016; Udine, Italy)",,,,"pp. 13-32",2016,Aug.
"Maxime Clement,Tenda Okimoto,Katsumi Inoue,Mutsunori Banbara","$\Sigma_{x}$-Optimal Solutions in Highly Symmetric Multi-Objective Timetabling Problems",,"In: Edmund K. Burke, Luca Di Gaspero, Ender ?zcan, Barry McCollum and Andrea Schaerf (eds.), Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016; Udine, Italy)",,,,"pp. 63-79",2016,Aug.
"Chiaki Sakama,Katsumi Inoue","Abduction, Conversational Implicature, and Misleading in Human Dialogues",,"Logic Journal of the IGPL","Oxford University Press","Vol. 24","No. 4","pp. 526-541",2016,Aug.
"Tenda Okimoto,Tony Ribeiro,Damien Bouchabou,Katsumi Inoue","Mission Oriented Robust Multi-Team Formation and its Application to Robot Rescue Simulation",,"In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16; New York, NY, USA)","AAAI Press",,,"pp. 454-460",2016,July
"Adrien Rougny,Yoshitaka Yamamoto,Hidetomo Nabeshima,Gauvain Bourgne,Anne Poupon,Katsumi Inoue,Christine Froidevaux","Completing Signaling Networks by Abductive Reasoning with Perturbation Experiments",,"In: Late Breaking Papers of the 25th International Conference on Inductive Logic Programming (ILP 2015; Kyoto University, Kyoto, Japan, August 20-22, 2015), CEUR Workshop Proceedings","CEUR-WS.org","Vol. 1636",,"pp. 95-100",2016,July
"Chiaki Sakama,Tony Ribeiro,Katsumi Inoue","Learning Deduction Rules by Induction",,"In: Katsumi Inoue, Hayato Ohwada, and Akihiro Yamamoto (eds.), Inductive Logic Programming: Revised and Selected Papers from the 25th International Conference (ILP 2015; Kyoto, Japan, August 20-22, 2015), Lecture Notes in Artificial Intelligence","Springer","Vol. 9575",,"pp. 183-199",2016,July
"Nicolas Schwind,Katsumi Inoue,Gauvain Bourgne,S?bastien Konieczny,Pierre Marquis","Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?",,"In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16; New York, NY, USA)","AAAI Press",,,"pp. 1237-1243",2016,July
"David Mart?nez,Tony Ribeiro,Katsumi Inoue,Guillem Aleny?,Carme Torras","Learning Relational Dynamics of Stochastic Domains for Planning",,"In: Proceedings of the 26th International Conference on Automated Planning and Scheduling, (ICAPS 2016; London, UK, June 12-17, 2016)","AAAI Press",,,"pp. 235-243",2016,June
"Jacopo Panerati,Giovanni Beltrame,Nicolas Schwind,Atefan Zeltner,Katsumi Inoue","Probabilistic Resilience in Hidden Markov Models","The 4th International Conference on Manufacturing, Optimization, Industrial and Material Engineering 2016 (MOIME 2016)","IOP Conference Series: Materials Science and Engineering","IOP Publishing","Vol. 131","No. 12007",,2016,June
"Katsumi Inoue","Meta-Level Abduction",,"IfCoLog Journal of Logics and their Applications","College Publications","Vol. 3","No. 1","pp. 7-35",2016,May
"Nicolas Schwind,Tenda Okimoto,Maxime Clement,Katsumi Inoue","Representative Solutions for Multi-Objective Constraint Optimization Problems",,"In: Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016; Cape Town, South Africa, April 25-29, 2016)","AAAI Press",,,"pp. 601-604",2016,Apr.
"Nicolas Schwind,Morgan Magnin,Katsumi Inoue,Tenda Okimoto,Taisuke Sato,Kazuhiro Minami,Hiroshi Maruyama","Formalization of Resilience for Constraint-Based Dynamic Systems",,"Journal of Reliable Intelligent Environments","Springer","Vol. 2","No. 1","pp. 17-35",2016,Apr.
"Katsumi Inoue,Hayato Ohwada,Akihiro Yamamoto","Inductive Logic Programming: Challenges",,"In: Proceedings of the 30th AAAI Conference on Artificial Intelligence (AAAI-16; Phoenix, Arizona, USA, February 14, 2016)","AAAI Press",,,"pp. 4330-4332",2016,Feb.
"Tony Ribeiro,Katsumi Inoue","Learning Prime Implicant Conditions from Interpretation Transition",,"In: Jesse Davis, Jan Ramon (eds.), Inductive Logic Programming: Revised Selected Papers from the 24th International Conference (ILP 2014; Nancy, France, September 14-16, 2014). Lecture Notes in Artificial Intelligence","Springer","Vol. 9046",,"pp. 108-125",2016,Jan.
"Nicolas Schwind,Katsumi Inoue","Characterization of Logic Program Revision as an Extension of Propositional Revision",,"Theory and Practice of Logic Programming","Cambridge University Press","Vol. 16","No. 1","pp. 111-138",2016,Jan.