Answer set programming as a modeling language for course timetabling.
Mutsunori BanbaraTakehide SohNaoyuki TamuraKatsumi InoueTorsten SchaubPublished in: Theory Pract. Log. Program. (2013)
Keyphrases
- modeling language
- answer set programming
- constraint satisfaction
- logic programming
- answer sets
- metamodel
- logic programs
- constraint logic programming
- answer set programs
- formal semantics
- stable models
- causal theories
- declarative language
- stable model semantics
- update semantics
- uml profile
- machine learning
- development process
- qualitative spatial and temporal reasoning