10.20381/ruor-14524
Kang, Le.
A logic approach to conflict resolution in university timetabling.
Université d'Ottawa / University of Ottawa
1990
Computer Science.
Université d'Ottawa / University of Ottawa
Université d'Ottawa / University of Ottawa
2009-03-20
2009-03-20
1990
1990
Thesis
Source: Masters Abstracts International, Volume: 30-03, page: 0787.
9780315600034
http://hdl.handle.net/10393/5767
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 location choices, and many other important factors that affect its user satisfaction level. Along with the system's ability to include factors such as professor availability, professor teaching preferences and classroom location, the analysis of test results at the University of Ottawa shows a large improvement in the time utilization and seating usage of classrooms, compared to the corresponding timetables that are produced by the traditional manual processes. (Abstract shortened by UMI.)