Association for Logic ProgrammingよりICLP2023 ALP 10-Year Test-of-Time Awardを受賞しました。(情報システム学専攻 番原睦則 教授)
- 受賞日：2023-07-13
- 受賞名：ICLP2023 ALP 10-Year Test-of-Time Award
- 主催団体：Association for Logic Programming
- 受賞者の氏名、所属、職名（学年）：
番原睦則 (情報システム学専攻 教授)
- 共同受賞者：
宋剛秀(神戸大学 准教授)
田村直之(神戸大学 名誉教授)
井上克巳(NII 教授)
Torsten Schaub (ポツダム大学 教授) - 受賞対象となった研究のテーマ：
解集合プログラミングを用いた時間割問題の解法
- 受賞概要：
Association for Logic Programming が主催する論理プログラミングに関する国際会議 ICLP2023 において，以下の論文が ALP 10-Year Test-of-Time Award を受賞した．
Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue and Torsten Schaub.
Answer Set Programming as a Modeling Language for Course Timetabling.
Theory and Practice of Logic Programming,
13(4-5):783-798, Cambridge Journals, 2013.
DOI: 10.1017/S1471068413000495 - URL：
https://dx.doi.org/10.1017/S1471068423000212