Handbook of theoretical computer science (vol. B)
Dynamic assembly of learning objects
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions
Artificial Intelligence Review
Curricula Modeling and Checking
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Personalization for the semantic web
Proceedings of the First international conference on Reasoning Web
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Hi-index | 0.00 |
When a curriculum is proposed, it is important to verify at least three aspects: that the curriculum allows the achievement of the user's learning goals, that the curriculum is compliant w.r.t. the course design goals, specified by the institution that offers it, and that the sequence of courses that defines the curriculum does not have competency gaps. In this work, we present a constrained-based representation for specifying the goals of "course design" and introduce a design graphical language, grounded into Linear Time Logic.