お知らせ
2017.12.26-28 | 論理と学習に関するワークショップ (和歌山大学). |
2017.12.08 | 歓迎会 & 忘年会 & クリスマスパーティ (SONAR, 銀座). |
2017.11.29-12.01 | ECN/IS2N (Nantes, France) を訪問. |
2017.11.27-28 | CRIL/Université d'Artois (Lens, France) を訪問. |
2017.11.14-15 | The 11th CSPSAT and ASP Seminar (Kobe). |
2017.10.02 | フランスのフレデリック・ヴィダル高等教育・研究・イノベーション大臣らがNII来訪 (フランス大使館ニュース). |
2017.09.27 | 学位授与記念メダル贈呈式及び祝賀会 (NII). |
2017.09.17-20 | Dagstuhl Seminar 17382: Approaches and Applications of Inductive Programming (Schloss Dagstuhl, Germany). |
2017.09.04 | 2017年度NII国際インターンシッププログラム 第2次募集 (研究項目番号: 08-10). |
2017.08.20 | 坂間千秋・客員教授および佐藤泰介・客員教授とのNII共同研究成果論文 "Linear Algebraic Characterization of Logic Programs" が KSEM 2017 で最優秀論文賞を受賞しました. |
2017.08.07-08 | 第4回CSPSAT3研究会 (神戸大). |
2017.08.01 | David Martínez, Guillem Alenyà, Tony Ribeiro, Katsumi Inoue, Carme Torras による論文 "Relational Reinforcement Learning for Planning with Exogenous Effects" が機械学習トップジャーナル JMLR にアクセプトされました. |
2017.07.27-28 | 科研費プロジェクト「状態遷移列からの関係ダイナミクス学習」第1回研究会 (NII共同研究ミーティングとの共催). |
2017.07.13 | Maxime Clement 氏による公開博士論文発表会: "Solving Multi-Objective Distributed Constraint Optimization Problems" (17:00, Room 1212, NII). |
2017.06.09 2017.07.05 |
帰納論理プログラミングに関する第27回国際会議 ILP 2017 (Orléan, France) に2論文が採択されました:
|
2017.06.15 | Hidetomo Nabeshima, Katsumi Inoue による論文 "Coverage-Based Clause Reduction Heuristics for CDCL Solvers" が SAT 2017 (Melbourne, Australia) (COREランキング A) に採択されました. |
2017.06.09-10 | NIIオープンハウス2017. |
2017.05.31 | Chiaki Sakama, Katsumi Inoue, Taisuke Sato による論文 "Linear Algebraic Characterization of Logic Programs" が KSEM 2017 (Melbourne, Australia) に full paper として採択されました. |
2017.05.23-26 |
2017年度 人工知能学会全国大会(第31回) (名古屋). 井上研関係で7件発表. |
2017.05.12 | Yin Jun Phua, Sophie Tourret, Katsumi Inoue による論文 "Learning Logic Program Representation from Delayed Interpretation Transition Using Recurrent Neural Networks" が SNL 2017 (名古屋) にポスター論文として採択されました. |
2017.05.03 | Kotaro Okazaki, Katsumi Inoue による論文 "Modeling Trans-Device Content Experience and Knowledge Development for Detection of TV Audiences" が CBI 2017 (Thessaloniki, Greece) に full paper として採択されました. |
2017.04.07 | メンバーページ を更新. |
2017.04.03 | 花見 & パーティ (千鳥が淵/半蔵門). |
2017.04.03 |
日本学術振興会・科学研究費補助金に新規研究課題が採択されました:
|
2017.03.28 | 2017年度NII国際インターンシッププログラム 第1次募集 (研究項目番号: 01-06). |
2017.03.23 | 総研大情報学専攻第1回 Home Coming Day (NII). |
2017.03.15-16 | 第3回CSPSAT3研究会・第7回CSPASP研究会 合同研究会 (神戸大). |
2017.03.08 | 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" が LPNMR 2017 (Espoo, Finland) (COREランキング A) に regular paper として採択されました. |
2017.02.14 | H28年度卒論発表会 (東工大). |
2017.02.01 | Sophie Tourret, Enguerrand Gentet, Katsumi Inoueによる論文 "Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks" が ISNN 2017 (札幌) に採択されました. |
2017.01.30 | 平成28年度NII共同研究「背景知識を用いた知識グラフの線形空間における論理推論」 第2回研究打ち合わせ (NII). |
2017.01.09 | Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier Roux, Katsumi Inoue による論文 "Relational Reinforcement Learning for Planning with Exogenous Effects" が Algorithms に掲載されました. |
2017.01.04 | 大学院生・特別共同利用研究員による研究発表会 (NII). |