Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Find Similar Add to Favorite

Call Number SEM-372
Collection Type Indeks Artikel prosiding/Sem
Title Bringing Answer Set Programming to the Next Level: a Real Case on Modeling Course Timetabling. Hal 471-476
Author Irvi Firqotul Aini, Ari Saptawijaya, Siti Aminah;
Publisher ICACSIS International Conference on Adavanced Computer Science and Information System
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
SEM-372 TERSEDIA
Tidak ada review pada koleksi ini: 47399
Abstract- The course timetabling problem can be defined as the task of assigning a number of lectures info a limited set of time slots and rooms, subject to a sets of given constrains. The potential of answer set programming (ASP), an extension of logic programming, to declaratively model course timetabling competition. Within ASP, a problem is expressed as a logic the semantics of the logic program and the solutions to the problem are obtained from the semantics of the logic program, viz., the stable models of the program. In this paper, ASP is employed to encode the course timetabling problem of the Faculty of Computer Science, Universitas Indonesia, aiming at satisfying hard constrains and minimizing the penalty incurred due to the violation of soft constrains. We identify hard constrains from this real world problem that have not been considered in the existing ASP approach, and we show how they are expressed in ASP. Our experiments using the state-of-the-art ASP solver clingo show that several alternative of optimal course timetables are successfully delivered while satisfying all hard constrains in an encouraging execution time. We also provide a lightweight application with a graphical user interface and clingo as the back-end, that automatically pre-processes an instance specification into clingo syntax, computes and post-processes its solutions into tabular form.