A logic approach to conflict resolution in university timetabling.

Le. Kang
A computerized timetabling system developed at University of Ottawa is presented. The system is built on a logic programming model which uses first order logic to define first order and second order constraints in timetabling. Information about courses, professors, and student programs is collected for each academic year and used in the process of constructing timetables. The time schedule produced by the system takes into account course conflicts, professor availability, professor teaching preferences, pre-assignments, classroom...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.