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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4753 LNCS, Issue , 2007, Pages 426-431

  Baldoni, Matteo ^a   Baroglio, Cristina ^a   Brunkhorst, Ingo ^b   Marengo, Elisa ^a   Parti, Viviana ^a  

^a UNIVERSITY OF TURIN   (Italy)

^b L3S RESEARCH CENTER   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; CURRICULA; MODEL CHECKING; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

CURRICULUM SEQUENCING; EDUCATIONAL FRAMEWORKS; SEMANTIC ANNOTATION; SERVICE ORIENTED PERSONALIZATION SYSTEMS;

CASE BASED REASONING;

EID: 38349129672     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75195-3_32     Document Type: Conference Paper

References (15)

1. Baldoni, M., Baroglio, C., Brunkhorst, I., Henze, N., Marengo, E., Patti, V.: A Personalization Service for Curriculum Planning. In: ABIS 2006. Proc. of the 14th Workshop on Adaptivity and User Modeling in Interactive Systems, Hildesheim, Germany, pp. 17-20 (2006)
2. Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Torasso, L.: Verifying the compliance of personalized curricula to curricula models in the semantic web. In: Proc. of the Semantic Web Personalization Workshop, pp. 53-62, Budva, Montenegro (2006)
3. Baldoni, M., Baroglio, C., Patti, V.: Web-based adaptive tutoring: An approach based on logic agents and reasoning about actions. Artificial Intelligence Review 1(22), 3-39 (2004)
4. Baldoni, M., Baroglio, C., Patti, V., Torasso, L.: Reasoning about learning object metadata for adapting SCORM courseware. In: Proc. of EAW'04, pp. 4-13 (2004)
5. Baldoni, M., Marengo, E.: Curricula model checking: declarative representation and verification of properties. In: Duval, E., Klamma, R., Wolpers, M. (eds.) EC-TEL 2007. LNCS, vol. 4753, Springer, Heidelberg (2007)
6. Baumgartner, R., Flesca, S., Gottlob, G.: Visual web information extraction with Lixto. In: VLDB, pp. 119-128. Morgan Kaufmann, San Francisco (2001)
7. Brusilovsky, P., Vassileva, J.: Course sequencing techniques for large-scale web-based education. Int. J. Cont. Engineering Education and Lifelong learning 13(1/2), 75-94 (2003)
8. Clarke, O.E.M., Peled, D.: Model checking. MIT Press, Cambridge, MA, USA (2001)
9. De Coi, J.L., Herder, E., Koesling, A., Lofi, C., Olmedilla, D., Papapetrou, O., Sibershi, W.: A model for competence gap analysis. In: Proc. of WEBIST 2007 (2007)
10. Emerson, E.A.: Temporal and modal logic. Handbook of Theoretical Computer Science B, 997-1072 (1990)
11. European Commission, Education and Training. The Bologna process, http://europa.eu.int/comm/education/policies/educ/bologna/bolognajen.html
12. Henze, N., Krause, D.: Personalized access to web services in the semantic web. In: The 3rd Int. Semantic Web User Interaction Workshop, SWUI (November 2006)
13. Holzmann, G.J.: The SPIN Model Checker. Addison-Wesley, Reading (2003)
14. Melia, M., Pahl, C.: Automatic Validation of Learning Object Compositions. In: Information Technology and Telecommunications Conf. IT&T2005: Doctoral Symposium (2006)
15. van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, Springer, Heidelberg (2006)