| 2024.10.28-29 |
2023年度NII共同研究「解集合プログラミングの実用化に向けた並列解法に関する研究開発」第2回研究会合 (名古屋大学).
|
| 2024.10.22 |
AI Seminar by Emir Demirović (TU Delft) and Meghyn Bienvenu (LaBRI CNRS).
|
| 2024.10.15 |
井上克巳が ICLP 2024 (University of Texas at Dallas) で "Linear Algebraic Approaches to Logic Programming" について招待講演を行います．
|
| 2024.09.22 |
井上克巳が IJCLR 2024 (Nanjing University) で "Algebraic Logic Programming and Learning" について招待講演を行いました．
|
| 2024.09.06 |
Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama による論文 "Linear Algebraic Partial Evaluation of Logic Programs" が ICTAI 2024 (2024.10.28-30, Herndon, VA, USA) に採択されました.
|
| 2024.09.04-05 |
JST CREST 「記号推論に接続する機械学習」第6回研究ミーティング (シンフォニア岩国，山口県岩国市).
|
| 2024.09.03-04 |
科研費プロジェクト：基盤研究(A)「知識表現・推論と機械学習の統合によるロバストAIの実現」 2024年度第1回成果発表ミーティング (シンフォニア岩国，山口県岩国市).
|
| 2024.08.27 |
Irumi Sugimori らによる LPNMR 2024 論文 "ASP-based Large Neighborhood Prioritized Search for Course Timetabling" の最優秀学生論文賞受賞が決定しました (NII News)．
|
| 2024.08.21 |
Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen, Antoine Roquilly, Jérémie Poschmann, Katsumi Inoue による論文 "Learning From Interpretation Transitions with Unknowns" が IJCLR 2024 (2024.09.20-22, Nanjing University International Conference Center) に採択されました．
|
| 2024.08.20 |
Trustworthy AI Seminar by Andreas Brännström (Umeå University, Sweden).
|
| 2024.08.14 |
Akihiro Takemura, Katsumi Inoue による論文 "Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming" が Theory and Practice of Logic Programming 誌に採択されました．
|
| 2024.08.13 |
Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara による論文 "ASP-based Large Neighborhood Prioritized Search for Course Timetabling" が LPNMR 2024 (2024.10.11-14, University of Texas at Dallas) に採択されました．
|
| 2024.08.07 |
Kun Gao がジャーナルトラック論文 "A differentiable first-order rule learner for inductive logic programming" を IJCAI 2024 (Jeju, Korea) で発表しました．
|
| 2024.08.07 |
Dinh Tuan Tran 助教(立命館大学)とのNII共同研究成果として2論文が IEEE Access に採録されています:
"Learning Visual-Inertial Odometry With Robocentric Iterated Extended Kalman Filter"
"Privacy-preserving Face and Hair Swapping in Real-time with a GAN-generated Face Image"
|
| 2024.07.25 |
KR 2024 (2024.11.02-08, Hanoi, Vietnam) に2論文が採択されています:
Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko: "Abductive reasoning in a paraconsistent framework"
Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara: "Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming"
|
| 2024.07.04 |
Akihiro Takemura, Katsumi Inoue による論文 "Differentiable Logic Programming for Distant Supervision" が ECAI 2024 (2024.10.19-24, Santiago de Compostela, Spain) に採択されました．
|
| 2024.06.27 |
Mingyue Liu, Ryo Ueda, Zhen Wan, Katsumi Inoue, Chris Willcocks による論文 "Neuro-symbolic Contrastive Learning for Cross-domain Inference" が ICLP 2024 (2024.10.11-17, University of Texas at Dallas) に採択されました．
|
| 2024.06.26-27 |
2023年度NII共同研究「解集合プログラミングの実用化に向けた並列解法に関する研究開発」第1回研究会合 (松本商工会議所).
|
| 2024.06.15 |
Yin Jun Phua, Katsumi Inoue による論文 "Variable Assignment Invariant Neural Networks for Learning Logic Programs" が NeSy 2024 (2024.09.11-17, Barcelona, Spain) に採択されました．
|
| 2024.06.07 |
NIIオープンハウス2024におけるポスター発表「信頼されるAIのための記号推論と機械学習の融合」(ポスター).
|
| 2024.05.28-31 |
竹村彰浩・森山総太が 2024年度人工知能学会全国大会（第38回） (アクトシティ浜松) で論文発表を行いました．
|
| 2024.05.15 |
井上克巳が FLOPS 2024 (熊本市国際交流会館) で Algebraic Connection between Logic Programming and Machine Learning" について招待講演を行いました．
|
| 2014.04.23 |
井上研究室20周年記念パーティ (写真)．
|
| 2024.04.06 |
Alex Spies (JSPS外国人特別研究員) が Technical AI Safety 2024 で Structured Representations in Maze-Solving Transformers について発表し，最優秀ポスター賞を受賞しました (NII News)．
|
| 2024.04.02 |
千鳥ヶ淵花見ツアー．
|
| 2024.03.28-29 |
2023年度NII共同研究「SAT技術を用いた組合せ遷移問題の解法に関する研究」第4回研究会合 (長良川国際会議場).
|
| 2024.03.18-19 |
科研費プロジェクト：基盤研究(A)「知識表現・推論と機械学習の統合によるロバストAIの実現」 2023年度第2回成果発表ミーティング (日光鬼怒川温泉).
|
| 2024.03.07-08 |
JST CREST 「記号推論に接続する機械学習」第4回研究ミーティング (京都大学).
|
| 2024.02.25 |
Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang による論文 "A differentiable first-order rule learner for inductive logic programming" が Artificial Intelligence 誌に採択されました．
|
| 2024.02.05 |
2023年度修士論文発表会：大谷 将之 (東工大).
|
| 2024.01.18 |
博士論文本審査：小髙 充弘（総研大・情報学専攻／ECN, NII＆オンライン).
|
