Publications
- M. Baldoni and E. Marengo.
Curriculum Model Checking:
Declarative Representation and Verification of Properties.
In E. Duval, R. Klamma, and M. Wolpers, editors, Proc. of EC-TEL 2007 -
Second European Conference on Technology Enhanced Learning, volume
4753 of LNCS, pages 432-437. Springer, 2007.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, V. Patti, and L. Torasso.
Verifying the
compliance of personalized curricula to curricula models in the semantic
web.
In M. Bouzid and N. Henze, editors, Proc. of the Semantic Web
Personalization Workshop, held in conjuction with the 3rd European Semantic
Web Conference, pages 53-62, Budva, Montenegro, 2006.
(PDF)
|