Reasoning-based curriculum sequencing and validation: integration in a service-oriented architecture

Authors:
Matteo Baldoni;Cristina Baroglio;Ingo Brunkhorst;Elisa Marengo;Viviana Patti
Affiliations:
Dipartimento di Informatica, Università Degli Studi di Torino, Torino, Italy;Dipartimento di Informatica, Università Degli Studi di Torino, Torino, Italy;L3S Research Center, University of Hannover, Hannover, Germany;Dipartimento di Informatica, Università Degli Studi di Torino, Torino, Italy;Dipartimento di Informatica, Università Degli Studi di Torino, Torino, Italy
Venue:
EC-TEL'07 Proceedings of the Second European conference on Technology Enhanced Learning: creating new learning experiences on a global scale
Year:
2007

Citing 5
Cited 6

Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Visual Web Information Extraction with Lixto

Proceedings of the 27th International Conference on Very Large Data Bases
Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions

Artificial Intelligence Review
Curriculum Model Checking: Declarative Representation and Verification of Properties

EC-TEL '07 Proceedings of the 2nd European conference on Technology Enhanced Learning: Creating New Learning Experiences on a Global Scale
DecSerFlow: towards a truly declarative service flow language

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods

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
Navigation support for learners in informal learning environments

Proceedings of the 2008 ACM conference on Recommender systems
Original papers: Model-checking for adventure videogames

Information and Software Technology
Language engineering techniques for the development of e-learning applications

Journal of Network and Computer Applications
Adaptive construction and delivery of web-based learning paths

FIE'09 Proceedings of the 39th IEEE international conference on Frontiers in education conference
The Lecomps5 framework for personalized web-based learning: A teacher's satisfaction perspective

Computers in Human Behavior

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a service-oriented personalization system, set in an educational framework, based on a semantic annotation of courses including prerequisites and learning objectives. The system supports users in planning personalized curricula and in verifying the compliance of curricula against a model describing the designer goals. We have developed a prototype of the planning and validation services, by using SWI-Prolog and the SPIN model checker as reasoning engines. The services are supplied and combined in the Personal Reader framework.