"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 "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 "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 "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 "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 "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.