"David Mart?nez,Guillem Aleny?,Tony Ribeiro,Katsumi Inoue,Carme Torras","Relational Reinforcement Learning for Planning with Exogenous Effects",,"Journal of Machine Learning Research",,,,"  accepted",2017,Oct.
"Tony Ribeiro,Sophie Tourret,Maxime Folschette,Morgan Magnin,Domenico Borzacchiello,Francisco Chinesta,Olivier Roux,Katsumi Inoue","Learning Programs with Continuous Domains from State Transitions",,"In: Proceedings of the 27th International Conference on Inductive Logic Programming (ILP 2017; Orl?ans, France, September 4-6, 2017)","Springer",,,"  to appear",2017,Sept.
"Yin Jun Phua,Sophie Tourret,Tony Ribeiro,Katsumi Inoue","Learning Logic Program Representation for Delayed Systems with Limited Training Data",,"In: The 27th International Conference on Inductive Logic Programming (ILP 2017; Orl?ans, France, September 4-6, 2017)",,,,"  to appear",2017,Sept.
"Hidetomo Nabeshima,Katsumi Inoue","Coverage-Based Clause Reduction Heuristics for CDCL Solvers",,"In: Serge Gaspers and Toby Walsh (eds.), Theory and Applications of Satisfiability Testing: Proceedings of the 20th International Conference (SAT 2017; Melbourne, VIC, Australia, August 28 - September 1, 2017), Lecture Notes in Computer Science","Springer","Vol. 10491",,"pp. 136-144",2017,Aug.
"Chiaki Sakama,Katsumi Inoue,Taisuke Sato","Linear Algebraic Characterization of Logic Programs",,"In: Gang Li, et al. (eds.), Knowledge Science, Engineering and Management: Proceedings of the 10th International Conference (KSEM 2017; Melbourne, VIC, Australia, August 19-20, 2017), Lecture Notes in Artificial Intelligence","Springer","Vol. 10412",,"pp. 520-533",2017,Aug.
"Mutsunori Banbara,Katsumi Inoue,Hiromasa Kaneyuki,Tenda Okimoto,Torsten Schaub,Takehide Soh,Naoyuki Tamura","catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming",,"In: Marcello Balduccini and Tomi Janhunen (eds.), Logic Programming and Nonmonotonic Reasoning: Proceedings of the 14th International Conference (LPNMR 2017; Espoo, Finland, July 3-6, 2017), Lecture Notes in Artificial Intelligence","Springer","Vol. 10377",,"pp. 265-278",2017,July
"Yin Jun Phua,Sophie Tourret,Katsumi Inoue","Learning Logic Program Representation from Delayed Interpretation Transition Using Recurrent Neural Networks",,"In: Proceedings of the 1st International Workshop on Symbolic-Neural Learning (SNL-2017; Nagoya, Japan, July 7-8, 2017)",,,"no. 10",,2017,July
"Kotaro Okazaki,Katsumi Inoue","Modeling Trans-Device Content Experience and Knowledge Development for Detection of TV Audiences",,"In: Proceedings of the 19th IEEE International Conference on Business Informatics (CBI 2017; Thessaloniki, Greece, 24-26 July 2017)",,"Vol. 1",,"pp. 53-61",2017,July
"Enguerrand Gentet,Sophie Tourret,Katsumi Inoue","Learning from Interpretation Transition using Feed-Forward Neural Networks",,"In: James Cussens and Alessandra Russo (eds.), Proceedings of the 26th International Conference on Inductive Logic Programming (ILP 2016; London, UK) (Short papers), CEUR Workshop Proceedings","CEUR-WS.org","Vol. 1865",,"pp. 27-33",2017,June
"Maxime Clement,Tenda Okimoto,Katsumi Inoue","Distributed Pareto Local Search for Multi-Objective DCOPs",,"IEICE transactions on information and systems",,,,"  accepted",2017,June
"Sophie Tourret,Enguerrand Gentet,Katsumi Inoue","Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks",,"In: Fengyu Cong, Andrew Leung and Qinglai Wei (eds.), Advances in Neural Networks: Proceedings of the 14th International Symposium (ISNN 2017; Sapporo, Japan, June 21-23, 2017), Part 1, Lecture Notes in Computer Science","Springer","Vol. 10261",,"pp. 483-492",2017,June
"Emna Ben Abdallah,Tony Ribeiro,Morgan Magnin,Olivier Roux,Katsumi Inoue","Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data",,"Algorithms",,"Vol. 10","No. 1","  No.8",2017,Jan.
"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","岩波書店","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.
"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.
"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.
"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
"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
"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
"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
"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,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.
"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.
"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.
"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.
"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.
"Tony Ribeiro,Morgan Magnin,Katsumi Inoue,Chiaki Sakama","Learning Multi-Valued Biological Models with Delayed Influence from Time-Series Observations",,"In: Proceedings of the 14th International Conference on Machine Learning and Applications (IEEE ICMLA 2015; Miami, Florida, USA, December 9-11, 2015)","IEEE",,,"pp. 25-31",2015,Dec.
"Tenda Okimoto,Maxime Clement,Katsutoshi Hirayama,Katsumi Inoue","Skill-Based Dynamic Team Formation Problem",,"In: Proceedings of the 16th International Symposium on Advanced Intelligent Systems (ISIS 2015; Mokpu, Korea, November 4-7, 2015)",,,,"pp. 781-793",2015,Nov.
"Maxime Clement,Tenda Okimoto,Katsumi Inoue,Mutsunori Banbara","Sigma-Optimal Solutions in Multi-Objective Timetabling",,"In: Proceedings of Joint Agents Workshop and Symposium 2015 (JAWS 2015; Kaga, Ishikawa, Japan, October 1, 2015)",,,,"pp. 122-127",2015,Oct.
"Marcus V?lker,Katsumi Inoue","Logic Programming for Cellular Automata",,"In: Marina De Vos, Thomas Eiter, Yuliya Lierler, and Francesca Toni (eds.), Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015; Cork, Ireland, September 2, 2015), CEUR Workshop Proceedings","CEUR-WS.org","Vol. 1433",,,2015,Sept.
"David Mart?nez,Tony Ribeiro,Katsumi Inoue,Guillem Aleny?,Carme Torras","Learning Probabilistic Action Models from Interpretation Transitions",,"In: Marina De Vos, Thomas Eiter, Yuliya Lierler, and Francesca Toni (eds.), Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015; Cork, Ireland, September 2, 2015), CEUR Workshop Proceedings","CEUR-WS.org","Vol. 1433",,,2015,Sept.
"Alexander Andreychenko,Morgan Magnin,Katsumi Inoue","Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets",,"In: Olivier F. Roux, J?r?mie Bourdon (eds.), Computational Methods in Systems Biology: Proceedings of the 13th International Conference (CMSB 2015; Nantes, France, September 18, 2015), Lecture Notes in Bioinformatics","Springer","Vol. 9308",,"pp. 239-250",2015,Sept.
"Mutsunori Banbara,Martin Gebser,Katsumi Inoue,Max Ostrowski,Andrea Peano,Torsten Schaub,Takehide Soh,Naoyuki Tamura,Matthias Weise","aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming",,"In: Francesco Calimeri, Giovambattista Ianni, and Miroslaw Truszczynski (eds.), Logic Programming and Nonmonotonic Reasoning: Proceedings of the 13th International Conference (LPNMR 2015; Lexington, KY, USA, September 30, 2015), Lecture Notes in Artificial Intelligence","Springer","Vol. 9345",,"pp. 112-126",2015,Sept.
"Tenda Okimoto,Shih-Min Wu,Katsutoshi Hirayama,Katsumi Inoue","Favorable Solution in Multi-Objective Nurse Rerostering Problem",,"In: Proceedings of the International Symposium on Scheduling 2015 (ISS 2015; Kobe, Japan, July 5, 2015)",,,,"pp. 109-114",2015,July
"Chiaki Sakama,Katsumi Inoue","Can Machines Learn Logics?",,"In: Jordi Bieger, Ben Goertzel, and Alexey Potapov (eds.), Artificial General Intelligence: Proceedings of the 8th International Conference (AGI 2015; Berlin, Germany, July 24, 2015), Lecture Notes in Artificial Intelligence","Springer","Vol. 9205",,"pp. 341-351",2015,July
"Tenda Okimoto,Nicolas Schwind,Maxime Clement,Katsumi Inoue","Task-Oriented Robust Team Formation Problem (in Japanese)",,"The Journal of the Institute of Electronics, Information and Communication Engineers","電子情報通信学会","Vol. J98-D","No. 6","pp. 894-904",2015,June
"Chiaki Sakama,Katsumi Inoue","Abduction, Conversational Implicature, and Misleading",,"The International Conference on Model-Based Reasoning in Science and Technology (MBR’015_ITALY; Sestri Levante, Italy, June 25-27, 2015)",,,,,2015,June
"Tenda Okimoto,Maxime Clement,Nicolas Schwind,Katsumi Inoue","Resilient Solutions for Dynamic Multi-Objective Constraint Optimization (in Japanese)",,"The Journal of the Institute of Electronics, Information and Communication Engineers","電子情報通信学会","Vol. J98-D","No. 6","pp. 884-893",2015,June
"Tenda Okimoto,Nicolas Schwind,Maxime Clement,Tony Ribeiro,Katsumi Inoue,Pierre Marquis","How to Form a Task-Oriented Robust Team",,"In: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015; Istanbul, Turkey, May 4-8, 2015)","ACM Library",,,"pp. 395-403",2015,May
"Chiaki Sakama,Katsumi Inoue","Abduction and Conversational Implicature (Extended Abstract)",,"In: Proceedings of the 12th International Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE 2015; Stanford University, Stanford, CA, USA, March 24, 2015), Papers from the AAAI Spring Symposium, Technical Report SS-15-04","AAAI Press","Vol. SS-15-04",,"pp. 130-133",2015,Mar.
"Maxime Folschette,Lo?c Paulev?,Katsumi Inoue,Morgan Magnin,Olivier Roux","Identification of Biological Regulatory Networks from Process Hitting Models",,"Theoretical Computer Science","Elsevier","Vol. 568",,"pp. 49-71",2015,Feb.
"Tony Ribeiro,Morgan Magnin,Katsumi Inoue,Chiaki Sakama","Learning Delayed Influences of Biological Systems",,"Frontiers in Bioengineering and Biotechnology",,"Vol. 2","No. 81",,2015,Jan.
"Nicolas Schwind,Katsumi Inoue,Gauvain Bourgne,S?bastien Konieczny,Pierre Marquis","Belief Revision Games",,"In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI-15; Austin, Texas, USA, January 27, 2015)","AAAI Press",,,"pp. 1590-1596",2015,Jan.
"Maxime Clement,Tenda Okimoto,Nicolas Schwind,Katsumi Inoue","Finding Resilient Solutions for Dynamic Multi-Objective Constraint Optimization Problem",,"Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART-2015)","SCITEPRESS Digital Library","Vol. 2",,"pp. 509-516",2015,Jan.