Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture Export

@incollection{citeulike:3920566, 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.}, author = {Baldoni, Matteo and Baroglio, Cristina and Brunkhorst, Ingo and Marengo, Elisa and Patti, Viviana}, citeulike-article-id = {3920566}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/978-3-540-75195-3_32}, citeulike-linkout-1 = {http://www.springerlink.com/content/627w21u678402764}, doi = {10.1007/978-3-540-75195-3_32}, journal = {Creating New Learning Experiences on a Global Scale}, keywords = {adaptive-educational-system, adaptive-navigation, curriculum-sequencing, lecture-2}, pages = {426--431}, posted-at = {2009-01-21 16:56:17}, priority = {2}, title = {Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture}, url = {http://dx.doi.org/10.1007/978-3-540-75195-3_32}, year = {2007} }

TY - CHAP ID - citeulike:3920566 L3 - citeulike-article-id:3920566 N2 - 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. JF - Creating New Learning Experiences on a Global Scale EP - 431 TI - Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture SP - 426 KW - adaptive-educational-system KW - adaptive-navigation KW - curriculum-sequencing KW - lecture-2 AU - Baldoni, Matteo AU - Baroglio, Cristina AU - Brunkhorst, Ingo AU - Marengo, Elisa AU - Patti, Viviana PY - 2007/// UR - http://dx.doi.org/10.1007/978-3-540-75195-3_32 ER -