プログラムは下記の通りですが，発表の進行状況に合わせて柔軟に進めたいと思います．
| 3月28日(木) |
|
| 9:00 - 12:00 |
SAT技術を用いた組合せ遷移問題の解法に関するディスカッション |
| |
Lunch |
| 13:30 - 14:10 |
Update on Using ASP for Entity Resolution |
| |
Meghyn Bienvenu (LaBRI CNRS / NII) |
| 14:30 - 15:10 |
Linear Algebraic Partial Evaluation of Logic Programs Using Eigen Decomposition |
| |
and Jordan Normal Form |
| |
Tuan Quoc Nguyen (NII) |
| 15:30 - 16:10 |
Differentiable Logic Program and its Application to Image Classification |
| |
Akihiro Takemura (NII) |
| 16:30 - 17:10 |
Satisfiability-based Graph Attention Network and its Application to MaxSAT |
| |
Sota Moriyama (東京工業大学 / NII) |
| 17:30 - 18:00 |
Some Experimental Results on ASP-based Large Neighborhood Prioritized Search |
| |
杉森 唯瑠未 (名古屋大学) |
| |
Dinner |
| 19:30 - 21:30 |
SAT技術を用いた組合せ遷移問題の解法に関するディスカッション |
| 3月29日(金) |
|
| 9:00 - 10:00 |
個別打ち合わせ |
| 10:00 - 10:30 |
解集合プログラミングに基づく組合せ遷移のコスト最適化に関する一考察 |
| |
高田 和紀 (名古屋大学) |
| 10:40 - 11:10 |
解集合プログラミングを用いた \(L(h, k)\) ラベリング問題の解法に関する研究 |
| |
楊 東 (神戸大学) |
| 11:20 - 12:00 |
ASP を用いた看護師勤務表生成への優先度付き巨大近傍探索の適用 |
| |
高澤 怜路，○鍋島 英知 (山梨大学) |
| |
Lunch |
| 13:30 - |
プロジェクト研究打合せ |
| |
- 今後の研究計画について |
| |
- 次回日程調整 |