ニュース / News
受賞
井上 克巳 教授(情報学プリンシプル研究系)らの論文が国際会議 ICLP 2023でThe 10 year test-of-time awardを受賞
国際会議名
International Conference on Logic Programming (ICLP 2023)
賞の名称
The 10 year test-of-time award
授与団体・学会
Association for Logic Programming
受賞対象の論文
Answer set programming as a modeling language for course timetabling
受賞者
番原 睦則(名古屋大学)
宋 剛秀(神戸大学)
田村 直之(神戸大学)
井上 克巳(国立情報学研究所)
Torsten Schaub(ポツダム大学)
受賞日
2023年7月13日
関連リンク
- The 39th International Conference on Logic Programming (ICLP 2023)
- Introduction to the 39th International Conference on Logic Programming Special Issue - Cambridge University Press
- Answer set programming as a modeling language for course timetabling - Cambridge University Press
- 井上 克巳 - 情報学プリンシプル研究系 - 研究者紹介

NII Today No.106
NIIサービスニュース
国立情報学研究所 2025年度 概要
SINET広報サイト
ウェブサイト「軽井沢土曜懇話会アーカイブス」を公開
SINETStream 事例紹介:トレーラー型動物施設 [徳島大学 バイオイノベーション研究所]
情報研シリーズ これからの「ソフトウェアづくり」との向き合い方
学術研究プラットフォーム紹介動画
教育機関DXシンポ
高等教育機関におけるセキュリティポリシー