skip to main content
10.1007/978-3-030-05998-9_3guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

Personalized Course Schedule Planning Using Answer Set Programming

Published: 14 January 2019 Publication History

Abstract

Course scheduling or timetabling is a well-known problem that is generally studied from the perspective of schools; the goal is to schedule the courses, considering, e.g., the expected number of students, the sizes of the available classrooms, time conflicts between courses of the same category. We study a complementary problem to help the students during the course registration periods; the goal is to plan personalized course schedules for students, considering, e.g., their preferences over sections, instructors, distribution of the courses. We present a declarative method to compute personalized course schedules, and an application of this method using answer set programming, and discuss promising results of some preliminary user evaluations via surveys.

References

[1]
Aini, I.F., Saptawijaya, A., Aminah, S.: Bringing answer set programming to the next level: a real case on modeling course timetabling. In: Proceedings of ICACSIS, pp. 471–476 (2017)
[2]
Ajanovski VV Daniel F, Papadopoulos GA, and Thiran P A personal mobile academic adviser Mobile Web Information Systems 2013 Heidelberg Springer 300-303
[3]
Ajanovski, V.V.: Curriculum mapping as a tool for improving students satisfaction with the choice of courses. In: Proceedings of ITiCSE, pp. 76–77 (2017)
[4]
Asín Achá R and Nieuwenhuis R Curriculum-based course timetabling with sat and maxsat Ann. Oper. Res. 2014 218 1 71-91
[5]
Banbara, M., et al.: teaspoon: solving the curriculum-based course timetabling problems with answer set programming. Ann. Oper. Res. (2018)
[6]
Banbara M, Soh T, Tamura N, Inoue K, and Schaub T Answer set programming as a modeling language for course timetabling TPLP 2013 13 4–5 783-798
[7]
Baral C Knowledge Representation, Reasoning, and Declarative Problem Solving 2003 New York Cambridge University Press
[8]
Brewka G, Eiter T, and Truszczynski M Answer set programming at a glance ACM Communun. 2011 54 12 92-103
[9]
Brewka G, Eiter T, and Truszczynski M Answer set programming: an introduction to the special issue AI Mag. 2016 37 3 5-6
[10]
Gebser M, Kaufmann B, Kaminski R, Ostrowski M, Schaub T, and Schneider MT Potassco: the potsdam answer set solving collection AI Comm. 2011 24 2 107-124
[11]
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of ICLP, pp. 1070–1080. MIT Press (1988)
[12]
Gelfond M and Kahl Y Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach 2014 New York Cambridge University Press
[13]
Gelfond M and Lifschitz V Classical negation in logic programs and disjunctive databases New Gener. Comput. 1991 9 365-385
[14]
Lifschitz V Answer set programming and plan generation AIJ 2002 138 39-54
[15]
Marek V and Truszczyński M Apt KR, Marek VW, Truszczynski M, and Warren DS Stable models and an alternative logic programming paradigm The Logic Programming Paradigm. Artificial Intelligence 1999 Heidelberg Springer 375-398
[16]
McCollum B Burke EK and Rudová H A perspective on bridging the gap between theory and practice in university timetabling Practice and Theory of Automated Timetabling VI 2007 Heidelberg Springer 3-23
[17]
Niemelä I Logic programs with stable model semantics as a constraint programming paradigm Ann. Math. Artif. Intell. 1999 25 241-273
[18]
Schaerf A A survey of automated timetabling AI Rev. 1999 13 2 87-127

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings
Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
Jan 2019
247 pages
ISBN:978-3-030-05997-2
DOI:10.1007/978-3-030-05998-9

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 14 January 2019

Author Tags

  1. Course scheduling
  2. Answer set programming
  3. Declarative problem solving

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 06 Jan 2025

Other Metrics

Citations

Cited By

View all

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media