Constraint modeling for curriculum planning and validation

Interactive Learning Environments

Volumn 19, Issue 1, 2011, Pages 81-123

  Baldoni, Matteo ^a   Baroglio, Cristina ^a   Brunkhorst, Ingo ^b   Henze, Nicola ^b   Marengo, Elisa ^a   Patti, Viviana ^a  

^a UNIVERSITY OF TURIN   (Italy)

^b L3S RESEARCH CENTER   (Germany)

Author keywords

Curriculum sequencing and validation; Linear time logic and model checking techniques; Semantic technologies for personalization; Semantic enhanced learning designs; Semantic rich serviceoriented architectures

Indexed keywords

EID: 78751612487     PISSN: 10494820     EISSN: 17445191     Source Type: Journal    
DOI: 10.1080/10494820.2011.528893     Document Type: Article

References (74)

1. Abel, F., Brunkhorst, I., Henze, N., Krause, D., Mushtaq, K., Nasirifar, P., & Tomaschweski, K. (2006). Personal reader agent: Personalized access to configurable web services (Technical report). Distributed Systems Institute, Semantic Web Group, University of Hannover. Retrieved from http://www.personal-reader.de/wp/publications
2. Allen, J.F. (1983). Maintaining knowledge about temporal intervals. ACM 26 (11), pp. 832-843.
3. Antoniou, G., Franconi, E., & van Harmelen, F. (2005). Introduction to semantic web ontology languages. In N. Eisinger & J. Małuszyń ski (Eds.), Reasoning web, lecture notes in computer science (pp. 1-21). Heidelberg, Germany: Springer-Verlag.
4. Antoniou, G., UweAßmann, U., Baroglio, C., Decker, S., Henze, N., Patranjan, P.L., & Tolksdorf, R. (Eds.). (2007). Reasoning web, third international summer school 2007, Dresden, Germany, 3-7 September 2007. In Tutorial Lectures: Vol. 4636. Lecture Notes in Computer Science. Heidelberg, Germany: Springer.
5. Antoniou, G., & van Harmelen, F. (2004). A semantic web primer. Cambridge, MA: MIT Press.
6. Baldoni, M., Baroglio, C., Brunkhorst, I., Henze, N., Marengo, E., & Patti, V. (2006a). A personalization service for curriculum planning. In E. Herder & D. Heckmann (Eds.), Proceedings of the 14th Workshop on Adaptivity and User Modeling in Interactive Systems, ABIS 2006: Vol. 1/2006 (pp. 17-20). October 2006. Hildesheim, Germany: University of Hildesheim, Institute of Computer Science.
7. Baldoni, M., Baroglio, C., Brunkhorst, I., Marengo, E., & Patti, V. (2007a). Reasoning-based curriculum sequencing and validation: integration in a service-oriented architecture. In E. Duval & R. Klamma (Eds.), Proceedings of EC-TEL 2007 - Second European Conference on Technology Enhanced Learning: Vol. 4756. LNCS (pp. 426-431). Heidelberg, Germany: Springer.
8. Baldoni, M., Baroglio, C., & Henze, N. (2005). Personalization for the Semantic Web. In N. Eisinger & J. Maluszynski (Eds.), Reasoning Web, First International REWERSE Summer School 2005: Vol. 3564. LNCS (pp. 173-212). Heidelberg, Germany: Springer-Verlag.
9. Baldoni, M., Baroglio, C., Henze, N., & Patti, V. (2002). Setting up a framework for comparing adaptive educational hypermedia: first steps and application on curriculum sequencing. In N. Henze (Ed.), Proceedings of ABIS-Workshop 2002: Personalization for the Mobile World, Workshop on Adaptivity and User Modeling in Interactive Software Systems (pp. 43-50). Hannover, Germany: Learning Lab Lower Saxony (L3S).
10. Baldoni, M., Baroglio, C., & Marengo, E. (2007b). Curricula modeling and checking. In R. Basili &M.T. Pazienza (Eds.), Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence, AI*IA 2007: Vol. 4733. LNCS (pp. 471-482). Heidelberg, Germany: Springer.
11. Baldoni, M., Baroglio, C., Martelli, A., Patti, V., & Torasso, L. (2006b). Verifying the compliance of personalized curricula to curricula models in the semantic web. In M. Bouzid & N. Henze (Eds.), Proceedings of the Semantic Web Personalization Workshop, held in conjunction with the Third European Semantic Web Conference (pp. 53-62). Heidelberg, Germany: Springer.
12. Baldoni, M., Baroglio, C., & Patti, V. (2004a). Web-based adaptive tutoring: An approach based on logic agents and reasoning about actions. Artificial Intelligence Review, 22 (1), 3-39.
13. Baldoni, M., Baroglio, C., Patti, V., & Torasso, L. (2004b). Reasoning about learning object metadata for adapting SCORM courseware. In L. Aroyo & C. Tasso (Eds.), AH 2004: Workshop Proceedings, Part I, International Workshop on Engineering the Adaptive Web, EAW'04: Methods and Technologies for Personalization and Adaptation in the Semantic Web (pp. 4-13). Eindhoven, The Netherlands: Technische Universiteit Eindhoven.
14. Baumgartner, R., Flesca, S., & Gottlob, G. (2001). Visual web information extraction with Lixto. In P.M.G. Apers, P. Atzeni, S. Ceri, S. Paraboschi, K. Ramamohanarao & R.T. Snodgrass (Eds.), VLDB (pp. 119-128). San Francisco: Morgan Kaufmann.
15. Baumgartner, R., Henze, N., & Herzog, M. (2005). The personal publication reader: illustrating web data extraction, personalization and reasoning for the Semantic Web. In A. Gó mez-Pérez & J. Euzenat (Eds.), European Semantic Web Conference ESWC 2005 (pp. 515-530). Heidelberg, Germany: Springer.
16. Berners-Lee, T. (2000). Semantic Web - Keynote at XML 2000 Conference. Retrieved from http://www.w3.org/2000/Talks/1206-xml2k-tbl/slide10-0.html
17. Berners-Lee, T. (2002). The Semantic Web - MIT/LCS seminar. Retrieved from http://www.w3c.org/2002/Talks/09-lcs-sweb-tbl/
18. Bertolotti, P. (2005). Behavioral characterization for multimedia documents (PhD Thesis). Università degli Studi di Torino, Torino, Italy.
19. Brady, A., Conlan, O., Wade, V., & Dagger, D. (2008). Supporting users in creating pedagogically sound personalised learning objects. In W. Nejdl, J. Kay, P. Pu & E. Herder (Eds.), Adaptive Hypermedia and Adaptive Web-Based Systems: Vol. 5149. LNCS (pp. 52-61). Heidelberg, Germany: Springer.
20. Brunkhorst, I., Tönnies, S., & Balke,W.T. (2008). Multimedia content provisioning using service oriented architectures. In ICWS'08: Proceedings of the 2008 IEEE International Conference on Web Services (pp. 262-269). Washington, DC: IEEE Computer Society.
21. Brusilovsky, P. (2000). Course sequencing for static courses? Applying ITS techniques in largescale web-based education. In G. Gauthier, C. Frasson & K. van Lehn (Eds.), Proceedings of the Fifth Conference on Intelligent Tutoring Systems (pp. 625-634). Heidelberg, Germany: Springer.
22. Brusilovsky, P., & Vassileva, J. (2003). Course sequencing techniques for large-scale webbased education. International Journal of Continuing Engineering Education and Lifelong Learning, 13, 75-94.
23. Cabral, L., Domingue, J., Galizia, S., Gugliotta, A., Norton, B., Pedrinaci, C., & Tanasescu, V. (2006). IRS-III: A broker for SemanticWeb services based applications. In I.F. Cruz, S. Decker, D. Allemang, C. Preist, D. Schwabe, P. Mika,. L. Aroyo (Eds.), Proceedings of the 5th International Semantic Web Conference (ISWC 2006) (pp. 201-214). Heidelberg, Germany: Springer.
24. Candan, K.S., Kwon, G., Peng, L., & Sapino, M.L. (2006). Modeling adaptive media processing workflows. In L. Guan & H.-J. Zhang (Eds.), IEEE International Conference on Multimedia and Expo (pp. 573-576). Toronto, Canada: IEEE.
25. Castro, C., & Manzano, S. (2001). Variable and value ordering when solving balanced academic curriculum problems. In K.R. Apt, R. Barták & E. Monfray (Eds.), Proceedings of the Sixth Workshop of ERCIM WG on Constraints. Prague, Czech: ACM Press.
26. Celentano, A., & Gaggi, O. (2003). Template-based generation of multimedia presentations. International Journal of Software Engineering and Knowledge Engineering, 13, 419-445.
27. Clarke, O.E.M., & Peled, D. (2001). Model checking. Cambridge, MA: MIT Press.
28. Conlan, O., Dagger, D., & Wade, V. (2002). Towards a standards-based approach to e-learning personalization using reusable learning objects. In M. Driscoll & T.C. Reeves (Eds.), Proceedings of World Conference on E-Learning, E-Learn 2002 (pp. 210-217). Montreal, Canada: AACE.
29. De Coi, J.L., Herder, E., Koesling, A., Lofi, C., Olmedilla, D., Papapetrou, O., et al. (2007). A model for competence gap analysis. In J. Cordeiro, J. Filipe & S. Hammoudi (Eds.), WEBIST 2007, Proceedings of the Third International Conference on Web Information Systems and Technologies: Internet Technology/Web Interface and Applications. Barcelona, Spain: INSTICC Press.
30. Eisinger, N., & Maluszynski, J. (Eds.). (2005). Reasoning web, first international summer school 2005. In Tutorial Lectures: Vol. 3564. Lecture notes in computer science. Heidelberg, Germany: Springer.
31. Emerson, E.A. (1990). Temporal and modal logic. In J. van Leeuwan (Ed.), Handbook of Theoretical Computer Science (pp. 995-1072). Amsterdam, The Netherlands: North- Holland.
32. European Commission, Education and Training. (1999). The Bologna Process. Retrieved from http://europa.eu.int/comm/education/policies/educ/bologna/bologna_en.html
33. Euzenat, J., & Shvaiko, P. (2007). Ontology matching. Heidelberg, Germany: Springer-Verlag.
34. Farrell, R., Liburd, S.D., & Thomas, J.C. (2004). Dynamic assembly of learning objects. In S.I. Feldman, M. Uretsky, M. Najork & C.E. Wills (Eds.), Proceedings of WWW 2004 (pp. 162-169). New York, NY: ACM.
35. Gallardo, M.D.M., Merino, P., & Pimentel, E. (2002). Debugging UML designs with model checking. Journal of Object Technology, 1, 101-117.
36. Garro, A., Leone, N., & Ricca, F. (2003). Logic based agents for e-learning. In P. Baumgartner, P.A. Cairns, M. Kohlhase & E. Melis (Eds.), Proceedings of the IJCAI'03 Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems (pp. 36-45). Koblenz, Germany: University of Koblenz.
37. Garro, A., Palopoli, L., & Ricca, F. (2006). Exploiting agents in e-learning and skills management context. AI Communications, 19, 137-154.
38. Guelfi, N., & Mammar, A. (2005). A formal semantics of timed activity diagrams and its PROMELA translation. In Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC'05) (pp. 283-290). Taipei, Taiwan: IEEE Computer Society.
39. Hackelbusch, R., & Appelrath, H. (2008). A distributed ontological approach as a basis for software in the context of academic programs. In P. Dillenbourg & M. Specht (Eds.), ECTEL, Vol. 5192 (pp. 122-127). Heidelberg, Germany: Springer.
40. Henze, N. (2005). Personal readers: Personalized learning object readers for the Semantic Web. In 12th International Conference on Artificial Intelligence in Education, AIED05. Amsterdam, the Netherlands: IOS Press.
41. Henze, N., & Krause, D. (2006). Personalized access to web services in the Semantic Web. Paper presented at the 3rd International Semantic Web User Interaction Workshop, Athens, Georgia, USA.
42. Henze, N., & Nejdl, W. (2001). Adaptation in open corpus hypermedia. IJAIED Special Issue on Adaptive and Intelligent Web-Based Systems, 12, 325-350.
43. Holzmann, G.J. (2003). The SPIN model checker, primer and reference manual. Massachussetts, MA: Addison-Wesley.
44. Laborie, S. (2006). Spatio-temporal proximities for multimedia document adaptation. In J. Euzenat & J. Domingue (Eds.), Artificial intelligence: Methodology, systems, and applications: Vol. 4183. LNCS. Heidelberg, Germany: Springer.
45. Lambert, T., Castro, C., Monfroy, E., & Saubion, F. (2006). Solving the balanced academic curriculum problem with a hybridization of genetic algorithm and constraint propagation. In L. Rutkowski, R. Tadeusiewicz, L.A. Zadeh & J. Zurada (Eds.), Artificial intelligence and soft computing, ICAISC 2006: Vol. 4029. LNCS (pp. 410-419). Heidelberg, Germany: Springer.
46. Learning Technology Standards Committee. (2002). IEEE standard for learning object metadata. IEEE Standard 1484.12.1. Washington, DC: Institute of Electrical and Electronics Engineers.
47. Lennon, J., & Maurer, H. (2003). Why it is difficult to introduce e-learning into schools and some new solutions. Journal of Universal Computer Science, 9, 1244-1257.
48. Li, L., Karmouch, A., & Georganas, N.D. (1994). Multimedia teleorchestra with independent sources: Part 1. Temporal modeling of collaborative multimedia scenarios. Multimedia Systems, 1, 143-153.
49. Little, T., & Ghafoor, A. (1990). Synchronization and storage models for multimedia objects. IEEE Journal on Selected Areas in Communications, 8, 413-427.
50. Marengo, E. (2008). Curricula di Studi: Modelli e Verifica di Competenze. Laurea Specialistica in Sistemi per il Trattamento dell'Informazione, Corso di Studi in Informatica, Università degli Studi di Torino.
51. Mascardi, V., Rosso, P., & Cordi, V. (2007). Enhancing communication inside multi-agent systems. An approach based on alignment via upper ontologies. In M. Baldoni, C. Baroglio & V. Mascardi (Eds.), Proceedings of MALLOW-AWESOME'007. First workshop on agents, web-services, and ontologies (pp. 92-107). Durham: Durham University.
52. Melia, M., & Pahl, C. (2006). Automatic validation of learning object compositions. In Information Technology and Telecommunications Conference IT&T'2005: Doctoral Symposium. Carlow, Ireland: TecNet.
53. Melia, M., & Pahl, C. (2007a). An information architecture for validating courseware. In Proceedings of LODE. Retrieved from CEUR-WS.org
54. Melia, M., & Pahl, C. (2007b). Pedagogical validation of courseware. In E. Duval, R. Klamma & M. Wolpers (Eds.), Proceedings of EC-TEL, Vol. 4753, LNCS (pp. 499-504). Heidelberg, Germany: Springer.
55. Mohan, P., & Brooks, C. (2003). Learning object on the SemanticWeb. In D.S.V. Devedzic, J. Spector & Kinshuk (Eds.), Proceedings of the 3rd IEEE International Conference on Advanced Learning Technologies. Athens, Greece: IEEE.
56. OMG. (2007). Unified modeling language: Superstructure. version 2.1.1. Massachussetts, MA: OMG, Object Management Group.
57. Paschke, A., & Biletskiy, Y. (Eds.). (2007). Advances in rule interchange and applications: Vol. 601. LNCS. Heidelberg, Germany: Springer.
58. Pazzi, L. (1998). Three points of view in the characterization of complex entities. In N. Guarino (Ed.), Formal ontology in information systems (195-206). Amsterdam, The Netherlands: IOS Press.
59. Persico, D. (1996). Courseware validation: a case study. Journal of Computer Assisted Learning, 12, 232-244.
60. Pistamiglio, O. (2007). Sviluppo di un plugin grafico per Eclipse: DCML Designer. Laurea specialistica in informatica, Corso di Studi in Informatica, Università degli Studi di Torino.
61. REWERSE. (2008). Reasoning on the web with rules and semantics. Retrieved from http://www.rewerse.net
62. Roman, D., Keller, U., Lausen, H., de Bruijn, J., Lara, R., Stollberg, M., et al. (2005). Web service modeling ontology. Applied Ontology, 1, 77-106.
63. Rosmalen, P.V., Vogten, H., Es, R., Passier, H., Poelmans, P., & Koper, R. (2006). Authoring a full life cycle model in standards-based, adaptive e-learning. Journal of Educational Technology and Society, 9(1), 72-83.
64. Russell, S., & Norvig, P. (2003). Artificial intelligence: A modern approach (2nd ed.). Prentice Hall Series in Artificial Intelligence. New Jersey, NJ: Prentice-Hall.
65. Samples, J.W. (2002). The pedagogy of technology - our next frontier? Connexions, 14, 4-5.
66. Schaffert, S. & Bry, F. (2002). A gentle introduction to Xcerpt, a rule-based query and transformation language for XML. In M. Schroeder & G. Wagner (Eds.), RuleML (Vol. 60). Retrieved from CEUR-WS.org
67. Stojanovic, L., Staab, S., & Studer, R. (2001). eLearning based on the Semantic Web. In W.A. Lawrence-Fowler & J. Hasebrook (Eds.), WebNet2001 - World Conference on the WWW and Internet (pp. 23-27). Orlando, FL: AACE.
68. Terenziani, P., Giordano, L., Bottrighi, A., Montani, S., & Donzella, L. (2006). SPIN model checking for the verification of clinical guidelines. In G. Brewka, S. Coradeschi, A. Perini & P. Traverso (Eds.), Proceedings of ECAI 2006 Workshop on AI Techniques in Healthcare: Evidence-Based Guidelines and Protocols. Riva del Garda: IOS Press.
69. van der Aalst, W.M.P. & Pesic, M. (2006). DecSerFlow: Towards a truly declarative service flow language. In M. Bravetti & G. Zavattaro (Eds.), Proceedings of WS-FM (pp. 1-23). LNCS. Vienna: Springer.
70. Vassileva, J. (1992). Dynamic CAL-courseware generation within an ITS-shell architecture. In I. Tomek (Ed.), Computer assisted learning: Vol. 601 (pp. 581-591). LNCS. Heidelberg, Germany: Springer.
71. W3C. (2001). Synchronized multimedia integration language (SMIL 2.0) specification. Retrieved from: http://www.w3.org/TR/SMIL2/
72. W3C. (2004a). RDF Primer. Retrieved from http://www.w3.org/TR/rdf-primer/
73. W3C. (2004b). OWL web ontology language semantics and abstract syntax. Retrieved from http://www.w3.org/TR/owl-semantics/
74. Wu, K. & Havens, W.S. (2005). Modelling an academic curriculum plan as a mixed-initiative constraint satisfaction problem. In B. Kégl & G. Lapalme (Eds.), Canadian Conference on AI (Vol. 3501, pp. 79-90). LNCS. Heidelberg, Germany: Springer.