Abstract
In this work we propose the introduction of a decoupling between personalized curricula and curricula models. A curricula model is formalized as a set of time constraints, while personalized curricula are formalized by means of an action theory. Given this framework, it is possible to make various interesting verification tasks automatic. In particular, we will discuss the possibility of verifying the compliance of personalized curricula to models, by using temporal reasoning. Compliance verification allows to check the soundness of a curriculum customized w.r.t. available resources and user goals against a model that expresses temporal learning dependencies at the knowledge level.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-078

BibTeX:

@inproceedings{REWERSE-RP-2006-078,
	author = {Matteo Baldoni and Cristina Baroglio and Alberto Martelli and Viviana Patti and Laura Torasso},
	title = {Verifying the compliance of personalized curricula to curricula models in the semantic web},
	booktitle = {Proceedings of Semantic Web Personalization Workshop, Budva, Montenegro (12th June 2006)},
	year = {2006},
	pages = {53--62},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-078}
}