|
|
|
English | Japanese
Announcement
- We are looking for outstanding students who want to join 3 Year PhD Course or 5 Year PhD Course of Department of Informatics, SOKENDAI (The Graduate University for Advanced Studies). We also accept intern students from the MOU partner institutions. If you are intested in our research, please contact Prof. Katsumi Inoue.
- Since April 2015, we have launched a laboratory also in Department of Computer Science, School of Computing, Tokyo Institute of Technology. If you want to study at Tokyo Tech, see International Study Programs.
Events and News (2017)
| 2017.12.26-28 | Wakayama-NII Workshop on Logic and Learning (Wakayama University). |
| 2017.12.08 | Welcome & Year-End & Christmas Party (SONAR, Ginza). |
| 2017.11.29-12.01 | Visit to ECN/IS2N (Nantes, France). |
| 2017.11.27-28 | Visit to CRIL/Université d'Artois (Lens, France). |
| 2017.11.14-15 | The 11th CSPSAT and ASP Seminar (Kobe). |
| 2017.10.02 | Pr. Frédérique Vidal, Minister for Higher Education, Research and Innovation in France visited NII. |
| 2017.09.27 | Medal presentation ceremony at NII and Celebration (Maxime Clement). |
| 2017.09.17-20 | Dagstuhl Seminar 17382: Approaches and Applications of Inductive Programming (Schloss Dagstuhl, Germany). |
| 2017.09.04 | 2nd Call of 2017 NII International Internship Program (Topic Numbers: 08-10). |
| 2017.08.20 | Chiaki Sakama, Katsumi Inoue and Taisuke Sato have received the Best Paper Award at KSEM 2017 for the paper "Linear Algebraic Characterization of Logic Programs". |
| 2017.08.07-08 | The 4th CSPSAT3 Meeting (Kobe). |
| 2017.08.01 | The paper "Relational Reinforcement Learning for Planning with Exogenous Effects" by David Martínez, Guillem Alenyà, Tony Ribeiro, Katsumi Inoue and Carme Torras has been accepted for publication in JMLR. |
| 2017.07.27-28 | The First Joint Meeting of KAKENHI Kiban-A Project "Learning Relational Dynamics from State Transition" (jointly held with NII Collaborative Researches). |
| 2017.07.13 | Public Examination for Ph.D. thesis by Maxime Clement on "Solving Multi-Objective Distributed Constraint Optimization Problems" (17:00, Room 1212, NII). |
| 2017.06.09 2017.07.05 |
Two papers have been accepted for ILP 2017 (Orléan, France):
|
| 2017.06.15 | The paper "Coverage-Based Clause Reduction Heuristics for CDCL Solvers" by Hidetomo Nabeshima and Katsumi Inoue has been accepted for SAT 2017 (Melbourne, Australia). |
| 2017.06.09-10 | NII Open House 2017. |
| 2017.05.31 | The paper "Linear Algebraic Characterization of Logic Programs" by Chiaki Sakama, Katsumi Inoue and Taisuke Sato has been accepted as a full paper of KSEM 2017 (Melbourne, Australia). |
| 2017.05.23-26 | 7 presentations are made by our colleagues at JSAI 2017 (Nagoya). |
| 2017.05.12 | The paper "Learning Logic Program Representation from Delayed Interpretation Transition Using Recurrent Neural Networks" by Yin Jun Phua, Sophie Tourret and Katsumi Inoue has been accepted for a poster presentation at SNL 2017 (Nagoya). |
| 2017.05.03 | The paper "Modeling Trans-Device Content Experience and Knowledge Development for Detection of TV Audiences" by Kotaro Okazaki and Katsumi Inoue has been accepted as a full paper of CBI 2017 (Thessaloniki, Greece). |
| 2017.04.07 | Members page updated. |
| 2017.04.03 | Hanami @ Chidorigafuchi & Welcome Party @ Hanzomon (photos). |
| 2017.04.03 |
The new grant proposal for JSPS Grants-in-Aid for Scientific Research (Kakenhi) has been accepted:
|
| 2017.03.28 | 1st Call of 2017 NII International Internship Program (Topic Numbers: 01-06). |
| 2017.03.23 | The 1st Home Coming Day of Department of Informatics, SOKENDAI (NII). |
| 2017.03.15-16 | The 3rd CSPSAT3 Meeting & The 7th CSPASP Meeting (Kobe). |
| 2017.03.08 | The paper "catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming" by Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh and Naoyuki Tamura has been accepted as a regular paper of LPNMR 2017 (Espoo, Finland). |
| 2017.02.14 | Presentation of graduation theses (for B4) (Tokyo Tech). |
| 2017.02.01 | The paper "Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks" by Sophie Tourret, Enguerrand Gentet and Katsumi Inoue has been accepted for presentation at ISNN 2017 (Sapporo). |
| 2017.01.30 | The 2nd NII Collaborative Research Meeting on "Reasoning in Vector Spaces of Knowledge Graphs" (NII, Tokyo). |
| 2017.01.09 | The paper "Relational Reinforcement Learning for Planning with Exogenous Effects" by Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier Roux and Katsumi Inoue has been published in Algorithms. |
| 2017.01.04 | Joint Research Presentation (NII). |