News
Award
A paper by Prof. INOUE Katsumi and others was awarded as The 10 year test-of-time award of ICLP 2023
Conference
International Conference on Logic Programming (ICLP 2023)
Award
The 10 year test-of-time award
Organization
Association for Logic Programming
Paper Title
Answer set programming as a modeling language for course timetabling
Name
Mutsunori Banbara (Nagoya University)
Takehide Soh (Kobe University)
Naoyuki Tamura (Kobe University)
Katsumi Inoue (NII)
Torsten Schaub (University of Potsdam)
Date
July 13th, 2023
Links
- 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
- INOUE Katsumi - Principles of Informatics Research Division - Faculty

NII Today No.105(EN)
Overview of NII 2025
Summary of NII 2024
NII Today No.104(EN)
NII Today No.103(EN)
Overview of NII 2024
Guidance of Informatics Program, SOKENDAI 24-25
NII Today No.102(EN)
SINETStream Use Case: Mobile Animal Laboratory [Bio-Innovation Research Center, Tokushima Univ.]
The National Institute of Information Basic Principles of Respect for LGBTQ
DAAD