| 2023.12.09 |
Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis による論文 "BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change" が 38th AAAI Conference on Artificial Intelligence (AAAI-24; 2024.02.20-27, Vancouver, Canada) に採択されました．
|
| 2023.12.06-07 |
2023年度NII共同研究「SAT技術を用いた組合せ遷移問題の解法に関する研究」第3回研究会合 (神戸大学).
|
| 2023.11.08 |
MWIT チームが ROAD-R challenge for NeurIPS 2023 で 1位と3位を獲得しました (NII内の記事)．
|
| 2023.11.05 |
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub, Ryuhei Uehara による論文 "Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis" が WALCOM 2024 (2024.03.18-20, Kanazawa, Japan) に採択されました．
|
| 2023.10.30 |
Michael Ivanitskiy, Alex Spies 他による論文 "Linearly Structured World Representations in Maze-Solving Transformers" が NeurIPS 2023 UniReps Workshop (2023.12.15, New Orleans, USA) に採択されました．
|
| 2023.10.01-05 |
NII湘南会議 No.180: "The Art of SAT" (湘南国際村センター, 葉山町).
|
| 2023.09.14-15 |
科研費プロジェクト：基盤研究(A)「知識表現・推論と機械学習の統合によるロバストAIの実現」 2023年度第1回成果発表ミーティング (産総研臨海副都心センター, 東京都江東区).
|
| 2023.09.12 |
2nd Call of 2023 NII International Internship Program.
|
| 2023.08.31-09.01 |
2023年度NII共同研究「SAT技術を用いた組合せ遷移問題の解法に関する研究」第2回研究会合 (アクトシティ浜松).
|
| 2023.08.29-30 |
井上克巳，森山総太，磯邊猛が 人工知能学会 第125回人工知能基本問題研究会 (SIG-FPAI) (マリオス，盛岡市)で発表しました．
|
| 2023.08.28-29 |
JST CREST 「記号推論に接続する機械学習」第3回研究ミーティング (マリオス，盛岡市).
|
| 2023.08.25 |
ILP 2023 @ IJCLR 2023 (2023.11.13-15, Bari, Italy) に2論文が採択されました：
Takeru Isobe and Katsumi Inoue: "Learning Strategies of Inductive Logic Programming Using Reinforcement Learning"
Sota Moriyama, Koji Watanabe and Katsumi Inoue: "GNN Based Extraction of Minimal Unsatisfiable Subsets"
|
| 2023.08.18 |
Mitsuhiro Odaka, Morgan Magnin, Katsumi Inoue による論文 "Gene Network Inference from Single-Cell Omics Data and Domain Knowledge for Constructing COVID-19-Specific ICAM1-Associated Pathways" が Frontiers in Genetics 誌に採択されました．
|
| 2023.07.15 |
井上克巳が 第17回PICMET Japan Vision Meeting (東京大学駒場キャンパス) で「生成AI時代に求められる推論技術」について講演しました．
|
| 2023.7.13 |
Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub による論文 "Answer set programming as a modeling language for course timetabling" が ICLP 2023 において The 10-Year Test-of-Time Award を受賞しました (NII内の記事)．
|
| 2023.07.11 |
JELIA 2023 (2023.09.20-22, Dresden, Germany) に2論文が採択されました:
Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura: "Hamiltonian Cycle Reconfiguration with Answer Set Programming"
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub: "recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming"
|
| 2023.07.03 |
博士論文本審査：岡崎 孝太郎（総研大・情報学専攻, NII & オンライン).
|
| 2023.06.29 |
渡邉晃司が 7th International Workshop on Symbolic-Neural Learning (SNL 2023; 理化学研究所AIP) にてポスター発表しました．
|
| 2023.06.25 |
Camilo Sarmiento (Sorbonne大学) が Gauvain Bourgne, Katsumi Inoue とともに 京都国際因果ワークショップ: Causation in Kyoto 2023 (京都大学) に参加し研究発表をしました．
|
| 2023.06.09 |
小髙充弘が 2023年度人工知能学会全国大会（第37回） (熊本城ホール) で発表しました．
|
| 2023.06.02-03 |
NIIオープンハウス2023におけるポスター発表「人工知能をもっと賢くしよう」 (メンバー紹介, ポスター).
|
| 2023.05.22-23 |
2023年度NII共同研究「SAT技術を用いた組合せ遷移問題の解法に関する研究」第1回研究会合 (神戸大学).
|
| 2023.05.22 |
Koji Watanabe, Katsumi Inoue による論文 "Learning State Transition Rules from High-Dimensional Time Series Data with Recurrent Temporal Gaussian-Bernoulli Restricted Boltzmann Machines" が Human-Centric Intelligent Systems 誌に採択されました．
|
| 2023.05.16 |
AI Seminar on Explanation and Ethics (NII): Talks by Jean-Marie Lagniez (CRIL CNRS, University of Artois) and Gauvain Bourgne (LIP6, Sorbonne Université).
|
| 2023.05.08 |
Taisuke Sato, Katsumi Inoue による論文 "Differentiable Learning of Matricized DNFs and its Application to Boolean Networks" が Machine Learning 誌に採択されました．
|
| 2023.04.25 |
Nicolas Schwind, Emir Demirović, Katsumi Inoue, Jean-Marie Lagniez による論文 "Algorithms for partially robust team formation" が Autonomous Agents and Multi-Agent Systems 誌に掲載されました．
|
| 2023.04.03 |
1st Call of 2023 NII International Internship Program.
|
| 2023.04.01 |
メンバーページ を更新．
|
| 2023.03.29 |
Mitsuhiro Odaka が Katsumi Inoue, Morgan Magnin との共著論文 "Data-Driven and Knowledge-Based Causal Network Discovery for Identifying Differential Equations" を AAAI 2023 Spring Symposium on Computational Approaches to Scientific Discovery (San Francisco, USA) で発表しました．
|
| 2023.03.28-29 |
JST CREST 「記号推論に接続する機械学習」2023年度第2回研究ミーティング (京都大学).
|
| 2023.03.23 |
千鳥ヶ淵花見ツアー＆歓送会．
|
| 2023.03.13-14 |
2022年度NII共同研究「数理最適化手法を取り入れた新しいSAT解法」第3回研究会合 (神戸大学).
|
| 2023.03.09-10 |
科研費プロジェクト：基盤研究(A)「知識表現・推論と機械学習の統合によるロバストAIの実現」 2022年度第2回成果発表ミーティング (和歌山県田辺市).
|
| 2023.02.10 |
Nicolas Schwind が Katsumi Inoue, Pierre Marquis との共著論文 "Editing Boolean Classifiers: A Belief Change Perspective" を AAAI-23 (Washington, D.C., USA) で発表しました．
|
| 2023.02.02 |
前期報告会・修士学位取得資格者認定：渡邉 晃司 (総研大).
|
| 2023.01.31 |
2022年度修士論文発表会：薬師寺 椋太 (東工大).
|
| 2023.01.16 |
Tuan Nguyen が Katsumi Inoue, Chiaki Sakama との共著論文 "Linear Algebraic Abduction with Partial Evaluation" を PADL 2023 (Boston, USA) で発表しました．
|
