Publications
On this page, find my publications.
|
Carsten Ullrich. Pedagogically Founded Courseware Generation for Web-Based Learning -- An HTN-Planning-Based Approach Implemented in PAIGOS. , September, Lecture Notes in Artificial Intelligence, Number 5260, Springer, 2008. [BibTeX] [URL] |
|||||
BibTeX:
@book{Ullrich08Pedagogically,
author = {Carsten Ullrich},
title = {Pedagogically Founded Courseware Generation for Web-Based Learning -- An HTN-Planning-Based Approach Implemented in PAIGOS},
month = {September},
publisher = {Springer},
year = {2008},
series = {Lecture Notes in Artificial Intelligence},
number = {5260},
note = {ISBN 978-3-540-88213-8},
url = {http://www.springerlink.com/content/k604618p5351}
}
|
|||||
|
Heng Luo; Changyong Niu; Ruimin Shen & Carsten Ullrich. A collaborative filtering framework based on both local user similarity and global user similarity. Machine Learning, Volume 72, Number 3, Pages 231-245, 2008. [BibTeX] [URL] |
|||||
BibTeX:
@article{Luo08collaborative,
author = {Heng Luo and Changyong Niu and Ruimin Shen and Carsten Ullrich},
title = {A collaborative filtering framework based on both local user similarity and global user similarity},
journal = {Machine Learning},
year = {2008},
volume = {72},
number = {3},
pages = {231--245},
url = {http://dx.doi.org/10.1007/s10994-008-5068-4}
}
|
|||||
|
Carsten Ullrich & Paul Libbrecht. Educational Services in the ActiveMath Learning Environment. The Learning Grid Handbook: Concepts, Technologies and Applications, March, The Future of Learning, Pages 211-236, IOS Press Amsterdam, 2008. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: ACTIVEMATH is a Web-based learning environment for mathematics. In this article, we discuss ACTIVEMATH from a service and semantics perspective. We describe the service-oriented technologies of ACTIVEMATH and how the services interplay with the domain semantics (mathematics) and the pedagogical semantics used, e. g., for course generation. More specifically, we provide details on the knowledge representation for mathematics we use in ACTIVEMATH and how it is used to represent learning materials. We also elaborate on the representation of learning objects from a pedagogical point-of-view, that is, how we capture the instructional semantics. We then show how learning goals are represented and how a course generator assembles sequences of learning objects to fulfil these goals. Some tools in ACTIVEMATH are client-based and require different techniques. We use our assembly tool as an example to illustrate how ACTIVEMATH integrates client-based tools. | |||||
BibTeX:
@incollection{Ullrich-08-Grid-Educational,
author = {Carsten Ullrich and Paul Libbrecht},
title = {Educational Services in the ActiveMath Learning Environment},
booktitle = {The Learning Grid Handbook: Concepts, Technologies and Applications},
month = {March},
publisher = {IOS Press Amsterdam},
year = {2008},
series = {The Future of Learning},
pages = {211--236},
url = {http://www.carstenullrich.net/pubs/UllrichLibbrecht-ServiceArch-ElegiBook.pdf}
}
|
|||||
|
Carsten Ullrich; Kerstin Borau; Heng Luo; Xiaohong Tan; Liping Shen & Ruimin Shen. Why Web 2.0 is Good for Learning and for Research: Principles and Prototypes. Proceedings of the 17th International World Wide Web Conference, ACM, 2008. [Abstract] [BibTeX] [URL] [HTML] |
|||||
| Abstract: The term "Web 2.0" is used to describe applications that distinguish themselves from previous generations of software by a number of principles. Existing work shows that Web 2.0 applications can be successfully exploited for technology-enhance learning. However, in-depth analyses of the relationship between Web 2.0 technology on the one hand and teaching and learning on the other hand are still rare. In this article, we will analyze the technological principles of the Web 2.0 and describe their pedagogical implications on learning. We will furthermore show that Web 2.0 is not only well suited for learning but also for research on learning: the wealth of services that is available and their openness regarding API and data allow to assemble prototypes of technology-supported learning applications in amazingly small amount of time. These prototypes can be used to evaluate research hypotheses quickly. We will present two example prototypes and discuss the lessons we learned from building and using these prototypes. | |||||
BibTeX:
@inproceedings{Ullrich08Why,
author = {Carsten Ullrich and Kerstin Borau and Heng Luo and Xiaohong Tan and Liping Shen and Ruimin Shen},
title = {{Why Web 2.0 is Good for Learning and for Research: Principles and Prototypes}},
booktitle = {{Proceedings of the 17th International World Wide Web Conference}},
publisher = {ACM},
year = {2008},
url = {http://www.carstenullrich.net/pubs/Ullrich08Why.pdf}
}
|
|||||
|
Proceedings of the 2005 Joint Chinese-German Workshop on Cognitive Systems. , Shanghai, China, March, Lecture Notes in Artificial Intelligence, Volume 4429, Springer-Verlag, 2007. [BibTeX] [URL] |
|||||
BibTeX:
@proceedings{Luetal-WSCog-2007,,
title = {Proceedings of the 2005 Joint Chinese-German Workshop on Cognitive Systems},
address = {Shanghai, China},
month = {March},
publisher = {Springer-Verlag},
year = {2007},
series = {Lecture Notes in Artificial Intelligence},
volume = {4429},
url = {http://www.springerlink.com/content/p036136q7382/}
}
|
|||||
|
Carsten Ullrich; Ruimin Shen & Su-Shing Chen. Multimedia-Learning in a Life Science Workflow Environment. Advances in Multimedia Information Processing - PCM 2007, 8th Pacific Rim Conference on Multimedia, Hong Kong, China, December 11-14, 2007, Proceedings, Lecture Notes in Computer Science, Volume 4810, Pages 467-474, Springer, 2007. [Abstract] [BibTeX] [DOI] [URL] |
|||||
| Abstract: The Taverna workbench allows constructing highly complex analyses over life sciences data and computational resources. It provides access over 1000 of bioinformatic services, e.g., analysis algorithms for comparing genome sequences, and facilitates the construction of bioinformatic workflows. These workflows make tacit procedural bioinformatics explicit and as such lend themselves for being used in bioinformatics education. However, until now, no Taverna e-learning service exists. In this paper, we describe how Taverna can be used for learning and the services that need to be integrated in Taverna for that purpose. This includes a digital library of multimedia resources since multimedia, especially visualization, plays an important role in bioinformatics. Equally important is an intelligent educational service that automatically assembles learning activities and resources into a pedagogically coherent whole. | |||||
BibTeX:
@inproceedings{Ullrich-PCM07,
author = {Carsten Ullrich and Ruimin Shen and Su-Shing Chen},
title = {Multimedia-Learning in a Life Science Workflow Environment},
booktitle = {Advances in Multimedia Information Processing - PCM 2007, 8th Pacific Rim Conference on Multimedia, Hong Kong, China, December 11-14, 2007, Proceedings},
publisher = {Springer},
year = {2007},
series = {Lecture Notes in Computer Science},
volume = {4810},
pages = {467--474},
url = {http://www.carstenullrich.net/pubs/Ullrich-PCM07.pdf},
doi = {http://dx.doi.org/10.1007/978-3-540-77255-2_61}
}
|
|||||
|
Carsten Ullrich; Qinghua Chen; Sushing Chen; Liping Shen & Ruimin Shen. Investigating the Reuse of Course Generation Knowledge. Supporting Learning Flow through Integrative Technologies, Proceedings of the 15th International Conference on Computers in Education (ICCE2007), Hiroshima, Japan, Amsterdam, The Netherlands, Frontiers in Artificial Intelligence and Applications, Volume 162, Pages 97-104, IOS Press, 2007. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: Course generation knowledge, i.e., how to assemble a sequence of learning objects which is adapted to a learner's goals, competencies and preferences, is hard to assess and expensive to formalize, at least if it is based on pedagogical principles. On the other hand, once a course generator has been developed, it allows generating personalized courses for individual users at a relatively low cost. Therefore, course generation lends itself of being available as a (Web) service such that other systems can access its functionality without having to implement the knowledge themselves. In this paper we investigate whether this reuse of course generation knowledge works in practice. We took a course generator that was developed in the European project LeActiveMath and made it available for use in a Chinese distant university. In the paper, we describe how we represent the generic course generation knowledge and the difficulties we faced and the results we achieved when we applied the course generator in the Chinese setting. We also report on using course generation in a bioinformatic workflow environment. | |||||
BibTeX:
@inproceedings{Ullrich-ICCE07,
author = {Carsten Ullrich and Qinghua Chen and Sushing Chen and Liping Shen and Ruimin Shen},
title = {Investigating the Reuse of Course Generation Knowledge},
booktitle = {Supporting Learning Flow through Integrative Technologies, Proceedings of the 15th International Conference on Computers in Education (ICCE2007), Hiroshima, Japan},
address = {Amsterdam, The Netherlands},
publisher = {IOS Press},
year = {2007},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {162},
pages = {97--104},
url = {http://www.carstenullrich.net/pubs/Ullrich-ICCE07.pdf}
}
|
|||||
|
Carsten Ullrich. Course Generation as a Hierarchical Task Network Planning Problem. School: Computer Science Department, Saarland University, Saarbrücken, 2007. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: This thesis presents course generation based on Hierarchical Task Network planning (HTN planning). This course generation framework enables the formalization and application of complex and realistic pedagogical knowledge. Compared to previous course generation, this approach generates structured courses that are adapted to a variety of different learning goals and to the learners' competencies. The thesis describes basic techniques for course generation, which are used to formalize seven different types of courses (for instance introducing the learner to previously unknown concepts and supporting him during rehearsal) and several elementary learning goals (e.g., selecting an appropriate example or exercise). The course generator developed in this thesis is service-oriented thus allowing the integration of learning supporting services into the generated course in a generic and pedagogically sensible way. Furthermore, learning environments can access the functionality of the course generator using a Web-service interface. Repositories are treated as services that can register at the course generator and make their content available for course generation. The registration is based on an ontology of instructional objects. Its classes allow categorizing laerning objects according to their pedagogical purpose in a more precise way than existing metadata specifications; hence it can be used for intelligent pedagogical functionalities other than course generation. Course generation based on HTN planning is implemented in Paigos and was evaluated by technical, formative and summative evaluations. The technical evaluation primarily investigated the performance to Paigos; the formative and summative evaluations targeted the users' acceptance of Paigos and of the generated courses. |
|||||
BibTeX:
@phdthesis{ullrich07:PHD,
author = {Carsten Ullrich},
title = {Course Generation as a Hierarchical Task Network Planning Problem},
address = {Saarbr{\"u}cken},
school = {Computer Science Department, Saarland University},
year = {2007},
url = {http://www.carstenullrich.net/pubs/UllrichDiss.pdf}
}
|
|||||
|
Erica Melis; Ruimin Shen; Jörg Siekmann; Carsten Ullrich; Fan Yang & Peng Han. Challenges in Search and Usage of Multi-media Learning Objects. Proceedings of the 2005 Joint Chinese-German Workshop on Cognitive Systems, Shanghai, China, Lecture Notes in Artificial Intelligence, Volume 4429, Pages 36-44, Springer-Verlag, 2007. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: The definition, assembly and manipulation of learning objects is becoming more and more popular in learning environments. But despite standardization efforts their appropriate markup and practical usage still faces many difficulties, such as retrieval, true interoperability and cognitively adequate selection and presentation. This paper describes current work of the authors tackling some of these challenges. | |||||
BibTeX:
@inproceedings{Melisetal-MultimediaLOs-WSCS-2007,
author = {Erica Melis and Ruimin Shen and J{\"o}rg Siekmann and Carsten Ullrich and Fan Yang and Peng Han},
title = {Challenges in Search and Usage of Multi-media Learning Objects},
booktitle = {Proceedings of the 2005 Joint Chinese-German Workshop on Cognitive Systems},
address = {Shanghai, China},
publisher = {Springer-Verlag},
year = {2007},
series = {Lecture Notes in Artificial Intelligence},
volume = {4429},
pages = {36--44},
url = {http://www.carstenullrich.net/pubs/Melisetal-MultimediaLOs-WSCS-2007.pdf}
}
|
|||||
|
Erica Melis; Marianne Moormann; Carsten Ullrich; Georgi Goguadze & Paul Libbrecht. How ActiveMath Supports Moderate Constructivist Mathematics Teaching. Proceedings of the 8th International Conference on Technology in Mathematics Teaching, ICTMT8, Hradec Králové, Czech Republic, 2007. [Abstract] [BibTeX] |
|||||
| Abstract: ActiveMath is a Web-based intelligent e-Learning system for mathematics that can support a moderate constructivist teaching: it supports students with an amount of guidance and leaves sufficient space for the learner's own choices, reflection and activities; a student can choose one or several learning goals, a context and a learning scenario and for which ActiveMath generates personalized learning material; at places in the learning material, the learner can extend the book according to her needs; the student can engage in truly interactive problem solving (an input editor eases the input of mathematical expressions). Backend-engines support the diagnosis of the user's input. When the student makes a mistake while exercising, feedback is given and hints can be requested. In addition, the learner can consult the semantic lexicon, she can acquire printed material, interact with an interactive tools. | |||||
BibTeX:
@inproceedings{MelisetalICTMT07,
author = {Erica Melis and Marianne Moormann and Carsten Ullrich and Georgi Goguadze and Paul Libbrecht},
title = {How ActiveMath Supports Moderate Constructivist Mathematics Teaching},
booktitle = {Proceedings of the 8th International Conference on Technology in Mathematics Teaching, ICTMT8, Hradec Kr\'{a}lov\'{e}, Czech Republic},
year = {2007},
note = {published on CD-ROM}
}
|
|||||
|
Tianxiang Lu; Carsten Ullrich & Barbara Grabowski. Course Generation as a Web-Service for E-Learning Systems. The 2nd European Young Researchers Workshop on Service Oriented Computing, Leicester, UK, Pages 63-69, University of Leicester, 2007. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: A course generator provides personalized learning experiences by assembling structured sequences of learning objects that help learners to achieve their learning goals. They can be stored in a multitude of repositories and are selected by the course generator based on a set of pedagogical methods that take into account the learners' goals and individual properties such as mastery. This pedagogical knowledge needs to be elicited from pedagogical experts and hence is rather expensive to assess. Therefore, once a course generator has been developed, it makes sense to make course generation available as a web-service for web-based e-learning environments in order to reuse the pedagogical knowledge. In this paper, we present the web-service we developed for the course generator of the LeActiveMath system. We describe the service oriented architecture during the design and the suitability via the application. | |||||
BibTeX:
@inproceedings{tluCarstenBabara,
author = {Tianxiang Lu and Carsten Ullrich and Barbara Grabowski},
title = {Course Generation as a Web-Service for E-Learning Systems},
booktitle = {The 2nd European Young Researchers Workshop on Service Oriented Computing},
address = {Leicester, UK},
publisher = {University of Leicester},
year = {2007},
pages = {63--69},
url = {http://www.carstenullrich.net/pubs/Luetal-CGWS-yrSOA-2007.pdf}
}
|
|||||
|
Carsten Ullrich & Okhtay Ilghami. Challenges and Solutions for Hierarchical Task Network Planning in E-Learning. STAIRS 2006, Proceedings of the Third Starting AI Researchers' Symposium, Riva del Garda, Italy, Aug, Frontiers in Artificial Intelligence and Applications, Volume 142, Pages 271-272, IOS Press, 2006. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: When we applied the Hierarchical Task Network framework to Web-Based E-Learning, we encountered several challenges, which we will describe in this paper, together with our solutions. We believe that this work is of general interest, as today's WBLE are excellent examples of distributed information systems and illustrate the challenges that can arise in complex scenarios. | |||||
BibTeX:
@inproceedings{UllrichOkhtay-HTNEL-Stairs-2006,
author = {Carsten Ullrich and Okhtay Ilghami},
title = {Challenges and Solutions for Hierarchical Task Network Planning in E-Learning},
booktitle = {STAIRS 2006, Proceedings of the Third Starting AI Researchers' Symposium},
address = {Riva del Garda, Italy},
month = {Aug},
publisher = {IOS Press},
year = {2006},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {142},
pages = {271--272},
url = {http://www.carstenullrich.net/pubs/UllrichOkhtay-HTNEL-Stairs-2006.pdf}
}
|
|||||
|
Oleg Rostanin; Carsten Ullrich; Harald Holz & Shenwei Song. Project TEAL: Add Adaptive e-Learning to your Workflows. Proceedings: I-KNOW'06, 6th International Conference on Knowledge Management, Graz, Austria, September, Pages 395-402, 2006. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: Workflow- or task- embedded e-learning is an actual trend in enterprise and office environments. Having been integrated into enterprise workflow or task management systems, e-learning turns into a powerful tool for enterprise knowledge management: the seamless integration into the working environment allows getting actual information about potential learning goals of the user; using up-to-date e-learning technologies enables just-in-time delivery of goal-oriented, user-tailored learning curricula, helping employees to solve problems autonomously and competently. This paper reports about the results of the project TEAL (Task-embedded adaptive e-Learning) taking place at German Research Center for Artificial Intelligence (DFKI). The aim of the project was to prove the concepts and feasibility of task-embedded e-learning by designing a reference architecture and realizing prototypical implementation based on the existing components built at DFKI: WFMS Taskman, LCMS DaMiT and ActiveMath. | |||||
BibTeX:
@inproceedings{Rostaninetal-TEAL-IKNOW-2006,
author = {Oleg Rostanin and Carsten Ullrich and Harald Holz and Shenwei Song},
title = {Project {TEAL}: Add Adaptive e-Learning to your Workflows},
booktitle = {Proceedings: I-KNOW'06, 6th International Conference on Knowledge Management},
address = {Graz, Austria},
month = {September},
year = {2006},
pages = {395--402},
url = {http://www.carstenullrich.net/pubs/Rostaninetal-TEAL-IKNOW-2006.pdf}
}
|
|||||
|
Erica Melis; Giorgi Goguadze; Martin Homik; Paul Libbrecht; Carsten Ullrich & Stefan Winterstein. Semantic-Aware Components and Services of ActiveMath. British Journal of Educational Technology, Volume 37, Number 3, Pages 405-423, 2006. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: ActiveMath is a complex Web-based adaptive learning environment with a number of components and interactive learning tools. The basis for handling semantics of learning content is provided by its semantic (mathematics) content markup which is additionally annotated with educational metadata. Several components, tools, and external services can make use of that content markup, for instance a course generator, a semantic search engine, and user input evaluation services. The components and services have to communicate, pass content and state changes, actions, etc including mathematical semantics and educational markup. The novel event infrastructure supports this communication. This article focuses on usage of the content's semantics by selected novel components and sketches the communication. | |||||
BibTeX:
@article{Melisetal-SemanticAware-BJET-2005,
author = {Erica Melis and Giorgi Goguadze and Martin Homik and Paul Libbrecht and Carsten Ullrich and Stefan Winterstein},
title = {Semantic-Aware Components and Services of {ActiveMath}},
journal = {British Journal of Educational Technology},
year = {2006},
volume = {37},
number = {3},
pages = {405--423},
url = {http://www.carstenullrich.net/pubs/Melisetal-SemanticAware-BJET-2005.pdf}
}
|
|||||
|
Shahid Manzoor; Paul Libbrecht; Carsten Ullrich & Erica Melis. Authoring Presentation for OpenMath. Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, Heidelberg, LNCS, Volume 3863, Pages 33-48, Springer-Verlag, 2006. [Abstract] [BibTeX] [DOI] [URL] |
|||||
| Abstract: Some mathematical objects can have more than one notation. When a system compiles mathematical material from multiple sources, a management effort to maintain uniform and appropriate notations becomes necessary. Additionally, the need arises to facilitate the notations editing of the mathematical objects with authoring tools. In this paper, we present our work towards those needs. We have designed a framework that defines an authoring cycle supported by series of tools, which eases the creation of notations for the symbols in the process of publishing mathematics for the web. | |||||
BibTeX:
@inproceedings{Manzooretal-Notations-MKM-2005,
author = {Shahid Manzoor and Paul Libbrecht and Carsten Ullrich and Erica Melis},
title = {Authoring Presentation for OpenMath},
booktitle = {Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
address = {Heidelberg},
publisher = {Springer-Verlag},
year = {2006},
series = {LNCS},
volume = {3863},
pages = {33--48},
url = {http://www.carstenullrich.net/pubs/Manzooretal-Notations-MKM-2005.pdf},
doi = {10.1007/11618027}
}
|
|||||
|
Philipp Kärger; Carsten Ullrich & Erica Melis. Querying Learning Object Repositories via Ontology-Based Mediation. Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, July, Pages 845-846, IEEE Computer Society, 2006. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: We propose a mediator architecture that allows a learning system to retrieve learning objects (LOs) from heterogeneous repositories of LOs and not exclusively from its proprietary repository. A mediating component accepts queries formulated in a uniform query language, translates them into repository specific queries and passes them to each connected repository. For the translation of queries, an ontology-based queryrewriting method has been developed which uses the specified knowledge representation of the repository and an ontology mapping to compute the rewriting steps for translating. For distributing queries we realized a mediating architecture, which passes the translated queries to the repositories. This architecture has been integrated in the Web-based, user-adaptive and interactive e-learning environment ActiveMath. Currently, it enables the ActiveMath's course planner to access four heterogeneous LO repositories. The course planning component can create courses adapted to the learner's goals, knowledge, learning behaviour and a specific learning scenario. To select adequate LOs, the course planner initially queried its proprietary repository MBase for LOs. The challenge our architecture faces is to integrate more than one repository into ActiveMath's course generation. Currently, with the help of the architecture here-proposed, the course planner retrieves LOs additionally from the repository of the DaMiT-system, of the MathsThesaurus, and the LeActiveMath ExerciseRepository. | |||||
BibTeX:
@inproceedings{Kaergeretal-mediator-icalt-06,
author = {Philipp K{\"a}rger and Carsten Ullrich and Erica Melis},
title = {Querying Learning Object Repositories via Ontology-Based Mediation},
booktitle = {Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies},
month = {July},
publisher = {IEEE Computer Society},
year = {2006},
pages = {845--846},
url = {http://www.carstenullrich.net/pubs/icalt06_mediator.pdf}
}
|
|||||
|
Philipp Kärger; Carsten Ullrich & Erica Melis. Integrating Learning Object Repositories Using a Mediator Architecture. Innovative Approaches for Learning and Knowledge Sharing, Proceedings of the First European Conference on Technology Enhanced Learning, Heraklion, Greece, October, Volume 4227, Pages 185-197, Springer-Verlag, 2006. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: We propose a mediator architecture that allows a learning system to retrieve learning objects from heterogeneous repositories. A mediating component accepts queries formulated in a uniform query language, translates them into repository specific queries and passes them to each connected repository. For the translation of queries, a novel ontology-based query-rewriting method has been developed. The architecture has been realized in the Web-based, user-adaptive and interactive e-learning environment ActiveMath. Currently, it enables the ActiveMath's course planner to access four heterogeneous learning object repositories. | |||||
BibTeX:
@inproceedings{Kaergeretal-mediator-ectel06,
author = {Philipp K{\"a}rger and Carsten Ullrich and Erica Melis},
title = {Integrating Learning Object Repositories Using a Mediator Architecture},
booktitle = {Innovative Approaches for Learning and Knowledge Sharing, Proceedings of the First European Conference on Technology Enhanced Learning},
address = {Heraklion, Greece},
month = {October},
publisher = {Springer-Verlag},
year = {2006},
volume = {4227},
pages = {185--197},
url = {http://www.carstenullrich.net/pubs/kaergeretal-mediator-ectel06.pdf}
}
|
|||||
|
Christian Groß; Marianne Moormann & Carsten Ullrich. An Overview of LeActiveMath -- Language-Enhanced, User-Adaptive, Interactive eLearning for Mathematics. DES-Time 2006, Proceedings of the International Symposium on Technology and its Integration into Mathematics Education 2006, Dresden, Germany, July, 2006. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: The LeActiveMath system is an innovative third generation eLearning system for school and university level learning, for classroom teaching as well as for self-study. It was developed in close collaboration between experts in math education and computer science and offers new ways to learn mathematics based on modern pedagogical approaches by adapting itself to the goals of the individual learner, to her/his competencies and motivation. Interactive tools serve to deepen the mathematical knowledge. | |||||
BibTeX:
@inproceedings{Grossetal-LeAM-DES-2006,
author = {Christian Gro{\ss} and Marianne Moormann and Carsten Ullrich},
title = {An Overview of {LeActiveMath} -- Language-Enhanced, User-Adaptive, Interactive eLearning for Mathematics},
booktitle = {DES-Time 2006, Proceedings of the International Symposium on Technology and its Integration into Mathematics Education 2006},
address = {Dresden, Germany},
month = {July},
year = {2006},
url = {http://www.carstenullrich.net/pubs/Grossetal-LeAM-DES-2006.pdf}
}
|
|||||
|
Christopher Brooks; Jim Greer; Erica Melis & Carsten Ullrich. Combining ITS and eLearning Technologies: Opportunities and Challenges. Proceedings of the 8th International Conference on Intelligent Tutor Systems, Jhongli, Taiwan, LNCS, Volume 4053, Pages 278-287, Springer-Verlag, 2006. [Abstract] [BibTeX] [DOI] [URL] |
|||||
| Abstract: The development of Intelligent Tutoring Systems (ITS) and eLearning systems has been progressing largely independently over the past several years. Both types of systems have strengths and weaknesses - ITSs are typically domain specific and rely on concise knowledge modeling and learner modeling, while eLearning systems are deployable in a wide range of circumstances and focus on connecting learners both to content and to one another. This paper provides possibilities for convergence of these two areas, and describes two of our experiences in providing an ITS-style approach to eLearning systems. | |||||
BibTeX:
@inproceedings{Brooksetal-CombITSEL-ITS-2006,
author = {Christopher Brooks and Jim Greer and Erica Melis and Carsten Ullrich},
title = {Combining {ITS} and {eLearning} Technologies: Opportunities and Challenges},
booktitle = {Proceedings of the 8th International Conference on Intelligent Tutor Systems},
address = {Jhongli, Taiwan},
publisher = {Springer-Verlag},
year = {2006},
series = {LNCS},
volume = {4053},
pages = {278--287},
url = {http://www.carstenullrich.net/pubs/Brooksetal-CombITSEL-ITS-2006.pdf},
doi = {http://dx.doi.org/10.1007/11774303_28}
}
|
|||||
|
Carsten Ullrich. Tutorial Planning: Adapting Course Generation to Today's Needs. Young Researcher Track Proceedings of 12th International Conference on Artificial Intelligence in Education, Amsterdam, Pages 155-160, 2005. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: Most of today's course generation does not allow an in-depth, generic representation of pedagogical knowledge. However, supporting individual learners with different goals requires an elaborate representation of pedagogical expertise. In this paper, I describe a framework that adapts existing approaches for representing and using pedagogical knowledge to meet today's needs. Furthermore, I will show how in this framework several of today's problems are solved, such as the integration of distributed content and e-learning services within a course, dynamic adaptivity of a generated course, new forms of interaction, and offering course generation as a service. | |||||
BibTeX:
@inproceedings{Ullrich-TutorialPlanningYRT-AIED-2005,
author = {Carsten Ullrich},
title = {Tutorial Planning: Adapting Course Generation to Today's Needs},
booktitle = {Young Researcher Track Proceedings of 12th International Conference on Artificial Intelligence in Education},
address = {Amsterdam},
year = {2005},
pages = {155--160},
url = {http://www.carstenullrich.net/pubs/Ullrich-TutorialPlanningYRT-AIED-2005.pdf}
}
|
|||||
|
Carsten Ullrich. Course Generation Based on HTN Planning. Proceedings of 13th Annual Workshop of the SIG Adaptivity and User Modeling in Interactive Systems, Pages 74-79, 2005. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: A course generator automatically assembles learning objects retrieved from one or several repositories to a greater unit. Different frameworks for course generation exists, but only a few allow the representation of sophisticated pedagogical knowledge. In this paper, we describe course generation based on pedagogical tasks and methods, formalized in a hierarchical task network (HTN) planner. We describe the moderate constructivist learning strategy we implemented in this framework, problems that arouse from using HTN planning and their solutions. A first evaluation supports the practical value of our approach. | |||||
BibTeX:
@inproceedings{Ullrich-CourseGenerationHTN-ABIS-2005,
author = {Carsten Ullrich},
title = {Course Generation Based on {HTN} Planning},
booktitle = {Proceedings of 13th Annual Workshop of the SIG Adaptivity and User Modeling in Interactive Systems},
year = {2005},
pages = {74--79},
url = {http://www.carstenullrich.net/pubs/Ullrich-CourseGenerationHTN-ABIS-2005.pdf}
}
|
|||||
|
Carsten Ullrich. Tutorial Planning: Adapting Course Generation to Today's Needs. Proceedings of 12th International Conference on Artificial Intelligence in Education, Amsterdam, Pages 978, IOS Press, 2005. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: Most of today's course generation does not allow an in-depth, generic representation of pedagogical knowledge. However, supporting individual learners with different goals requires an elaborate representation of pedagogical expertise. In this paper, I describe a framework that adapts existing approaches for representing and using pedagogical knowledge to meet today's needs. Furthermore, I will show how in this framework several of today's problems are solved, such as the integration of distributed content and e-learning services within a course, dynamic adaptivity of a generated course, new forms of interaction, and offering course generation as a service. | |||||
BibTeX:
@inproceedings{Ullrich-TutorialPlanning-AIED-2005,
author = {Carsten Ullrich},
title = {Tutorial Planning: Adapting Course Generation to Today's Needs},
booktitle = {Proceedings of 12th International Conference on Artificial Intelligence in Education},
address = {Amsterdam},
publisher = {IOS Press},
year = {2005},
pages = {978},
url = {http://www.carstenullrich.net/pubs/Ullrich-TutorialPlanning-AIED-2005.pdf}
}
|
|||||
|
Carsten Ullrich. The learning-resource-type is dead, long live the learning- resource-type!. Learning Objects and Learning Designs, Volume 1, Number 1, Pages 7-15, 2005. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: Re-use is a major instructional and economic motivation for the wide propagation of the learning objects paradigm. Re-use, especially automatic re-use, requires metadata, and although IEEE LOM and similar standards provide an abundance of properties, they fail to represent relevant information about learning object, namely the instructional purpose of the object. The property learning-resource-type partly tackles the problem, but mixes several kinds of purposes and omits others. In this paper, I will describe an ontology of instructional objects that synthesizes a number of pedagogical theories and knowledge representations and provides an exhaustive description of the purpose of a learning object thanks to which instructional re-use becomes easier possible. | |||||
BibTeX:
@article{Ullrich-LearningResource-LOLD-2005,
author = {Carsten Ullrich},
title = {The learning-resource-type is dead, long live the learning- resource-type!},
journal = {Learning Objects and Learning Designs},
year = {2005},
volume = {1},
number = {1},
pages = {7--15},
url = {http://www.carstenullrich.net/pubs/Ullrich-LearningResource-LOLD-2005.pdf}
}
|
|||||
|
Carsten Ullrich; Paul Libbrecht; Stefan Winterstein & Martin Mühlenbrock. A Flexible and Efficient Presentation-Architecture for Adaptive Hypermedia: Description and Technical Evaluation. Proceedings of the 4th IEEE International Conference on Advanced Learning Technologies (ICALT 2004), Joensuu, Finland, Pages 21-25, 2004. [BibTeX] [URL] |
|||||
BibTeX:
@inproceedings{Ullrichetal-Presentation-ICALT04,
author = {Carsten Ullrich and Paul Libbrecht and Stefan Winterstein and Martin M{\"u}hlenbrock},
title = {A Flexible and Efficient Presentation-Architecture for Adaptive Hypermedia: Description and Technical Evaluation},
booktitle = {Proceedings of the 4th IEEE International Conference on Advanced Learning Technologies (ICALT 2004), Joensuu, Finland},
year = {2004},
pages = {21--25},
url = {http://www.carstenullrich.net/pubs/Ullrichetal-Presentation-ICALT04.pdf}
}
|
|||||
|
Carsten Ullrich & Aiping Chen. An Easily Implementable Method to Support Goal-Directed Learning . Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications 2004 , Lugano, Switzerland , Pages 4059-4063 , AACE , 2004. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: More and more in education, the importance of learning how to learn is recognized. The faster factual knowledge changes, the more important skills on how to learn become. In this article, we describe a method for supporting the learner on one aspect of these meta-cognitive skills, namely setting learning goals and controlling their achievement. The method we propose uses data available in virtually every learning management system and, therefore, can be easily implemented and integrated in existing systems. | |||||
BibTeX:
@inproceedings{Ullrichetal-LearningProgress-EDMEDIA-2004,
author = {Carsten Ullrich and Aiping Chen},
title = { An Easily Implementable Method to Support Goal-Directed Learning },
booktitle = { Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications 2004 },
address = { Lugano, Switzerland },
publisher = { AACE },
year = {2004},
pages = { 4059--4063 },
url = {http://www.carstenullrich.net/pubs/Ullrichetal-LearningProgress-EDMEDIA-2004.pdf}
}
|
|||||
|
Carsten Ullrich. Description of an Instructional Ontology and its Application in Web Services for Education. Poster Proceedings of the 3rd International Semantic Web Conference, ISWC2004, Hiroshima, Japan, November, Pages 93-94, 2004. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: From an educational point of view, the potential of the Web is far from being reached. Although it offers an abundance of learning resources the search for educational resources is still tedious, and interoperability of e-learning systems only a wished-for goal. What is missing is a common ground for both human and machines. While there exist standards for describing learning resources, they fail to address the instructional purpose of a resource, for instance whether a web page provides a definition or a counter-example of a concept. However, such an explicit representation of the instructional function provides humans with a shared vocabulary and can serve as the basis for the semantic interoperability for machines. This article describes such a basis: an ontology of instructional objects (OIO) that captures the function of a learning resource. The article starts with describing several educational Web services that can benefit from it. Then, the ontology is described in detail. | |||||
BibTeX:
@inproceedings{Ullrich-InstructionalOntology-ISWC-2004,
author = {Carsten Ullrich},
title = {Description of an Instructional Ontology and its Application in Web Services for Education},
booktitle = {Poster Proceedings of the 3rd International Semantic Web Conference, ISWC2004},
address = {Hiroshima, Japan},
month = {November},
year = {2004},
pages = {93--94},
url = {http://www.carstenullrich.net/pubs/Ullrich-InstructionalOntology-ISWC-2004.pdf}
}
|
|||||
|
Carsten Ullrich. Description of an Instructional Ontology and its Application in Web Services for Education. Proceedings of Workshop on Applications of Semantic Web Technologies for E-learning, SW-EL'04, Hiroshima, Japan, November, Pages 17-23, 2004. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: In the last years, important steps have been undertaken to bring the e-learning web to its full potential. In this paper, I describe an ontology that can serve as a further step in this direction. The ontology captures the instructional function of a learning resource, in other words, its ``essence'' from a teaching/learning perspective, an aspect not yet covered by learning object metadata standards. It offers the well-known advantages of ontologies: it can provide humans with a shared vocabulary and can serve as the basis for the semantic interoperability for machines. The article motivates the need for such an ontology and describes several educational Web services that can benefit from it. To exemplify the generality of the ontology, the article describes how the ontology can be mapped onto several knowledge representations currently used in e-learning systems. | |||||
BibTeX:
@inproceedings{Ullrich-InstructionalOntology-SWEL-2004,
author = {Carsten Ullrich},
title = {Description of an Instructional Ontology and its Application in Web Services for Education},
booktitle = {Proceedings of Workshop on Applications of Semantic Web Technologies for E-learning, SW-EL'04},
address = {Hiroshima, Japan},
month = {November},
year = {2004},
pages = {17--23},
url = {http://www.carstenullrich.net/pubs/Ullrich-InstructionalOntology-SWEL-2004.pdf}
}
|
|||||
|
Agathe Merceron; Carlos Oliveira; Michel Scholl & Carsten Ullrich. Mining for Content Re-Use and Exchange -- Solutions and Problems. Poster Proceedings of the 3rd International Semantic Web Conference, ISWC2004, Hiroshima, Japan, November, Pages 39-40, 2004. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: Valuable information can be gained by mining metadata of educational resources. However, if the mined data is annotated using IEEE Learning Objects and Metadata standard (LOM), then significant pedagogical information is missing. In this paper, we will describe how an ontology of pedagogical objects that captures the "pedagogical semantics" of a learning resource helps data mining to retrieve more precise information. Two case studies illustrate the advantages of an ontological approach. | |||||
BibTeX:
@inproceedings{Merceronetal-Mining-ISWC-2004,
author = {Agathe Merceron and Carlos Oliveira and Michel Scholl and Carsten Ullrich},
title = {Mining for Content Re-Use and Exchange -- Solutions and Problems},
booktitle = {Poster Proceedings of the 3rd International Semantic Web Conference, ISWC2004},
address = {Hiroshima, Japan},
month = {November},
year = {2004},
pages = {39--40},
url = {http://www.carstenullrich.net/pubs/Merceronetal-Mining-ISWC-2004.pdf}
}
|
|||||
|
Erica Melis & Carsten Ullrich. Gender-Biased Adaptations in Educational Adaptive Hypermedia. Proceedings of the third International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems, Pages 425-428, Springer, 2004. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: Studies show that there is a statistically significant gender difference regarding computer usage. For instance, a majority of female users expect less success from an interaction with a computer and are more likely to blame themselves in case something goes wrong. As a result, women considerably less often use a computer as a tool than men do. Now, if women do not use a computer as much as men do, they will not profit as much from the advantages of computational systems as they potentially could. That's why this paper reviews work about the causes of this problem, investigates an extended model, and develops possible preventions and reactions to it. Appropriate adaptivity cannot, however, be based on mere gender information which represents a bias only and may imply cliches and discrimination. Adapting a system solely depending on the sex of the user could have the effect all users -- men and women -- will feel discriminated by facing a system that embodies a cliche. We think that an adaptive system with an appropriate user model can help to avoid a cliche-based treatment: the sex of a student is only used to initialize the user model and as soon as more detailed information about the aptitudes of the user is gained from his/her interaction, the initial values of the user model are refined. Moreover, the user should be in control about the behavior of the system at any time. | |||||
BibTeX:
@inproceedings{Melisetal-Gender-AH-2004,
author = {Erica Melis and Carsten Ullrich},
title = {Gender-Biased Adaptations in Educational Adaptive Hypermedia},
booktitle = {Proceedings of the third International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems},
publisher = {Springer},
year = {2004},
pages = {425--428},
url = {http://www.carstenullrich.net/pubs/Melisetal-Gender-AH-2004.pdf}
}
|
|||||
|
Erica Melis & Carsten Ullrich. Gender-Biased Adaptations in Educational Adaptive Hypermedia. , Number SR-2004-05, 2004. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: Studies show that there is a statistically significant gender difference regarding computer usage. For instance, a majority of female users expect less success from an interaction with a computer and are more likely to blame themselves in case something goes wrong. As a result, women considerably less often use a computer as a tool than men do. Now, if women do not use a computer as much as men do, they will not profit as much from the advantages of computational systems as they potentially could. That's why this paper reviews work about the causes of this problem, investigates an extended model, and develops possible preventions and reactions to it. Appropriate adaptivity cannot, however, be based on mere gender information which represents a bias only and may imply cliches and discrimination. Adapting a system solely depending on the sex of the user could have the effect all users -- men and women -- will feel discriminated by facing a system that embodies a cliche. We think that an adaptive system with an appropriate user model can help to avoid a cliche-based treatment: the sex of a student is only used to initialize the user model and as soon as more detailed information about the aptitudes of the user is gained from his/her interaction, the initial values of the user model are refined. Moreover, the user should be in control about the behavior of the system at any time. | |||||
BibTeX:
@techreport{Melisetal-Gender-TR-2004,
author = {Erica Melis and Carsten Ullrich},
title = {{Gender-Biased Adaptations in Educational Adaptive Hypermedia}},
year = {2004},
number = {SR-2004-05},
url = {http://www.carstenullrich.net/pubs/Melisetal-Gender-TR-2004.pdf}
}
|
|||||
|
Carsten Ullrich; Dieter Wallach & Erica Melis. What is Poor Man's Eye Tracking Good For. 17th Annual Human- Computer Interaction Conference 2003, Swindon, Volume 2, British Computer Society, 2003. [BibTeX] [URL] |
|||||
BibTeX:
@inproceedings{UllrichWallachMelisHCI03,
author = {Carsten Ullrich and Dieter Wallach and Erica Melis},
title = {What is Poor Man's Eye Tracking Good For},
booktitle = {17th Annual Human- Computer Interaction Conference 2003},
address = {Swindon},
publisher = {British Computer Society},
year = {2003},
volume = {2},
url = {http://www.carstenullrich.net/pubs/PoorMansEyeTracking.pdf}
}
|
|||||
|
Carsten Ullrich. An Instructional Component for Dynamic Course Generation and Delivery. Proceedings of Berliner XML Tage 2003, Pages 467-473, 2003. [BibTeX] [URL] |
|||||
BibTeX:
@inproceedings{xml03Instructional,
author = {Carsten Ullrich},
title = {An Instructional Component for Dynamic Course Generation and Delivery},
booktitle = {Proceedings of Berliner XML Tage 2003},
year = {2003},
pages = {467--473},
url = {http://www.carstenullrich.net/pubs/InstructionalComponent03Berlin.pdf}
}
|
|||||
|
Carsten Ullrich. Pedagogical Rules in ActiveMath and their Pedagogical Foundations. , Number SR-03-03, 2003. [BibTeX] [URL] |
|||||
BibTeX:
@techreport{UllrichTechrep03,
author = {Carsten Ullrich},
title = {Pedagogical Rules in {ActiveMath} and their Pedagogical Foundations},
year = {2003},
number = {SR-03-03},
url = {http://www.carstenullrich.net/pubs/Ullrich-PedRules-Techrep03.pdf}
}
|
|||||
|
Erica Melis & Carsten Ullrich. Local and Global Feedback. Artificial Intelligence in Education, Pages 476-478, IOS Press, 2003. [BibTeX] [URL] |
|||||
BibTeX:
@inproceedings{Aied03Local,
author = {Erica Melis and Carsten Ullrich},
title = {Local and Global Feedback},
booktitle = {Artificial Intelligence in Education},
publisher = {IOS Press},
year = {2003},
pages = {476--478},
url = {http://www.carstenullrich.net/pubs/ActiveMathLocalAndGlobalFeedback.pdf}
}
|
|||||
|
Erica Melis & Carsten Ullrich. How to Teach it -- Polya-Scenarios in ActiveMath. Artificial Intelligence in Education, Pages 141-147, IOS Press, 2003. [BibTeX] [URL] |
|||||
BibTeX:
@inproceedings{MelisUllrichAIED03,
author = {Erica Melis and Carsten Ullrich},
title = {How to Teach it -- {P}olya-Scenarios in ActiveMath},
booktitle = {Artificial Intelligence in Education},
publisher = {IOS Press},
year = {2003},
pages = {141--147},
url = {http://www.carstenullrich.net/pubs/HowToTeachItPolyaScenariosActiveMath.pdf}
}
|
|||||
|
Erica Melis; George Goguadze; Paul Libbrecht & Carsten Ullrich. Wissensmodellierung und -nutzung in ActiveMath. KI, Volume 1, Pages 12-18, 2003. [BibTeX] [URL] |
|||||
BibTeX:
@article{activemathKI03,
author = {Erica Melis and George Goguadze and Paul Libbrecht and Carsten Ullrich},
title = {{Wissensmodellierung und -nutzung in ActiveMath}},
journal = {KI},
year = {2003},
volume = {1},
pages = {12--18},
url = {http://www.carstenullrich.net/pubs/Wissensmodellierung_ActiveMath_KI03.pdf}
}
|
|||||
|
Erica Melis; Jochen Büdenbender; George Goguadze; Paul Libbrecht; Martin Pollet & Carsten Ullrich. Knowledge Representation and Management in ActiveMath. Annals of Mathematics and Artificial Intelligence, Special Issue on Management of Mathematical Knowledge, Volume 38, Number 1--3, Pages 47-64, 2003. [BibTeX] [URL] |
|||||
BibTeX:
@article{ActivemathAima03,
author = {Erica Melis and Jochen B{\"u}denbender and George Goguadze and Paul Libbrecht and Martin Pollet and Carsten Ullrich},
title = {Knowledge Representation and Management in ActiveMath},
journal = {Annals of Mathematics and Artificial Intelligence, Special Issue on Management of Mathematical Knowledge},
year = {2003},
volume = {38},
number = {1--3},
pages = {47--64},
url = {http://www.carstenullrich.net/pubs/Knowledge_Representation_in_ActiveMath.pdf}
}
|
|||||
|
Paul Libbrecht; Carsten Ullrich & Stefan Winterstein. An Efficient Presentation-Architecture for Personalized Content. Proceedings of Berliner XML Tage 2003, Pages 379-388, 2003. [BibTeX] [URL] |
|||||
BibTeX:
@inproceedings{xml03Efficient,
author = {Paul Libbrecht and Carsten Ullrich and Stefan Winterstein},
title = {An Efficient Presentation-Architecture for Personalized Content},
booktitle = {Proceedings of Berliner XML Tage 2003},
year = {2003},
pages = {379--388},
url = {http://www.carstenullrich.net/pubs/EfficientPresentationArchitecture03Berlin.pdf}
}
|
|||||
|
Victor S. Izhutkin; Vera I. Toktarova & Carsten Ullrich. Interactive studying elements of mathematical logic by means of the learning system ActiveMath. Proceedings of the Russian scientific conference on Scientific service in the Internet, Novorossiysk, September, Pages 153-154, 2003. [BibTeX] |
|||||
BibTeX:
@inproceedings{Izhutkinetal-Interactive-RRSC-2003,
author = {Victor S. Izhutkin and Vera I. Toktarova and Carsten Ullrich},
title = {Interactive studying elements of mathematical logic by means of the learning system ActiveMath},
booktitle = {Proceedings of the Russian scientific conference on Scientific service in the Internet},
address = {Novorossiysk},
month = {September},
year = {2003},
pages = {153--154},
note = {in Russian}
}
|
|||||
|
Alberto Gonzalez-Palomo; Paul Libbrecht & Carsten Ullrich. A Presentation Architecture for Individualized Content. Workshop on Adaptive Hypermedia and Adaptive Web-Based Systems, AH2003, Pages 87-98, 2003. [BibTeX] [URL] |
|||||
BibTeX:
@inproceedings{ah03Presentation,
author = {Alberto Gonzalez-Palomo and Paul Libbrecht and Carsten Ullrich},
title = {A Presentation Architecture for Individualized Content},
booktitle = {Workshop on Adaptive Hypermedia and Adaptive Web-Based Systems, AH2003},
year = {2003},
pages = {87--98},
url = {http://wwwis.win.tue.nl/ah2003/proceedings/paper8.pdf}
}
|
|||||
|
Alberto Gonzalez-Palomo; Paul Libbrecht & Carsten Ullrich. A Presentation Architecture for Individualized Content. Proceedings of the Twelfth International World Wide Web Conference, 2003. [BibTeX] [URL] |
|||||
BibTeX:
@inproceedings{www03Presentation,
author = {Alberto Gonzalez-Palomo and Paul Libbrecht and Carsten Ullrich},
title = {A Presentation Architecture for Individualized Content},
booktitle = {Proceedings of the Twelfth International World Wide Web Conference},
year = {2003},
url = {http://www2003.org/cdrom/papers/poster/p185/p185-Palomo.htm}
}
|
|||||
|
George Goguadze; Erica Melis; Carsten Ullrich & Paul Cairns. Problems and Solutions for Markup for Mathematical Examples and Exercises. Proceedings of Second International Conference on Mathematical Knowledge Management, MKM03, LNCS 2594, Pages 80-93, Springer-Verlag, 2003. [BibTeX] [URL] |
|||||
BibTeX:
@inproceedings{mkm03,
author = {George Goguadze and Erica Melis and Carsten Ullrich and Paul Cairns},
title = {Problems and Solutions for Markup for Mathematical Examples and Exercises},
booktitle = {Proceedings of Second International Conference on Mathematical Knowledge Management, MKM03},
publisher = {Springer-Verlag},
year = {2003},
series = {LNCS 2594},
pages = {80--93},
url = {http://www.carstenullrich.net/pubs/EncodingExoExa.pdf}
}
|
|||||
|
Carsten Ullrich & Erica Melis. The Poor Man's Eyetracker Tool of ActiveMath . Proceedings of World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education 2002 , Montreal, Canada , Pages 2313-2316 , AACE , 2002. [BibTeX] [URL] |
|||||
BibTeX:
@inproceedings{eLearn2002,
author = {Carsten Ullrich and Erica Melis},
title = { The Poor Man's Eyetracker Tool of ActiveMath },
booktitle = { Proceedings of World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education 2002 },
address = { Montreal, Canada },
publisher = { AACE },
year = {2002},
pages = { 2313--2316 },
url = {http://www.carstenullrich.net/pubs/PoorMansEyeTracker_Elearn02.pdf}
}
|
|||||
|
Jörg Siekmann; Christoph Benzmüller; Vladimir Brezhnev; Lassaad Cheikhrouhou; Armin Fiedler; Andreas Franke; Helmut Horacek; Michael Kohlhase; Andreas Meier; Erica Melis; Markus Moschner; Imanuel Normann; Martin Pollet; Volker Sorge; Carsten Ullrich; Claus-Peter Wirth & Jürgen Zimmer. Proof Development with OMEGA. Proceedings of the 19th Conference on Automated Deduction (CADE-19), Copenhagen, Denmark, Pages 143-148, 2002. [BibTeX] [URL] |
|||||
BibTeX:
@inproceedings{omega02,
author = {J{\"o}rg Siekmann and Christoph Benzm{\"u}ller and Vladimir Brezhnev and Lassaad Cheikhrouhou and Armin Fiedler and Andreas Franke and Helmut Horacek and Michael Kohlhase and Andreas Meier and Erica Melis and Markus Moschner and Imanuel Normann and Martin Pollet and Volker Sorge and Carsten Ullrich and Claus-Peter Wirth and J{\"u}rgen Zimmer},
title = {Proof Development with OMEGA},
booktitle = {Proceedings of the 19th Conference on Automated Deduction (CADE-19)},
address = {Copenhagen, Denmark},
year = {2002},
pages = {143-148},
url = {http://www.ags.uni-sb.de/~chris/papers/C11.pdf}
}
|
|||||
|
Erica Melis; Jochen Büdenbender; Georgi Goguadze; Paul Libbrecht & Carsten Ullrich. Semantics for Web-Based Mathematical Education Systems. Proceedings of the WWW2002 International Workshop on the Semantic Web, Hawaii, May, 2002. [BibTeX] [URL] |
|||||
BibTeX:
@inproceedings{melis02:_seman_web,
author = {Erica Melis and Jochen B{\"u}denbender and Georgi Goguadze and Paul Libbrecht and Carsten Ullrich},
title = {Semantics for Web-Based Mathematical Education Systems},
booktitle = {Proceedings of the WWW2002 International Workshop on the Semantic Web},
address = {Hawaii},
month = {May},
year = {2002},
url = {http://www.carstenullrich.net/pubs/MelisSemanticsSWWHawai.pdf}
}
|
|||||
|
Jochen Büdenbender; Eric Andrès; Adrian Frischauf; George Goguadze; Paul Libbrecht; Erica Melis & Carsten Ullrich. Using Computer Algebra Systems as Cognitive Tools. Proceedings of 6th International Conference on Intelligent Tutor Systems (ITS-2002), Lecture Notes in Computer Science, Number 2363, Pages 802-810, Springer-Verlag, 2002. [BibTeX] [URL] |
|||||
BibTeX:
@inproceedings{its02CAS,
author = {Jochen B{\"u}denbender and Eric Andr{\`e}s and Adrian Frischauf and George Goguadze and Paul Libbrecht and Erica Melis and Carsten Ullrich},
title = {Using Computer Algebra Systems as Cognitive Tools},
booktitle = {Proceedings of 6th International Conference on Intelligent Tutor Systems (ITS-2002)},
publisher = {Springer-Verlag},
year = {2002},
series = {Lecture Notes in Computer Science},
number = {2363},
pages = {802--810},
url = {http://www.carstenullrich.net/pubs/CASasCognitiveTools02ITS.pdf}
}
|
|||||
|
Erica Melis; Christoph Glasmacher; Carsten Ullrich & Peter Gerjets. Automated Proof Planning for Instructional Design. Annual Conference of the Cognitive Science Society, Pages 633-638, 2001. [BibTeX] [URL] |
|||||
BibTeX:
@inproceedings{Melis01Automated,
author = {Erica Melis and Christoph Glasmacher and Carsten Ullrich and Peter Gerjets},
title = {Automated Proof Planning for Instructional Design},
booktitle = {Annual Conference of the Cognitive Science Society},
year = {2001},
pages = {633--638},
url = {http://www.carstenullrich.net/pubs/cogsci.pdf}
}
|
|||||
|
Erica Melis; Jochen Büdenbender; George Goguadze; Paul Libbrecht & Carsten Ullrich. Knowledge Representation and Management in ActiveMath. LLWA01 - Tagungsband der GI-Workshopwoche ``Lernen - Lehren - Wissen - Adaptivität, Forschungsbericht, Volume 763, Pages 173-179, Uni Dortmund, 2001. [BibTeX] |
|||||
BibTeX:
@inproceedings{activemathGI01,
author = {Erica Melis and Jochen B{\"u}denbender and George Goguadze and Paul Libbrecht and Carsten Ullrich},
title = {Knowledge Representation and Management in ActiveMath},
booktitle = {LLWA01 - {Tagungsband der GI-Workshopwoche ``Lernen - Lehren - Wissen - Adaptivit{\"a}t}},
publisher = {Uni Dortmund},
year = {2001},
series = {Forschungsbericht},
volume = {763},
pages = {173--179}
}
|
|||||
|
Erica Melis; Eric Andrès; George Goguadze; Paul Libbrecht; Martin Pollet & Carsten Ullrich. ActiveMath: System Description. Artificial Intelligence in Education, Pages 580-582, IOS Press, 2001. [BibTeX] [URL] |
|||||
BibTeX:
@inproceedings{AIEd01,
author = {Erica Melis and Eric Andr{\`e}s and George Goguadze and Paul Libbrecht and Martin Pollet and Carsten Ullrich},
title = {{ActiveMath}: System Description},
booktitle = {Artificial Intelligence in Education},
publisher = {IOS Press},
year = {2001},
pages = {580--582},
url = {http://www.carstenullrich.net/pubs/aied01.pdf}
}
|
|||||
|
Erica Melis; Eric Andrès; Jochen Büdenbender; Adrian Frischauf; George Goguadze; Paul Libbrecht; Martin Pollet & Carsten Ullrich. ActiveMath: A Generic and Adaptive Web-Based Learning Environment. International Journal of Artificial Intelligence in Education, Volume 12, Number 4, Pages 385-407, 2001. [BibTeX] [URL] |
|||||
BibTeX:
@article{activemathAIEDJ01,
author = {Erica Melis and Eric Andr{\`e}s and Jochen B{\"u}denbender and Adrian Frischauf and George Goguadze and Paul Libbrecht and Martin Pollet and Carsten Ullrich},
title = {ActiveMath: A Generic and Adaptive Web-Based Learning Environment},
journal = {International Journal of Artificial Intelligence in Education},
year = {2001},
volume = {12},
number = {4},
pages = {385--407},
url = {http://www.carstenullrich.net/pubs/Melisetal-ActiveMath-AIEDJ-2001.pdf}
}
|
|||||
|
Paul Libbrecht; Erica Melis & Carsten Ullrich. Generating Personalized Documents Using a Presentation Planner . Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications 2001 , Norfolk, VA , Pages 1124-1125 , AACE , 2001. [BibTeX] [URL] |
|||||
BibTeX:
@inproceedings{EdMedia01,
author = {Paul Libbrecht and Erica Melis and Carsten Ullrich},
title = { Generating Personalized Documents Using a Presentation Planner },
booktitle = { Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications 2001 },
address = { Norfolk, VA },
publisher = { AACE },
year = {2001},
pages = { 1124--1125 },
url = {http://www.carstenullrich.net/pubs/edmedia01.pdf}
}
|
|||||
|
Paul Libbrecht; Erica Melis & Carsten Ullrich. The ActiveMath Learning Environment. System Description. Calculemus Workshop at IJCAR, Pages 173-177, 2001. [BibTeX] [URL] |
|||||
BibTeX:
@inproceedings{activemathCalculemus01,
author = {Paul Libbrecht and Erica Melis and Carsten Ullrich},
title = {The {ActiveMath} Learning Environment. {S}ystem Description},
booktitle = {{Calculemus Workshop at IJCAR}},
year = {2001},
pages = {173--177},
url = {http://www.carstenullrich.net/pubs/am-systemdescr.pdf}
}
|
|||||
|
Paul Libbrecht; Erica Melis & Carsten Ullrich. ActiveMath , a Web-Based Learning Environment. IEEE Learning Technology Newsletter, July, Volume 3, Number 3, Pages 23-26, 2001. [BibTeX] [URL] |
|||||
BibTeX:
@article{LTNewsletter01,
author = {Paul Libbrecht and Erica Melis and Carsten Ullrich},
title = {ActiveMath , a Web-Based Learning Environment},
month = {July},
journal = {IEEE Learning Technology Newsletter},
year = {2001},
volume = {3},
number = {3},
pages = {23--26},
url = {http://lttf.ieee.org/learn_tech/issues/july2001/index.html#5}
}
|
|||||
|
Paul Libbrecht; Adrian Frischauf; Erica Melis; Martin Pollet & Carsten Ullrich. Integration of Mathematical Systems into the ActiveMath Learning Environment. ISSAC-2001 Workshop on Internet Accessible Mathematical Computation, 2001. [BibTeX] [URL] |
|||||
BibTeX:
@inproceedings{iamc,
author = {Paul Libbrecht and Adrian Frischauf and Erica Melis and Martin Pollet and Carsten Ullrich},
title = {Integration of Mathematical Systems into the ActiveMath Learning Environment},
booktitle = {ISSAC-2001 Workshop on Internet Accessible Mathematical Computation},
year = {2001},
url = {http://www.carstenullrich.net/pubs/ExoIntegration.pdf}
}
|
|||||
|
Carsten Ullrich. Analogie im Beweisplanen. School: Fachbereich Informatik, Universität des Saarlandes, Saarbrücken, Germany, 2000. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: Analogical reasoning consists of transferring the solution of a previously solved problem (called source) onto a new problem (called target). In this thesis I describe TOPAL, an approach for the analogical transfer of mathematical proofs. The transfer is performed at the level of proof plans, therefore the application of abstract planning operators, called methods, is replayed in the new problem rather than the application of single calculus steps. In order to cope with the complexity of proofs at plan level, I had to extent existing analogy frameworks in several ways: Firstly, as in proof planning a standard higher order matcher can no longer compare source and target terms, I propose extensions to higher order matching that make these comparisons possible again. Secondly, the underlying assumption of most analogy systems, namely that the differences in term structure expressed via the matching can be used to guide the transfer and adaption of the source plan, is not valid in proof planning. Therefore I show how planning mechanisms can be used to fulfil the same purpose of guiding transfer and adaptions. Thirdly, I propose how theorem proving by analogy can be realised as one of several problem solving strategies. I identify situations in which the use of analogy makes sense and present the corresponding strategic control knowledge. Finally, I have evaluated TOPAL. The evaluation shows that the use of planning mechanisms enhances the performance of the analogical transfer. By using these mechanisms a great number of complex problems can be solved. | |||||
BibTeX:
@mastersthesis{Ullrich:aibp00,
author = {Carsten Ullrich},
title = {Analogie im {B}eweisplanen},
address = {Saarbr{\"u}cken, Germany},
school = {Fachbereich Informatik, Universit{\"a}t des Saarlandes},
year = {2000},
url = {http://www.carstenullrich.net/pubs/Ullrich-aibp00.pdf}
}
|
|||||
|
Jörg Siekmann; Christoph Benzmüller; Armin Fiedler; Andreas Franke; Helmut Horacek; Paul Libbrecht; Michael Kohlhase; Andreas Meier; Erica Melis; Martin Pollet; Volker Sorge; Carsten Ullrich & Jürgen Zimmer. Adaptive Course Generation and Presentation. Proceedings of ITS-2000 Workshop on Adaptive and Intelligent Web-Based Education Systems, Pages 54-61, 2000. [BibTeX] [URL] |
|||||
BibTeX:
@inproceedings{its2000ws2,
author = {J{\"o}rg Siekmann and Christoph Benzm{\"u}ller and Armin Fiedler and Andreas Franke and Helmut Horacek and Paul Libbrecht and Michael Kohlhase and Andreas Meier and Erica Melis and Martin Pollet and Volker Sorge and Carsten Ullrich and J{\"u}rgen Zimmer},
title = {Adaptive Course Generation and Presentation},
booktitle = {Proceedings of {ITS-2000} Workshop on Adaptive and Intelligent Web-Based Education Systems},
year = {2000},
pages = {54--61},
url = {http://www.carstenullrich.net/pubs/w2ITS2000.pdf}
}
|
|||||
|
Erica Melis & Carsten Ullrich. Flexibly Interleaving Processes. International Conference on Case-Based Reasoning, Lecture Notes in Artificial Intelligence, Volume 1650, Pages 263-275, Springer, 1999. [Abstract] [BibTeX] [URL] |
|||||
| Abstract: We discuss several problems of analogy-driven proof plan construction which prevent a solution for more difficult target problems or make a solution very expensive. Some of these problems are due to the previously assumed fixed order of matching, reformulation, and replay in case-based reasoning and from a too restricted combination of planning from first principles with the analogy process. In order to overcome these problems we suggest to interleave matching and replay as well as case-based planning with planning from first principles. Secondly, the restricted mixture of case-based planning and planning from first principles in previous systems is generalised to intelligently employing different planning strategies with the objective to solve more problems at all and to solve problems more efficiently. | |||||
BibTeX:
@inproceedings{MelisUllrichICCBR99,
author = {Erica Melis and Carsten Ullrich},
title = {Flexibly Interleaving Processes},
booktitle = {International Conference on Case-Based Reasoning},
publisher = {Springer},
year = {1999},
series = {Lecture Notes in Artificial Intelligence},
volume = {1650},
pages = {263--275},
url = {http://www.carstenullrich.net/pubs/flexiblyInterleaving.pdf}
}
|
|||||
|
Erica Melis & Carsten Ullrich. Interleaving Processes in Case-Based Planning. 7th German Workshop on Case-Based Reasoning, Pages 20-29, 1999. [BibTeX] [URL] |
|||||
BibTeX:
@inproceedings{GWCBR99,
author = {Erica Melis and Carsten Ullrich},
title = {Interleaving Processes in Case-Based Planning},
booktitle = {7th German Workshop on Case-Based Reasoning},
year = {1999},
pages = {20--29},
url = {http://www.carstenullrich.net/pubs/interleaving-processes-in-case.pdf}
}
|
|||||
Created by JabRef.
