G.Goguadze and I.Tsigler
Authoring Interactive Exercises in ActiveMath in Proceedings of the MathUI Workshop at Mathematical Knowledge Management Conference

R. De Groot, R. Drachman, R. Hever, B. Schwarz, U. Hoppe, A. Harrer, M. De Laat, R. Wegerif, B.M. McLaren and B. Baurens
Computer Supported Moderation of E-Discussions: the ARGUNAUT Approach in Proceedings of the Conference on Computer Supported Collaborative Learning (CSCL-07)

R. Hever, R. De Groot, M. De Laat, A. Harrer, U. Hoppe B.M. McLaren and O. Scheuer
Combining Structural, Process-oriented and Textual Elements to Generate Awareness Indicators for Graphical E-Discussions. Computer Supported Moderation of E-Discussions: the ARGUNAUT Approach. in Proceedings of the Conference on Computer Supported Collaborative Learning (CSCL-07)

T. Lu, C. Ullrich and B. Grabowski
Course Generation as a Web-Service for E-Learning Systems in The 2nd European Young Researchers Workshop on Service Oriented Computing

Bruce McLaren, Nikol Rummel, Dimitra Tsovaltzi, Isabel Braun, Oliver Scheuer, Andreas Harrer and Niels Pinkwart
The CoChemEx Project: Conceptual Chemistry Learning through Experimentation and Adaptive Collaboration in Proceedings of the Workshop on 'Emerging Technologies for Inquiry Based Learning in Science', AIED-07

Bruce McLaren, Oliver Scheuer, Maarten De Laat, Rakheli Hever, Reuma De Groot and Carolyn P. Rose
Using Machine Learning Techniques to Analyze and Support Mediation of Student E-Discussions in Proceedings of the 14th Annual Conference on Artificial Intelligence in Education (AIED 2007)

E. Melis, M. Moormann, C. Ullrich, G. Goguadze and P. Libbrecht
How ActiveMath Supports Moderate Constructivist Mathematics Teaching in 8th International Conference on Technology in Mathematics Teaching

Erica Melis, Ruimin Shen, Jörg Siekmann, Carsten Ullrich, Fan Yang and Peng Han
Challenges in Search and Usage of Multi-media Learning Objects in Proceedings of the Chinese-German Workshop on Cognitive Systems 2005

Oliver Scheuer
Aufbereitung und Analyse von Benutzeraktionen in intelligenten Lernsystemen

Oliver Scheuer, Martin Mühlenbrock and Erica Melis
Results from Action Analysis in an Interactive Learning Environment in Journal of Interactive Learning Research (JILR)

O. Scheuer and C. Zinn
How did the e-learning session go? - The Student Inspector in Proceedings of 13th International Conference on Artificial Intelligence in Education (AIED'07)

Carsten Ullrich
Course Generation as a Hierarchical Task Network Planning Problem

Carsten Ullrich, Qinghua Chen, Sushing Chen, Liping Shen and Ruimin Shen
Investigating the Reuse of Course Generation Knowledge in Proceedings of the 15th International Conference on Computers in Education (ICCE2007)

Carsten Ullrich, Ruimin Shen and Su-Shing Chen
Multimedia-Learning in a Life Science Workflow Environment in Proceedings of the Pacific-Rim Conference on Multimedia (PCM)

Emil Zankov
Interaktive Repräsentation von Brüchen

Christopher Brooks, Jim Greer, Erica Melis and Carsten Ullrich
Combining ITS and eLearning Technologies: Opportunities and Challenges in Proceedings of the 8th International Conference on Intelligent Tutor Systems

C. Callaway, M. Dzikovska, C. Matheson, J. Moore and C. Zinn
Using Dialogue to Learn Math in the LeActiveMath Project in Proceedings of the ECAI Workshop on Language-Enhanced Educational Technology

M. Dietrich
Simulation von Benutzern zur Messung der Performanz und Testen von ActiveMath

M. Dzikovska, D. Reitter, J. Moore and C. Zinn
Data-driven Modelling of Human Tutoring in Calculus in Proceedings of the ECAI Workshop on Language-Enhanced Educational Technology

Adrian Frischauf and Paul Libbrecht
dvi2svg: Using the LaTeX layout on the Web in TUGboat

M. Homik
Assembly Tool

Martin Homik and Erica Melis
Using Blogs for Learning Logs in Proceedings of ePortfolio2006

Philipp Kärger
Ontologie-basierter Mediator zum Zugriff auf heterogene und verteilte Lerninhalte

Philipp Kärger, Carsten Ullrich and Erica Melis
Integrating Learning Object Repositories Using a Mediator Architecture in Proceedings of ECTEL'06

Philipp Kärger, Carsten Ullrich and Erica Melis
Querying Learning Object Repositories via Ontology-Based Mediation in Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies

Paul Libbrecht
Enhanced Dictionary

Paul Libbrecht
Copy and Paste Facility

Paul Libbrecht and Christopher Brooks
Publication of Distributed Linked Content in Proceedings of the ECTEL-06 Doctoral Consortium

P. Libbrecht and C. Groß
Experience Report Writing LeActiveMath Calculus in Proceedings of Mathematical Knowledge Management 2006

Paul Libbrecht and Dominik Jednoralski
Drag and Drop of Formulae from a Browser in Proceedings of MathUI'06

P. Libbrecht and E. Melis
Semantic Search in LeActiveMath in Proceedings of the WebALT 2006 Conference

Paul Libbrecht and Erica Melis
Methods for Access and Retrieval of Mathematical Content in ActiveMath in Proceedings of ICMS-2006

Paul Libbrecht and Stefan Winterstein
Internationalizing LeActiveMath

Tianxiang Lu
Kursgenerator für E-Learning Syteme als Web-Service

S. Manzoor, P. Libbrecht, C. Ullrich and E. Melis
Authoring Presentation for OpenMath in Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers

A. Meier and E. Melis
Impasse-Driven Reasoning in Proof Planning in Proceedings of the Fourth International Conference on Mathematical Knowledge Management (MKM2005)

E. Melis and G. Goguadze
Representation of Misconceptions in Cognition and Learning in the Digital Age, CELDA-2006

E. Melis, G. Goguadze, M. Homik, P. Libbrecht, C. Ullrich and S. Winterstein
Semantic-Aware Components and Services of ActiveMath in British Journal of Educational Technology

K. Morik and M. Mühlenbrock
Scientific Discovery Investigating Multi-Step Learning. in In order to learn: How Ordering Effects in Machine Learning Illuminates Human Learning and Vice Versa.

M. Mühlenbrock
Learning group formation based on learner profile and context in International Journal on E-Learning IJEL

Oleg Rostanin, Carsten Ullrich, Harald Holz and Shenwei Song
Project TEAL: Add Adaptive e-Learning to your Workflows in Proceedings: I-KNOW'06, 6th International Conference on Knowledge Management

Carsten Ullrich, Eric Andres, Philipp Kärger, Erica Melis and Marianne Moormann
Tutorial Component

Carsten Ullrich and Okhtay Ilghami
Challenges and Solutions for Hierarchical Task Network Planning in E-Learning in STAIRS 2006, Proceedings of the Third Starting AI Researchers' Symposium

C. Zinn
Bootstrapping a Semantic Wiki Application for Learning Mathematics. in Semantic Systems. From Visions to Applications, Proc. of the Semantics 2006 Conference

Claus Zinn
Supporting Tutorial Feedback to Student Help Requests and Errors in Symbolic Differentiation in Proceedings of Intelligent Tutoring Systems, 8th. International Conference, ITS-2006

C. Zinn and O. Scheuer
Getting to Know your Student in Distance-Learning Contexts in Proc. of the First European Conference on Technology Enhanced Learning (EC-TEL 2006)

G.Goguadze, A.González Palomo and E.Melis
Interactivity of Exercises in ActiveMath in Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences Sharing. Good Practices of Research, Experimentation and Innovation.

G. Goguadze, A. González Palomo and E. Melis
Interactivity of Exercises in ActiveMath in In Proceedings of the 13th International Conference on Computers in Education (ICCE 2005)

M. Homik and E.Melis
Interactive Concept Mapping

Martin Homik and Andreas Meier
Designing a Proof GUI for Non-Experts -- Evaluation of an Experiment

Martin Homik and Andreas Meier
Designing a Proof GUI for Non-Experts -- Evaluation of an Experiment in Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP2005)

Martin Homik and Erica Melis
ePortfolios in ActiveMath in Proceedings of ePortfolio2005

P. Libbrecht, E. Machuca and M. Spanbroek
Loosely Coupling Web-Applications in Proceedings of the Workshop on Adaptive Systems for Web-Based Education: Tools and Reusability at AIED 2005

P. Libbrecht and S. Winterstein
The Service Architecture in the ACTIVEMATH Learning Environment in First International Kaleidoscope Learning Grid SIG Workshop on Distributed e-Learning Environments

A. Meier and E. Melis
Failure-Reasoning in Multi-Strategy Proof Planning in Proceedings of The 12th Workshop on Automated Reasoning (ARW 2005)-- Bridging the gap between theory and practice

A. Meier and E. Melis
Failure Reasoning in Multiple-Strategy Proof Planning in Electronic Notes in Theoretical Computer Science

A. Meier and E. Melis
MULTI: A Multi-Strategy Proof Planner in Proceedings of the 20th Conference on Automated Deduction (CADE--20)

E. Melis
Design of Erroneous Examples for activemath in Proceedings of the 12th International Conference on Artificial Intelligence in Education (AIED 2005)

E. Melis
Why Proof Planning for Maths Education and How? in Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday

E. Melis
Choice of Feedback Strategies in Cognition and Exploratory Learning in the Digital Age (CELDA 2005)

E. Melis and E. Andres
Global Feedback in sc ActiveMath in Journal of Computers in Mathematics and Science Teaching

E. Melis, P. Kärger and M. Homik
Interactive Concept Mapping in ActiveMath (iCMap) in Delfi 2005: 3. Deutsche eLearning Fachtagung Informatik

E. Melis and J. Siekmann
e-Learning Logic and Mathematics: What we Have and What we Still Need in We will Show Them! Essays in Honor of Dov Gabbay on his 60th Birthday

Martin Mühlenbrock
Automatic action analysis in an interactive learning environment in Proceedings of the workshop on Usage Analysis in Learning Systems at the 12th International Conference on Artificial Intelligence in Education AIED-2005

Martin Mühlenbrock
Formation of learning groups by using learner profiles and context information in Proceedings of the 12th International Conference on Artificial Intelligence in Education AIED-2005

M. Mühlenbrock
Learning Group Formation based on Learner Profile and Context in Proceedings of the ProLearn-iClass Thematic Workshop

M. Mühlenbrock and O. Scheuer
Using Action Analysis in ActiveMath to Estimate Student Motivation in Proceedings of the 13th Annual Workshop of the SIG Adaptivity and User Modeling in Interactive Systems (ABIS 2005)

M. Mühlenbrock, Stefan Winterstein, Eric Andres and Andreas Meier
Continuous Learner Modeling in iClass in Proceedings of the World Conference on Educational Multimedia, Hypermedia & Telecommunications ED-MEDIA 2005

Kristina Reiss, Marianne Moormann, Christian Groß and Carsten Ullrich
Formalized Pedagogical Strategies

A. Soller, A. Martinez, P. Jermann and M. Mühlenbrock
From mirroring to guiding: A review of state of the art technology for supporting collaborative learning in International Journal on Artificial Intelligence in Education

Carsten Ullrich
Course Generation Based on HTN Planning in Proceedings of 13th Annual Workshop of the SIG Adaptivity and User Modeling in Interactive Systems

C. Ullrich
The learning-resource-type is dead, long live the learning- resource-type! in Learning Objects and Learning Designs

C. Ullrich
Tutorial Planning: Adapting Course Generation to Today's Needs in Young Researcher Track Proceedings of 12th International Conference on Artificial Intelligence in Education

2004

E. Melis et al.
Customization of Interaction: The "Matheführerschein" Experience in Book of Abstract, Online Educa Berlin 2004

A., P. Jermann, M. Mühlenbrock and A. Martínez
An Introduction to Designing Computational Models of Collaborative Learning Interaction

in Proceedings of The 2nd International Workshop on Designing Computational Models of Collaborative Learning Interaction in conjunction with ITS 2004

George Goguadze, Alberto Gonzáles Palomo, Ian Tsigler and Stefan Winterstein
Presentation Architecture

G. Goguadze, C. Ullrich, E.Melis, J. Siekmann, Ch. Groß and R. Morales
LeActiveMath Structure and Metadata Model

V. Izhutkin, E. Melis, V. Toktarova and G. Goguadze
Interactive Education Methods for the Solution of Extremal Tasks with the Help of the Learning System ActiveMath in Telematika 2004

LeActiveMath Partners
Description of Work

LeActiveMath Partners
Requirement Analysis

P. Libbrecht
Authoring Web Content in ActiveMath: From Developer Tools and Further in Proceedings of the Second International Workshop on Authoring Adaptive and Adaptable Educational Hypermedia, AH-2004: Workshop Proceedings, Part II, CS-Report 04-19

A. Meier and E. Melis
Failure Reasoning in Multiple-Strategy Proof Planning in Proceedings of Workshop ``Strategies in Automated Deduction'' at the Second International Joint Conference on Automated Reasoning (IJCAR2004)

A. Meier and E. Melis
Meta Reasoning in Multiple-Strategy Proof Planning in Poster Proceedings of 27th Annual German Conference on Artificial Intelligence (KI 2004)

E. Melis
Errors as a Source of Learning in Mathematics in Cognition and Exploratory Learning in the Digital Age (CELDA)

E. Melis and G. Goguadze
Towards Adaptive Generation of Faded Examples in International Conference on Intelligent Tutoring Systems

E. Melis and R. Monthienvichienchai
They Call It Learning Style But It's so Much More in Proceedings of the World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education (eLearn-2004)

E. Melis and J. Siekmann
ActiveMath: An Intelligent Tutoring System for Mathematics in Seventh International Conference 'Artificial Intelligence and Soft Computing' (ICAISC)

E. Melis and C. Ullrich
Gender-Biased Adaptations in Educational Adaptive Hypermedia in Proceedings of the third International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems

E. Melis and C. Ullrich
Gender-Biased Adaptations in Educational Adaptive Hypermedia

A. Merceron, C. Oliveira, M. Scholl and C. Ullrich
Mining for Content Re-Use and Exchange -- Solutions and Problems in Poster Proceedings of the 3rd International Semantic Web Conference, ISWC2004

M. Mühlenbrock
A Computational Model to Differentiate between Action and Interaction in Shared Workspaces in Proceedings of The 2nd International Workshop on Designing Computational Models of Collaborative Learning Interaction in conjunction with ITS 2004

J. Müller, M. Mühlenbrock and N. Pinkwart
Towards using concept mapping for math learning in Learning Technology newsletter

C. Ullrich
Description of an Instructional Ontology and its Application in Web Services for Education in Poster Proceedings of the 3rd International Semantic Web Conference, ISWC2004

C. Ullrich
Description of an Instructional Ontology and its Application in Web Services for Education in Proceedings of Workshop on Applications of Semantic Web Technologies for E-learning, SW-EL'04

C. Ullrich and A. Chen
An Easily Implementable Method to Support Goal-Directed Learning in Proceedings of the World Conference on Educational Multimedia, Hypermedia & Telecommunications (ED-MEDIA 2004)

C. Ullrich, P. Libbrecht, S. Winterstein and M. Mühlenbrock
A Flexible and Efficient Presentation-Architecture for Adaptive Hypermedia: Description and Technical Evaluation in Proceedings of the 4th IEEE International Conference on Advanced Learning Technologies (ICALT 2004), Joensuu, Finland

G. Goguadze, E. Melis, V. Izhutkin and Y. Isulanov
Interactively Learning Operations Research Methhods with ActiveMath in Operations Research 2003, Annual Conference of the german Operations Research Society

G. Goguadze, E. Melis, C. Ullrich and P. Cairns
Problems and Solutions for Markup for Mathematical Examples and Exercises in Proceedings of Second International Conference on Mathematical Knowledge Management, MKM03

A. González-Palomo, P. Libbrecht and C. Ullrich
A Presentation Architecture for Individualized Content in Workshop on Adaptive Hypermedia and Adaptive Web-Based Systems, AH2003

A. González-Palomo, P. Libbrecht and C. Ullrich
A Presentation Architecture for Individualized Content in Proceedings of the Twelfth International World Wide Web Conference

P. Libbrecht, C. Ullrich and S. Winterstein
An Efficient Presentation-Architecture for Personalized Content in Proceedings of Berliner XML Tage 2003

E. Melis and E. Andrès
Global Feedback in ActiveMath in Proceedings of the World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education (eLearn-2003)

E. Melis, J. Büdenbender, G. Goguadze, P. Libbrecht, M. Pollet and C. Ullrich
Knowledge Representation and Management in ActiveMath in Proceedings of the first Conference on Mathematical Knowledge Management, MKM'01, a special issue of the Annals of Mathematics and Artificial Intelligence and in Annals of Mathematics and Artificial Intelligence, Special Issue on Management of Mathematical Knowledge

E. Melis, G. Goguadze, P. Libbrecht, I. Normann, C. Ullrich and S. Winterstein
Education-Relevant Features in ActInMath in Online Educa, 9th International Conference on technology Supported Learning and Training

E. Melis, G. Goguadze, P. Libbrecht and C. Ullrich
Wissensmodellierung und -nutzung in ActiveMath in KI

E. Melis and C. Ullrich
Local and Global Feedback in AI in Education, AIED-2003

E. Melis and C. Ullrich
How to Teach it -- Polya-Inspired Scenarios in ActiveMath in AI in Education, AIED-2003

E. Melis and M. Weber
Lessons for (Pedagogic) Usability Design of eLearning Systems in Proceedings of the World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education (eLearn-2003)

M. Pollet, E. Melis and A. Meier
User Interface for Adaptive Suggestions for Interactive Proof in Proceedings of the International Workshop on User Interfaces for Theorem Provers (UITP)

C. Ullrich
Pedagogical Rules in ActiveMath and their Pedagogical Foundations

C. Ullrich
An Instructional Component for Dynamic Course Generation and Delivery in Proceedings of Berliner XML Tage 2003

C. Ullrich, D. Wallach and E. Melis
What is Poor Man's Eye Tracking Good For in 17th Annual Human- Computer Interaction Conference 2003, Volume 2

The ActiveMath group
Using Computer Algebra Systems as Cognitive Tools

J. Büdenbender, G. Goguadze, P. Libbrecht, E. Melis and C. Ullrich
Metadata in ActiveMath

J. Büdenbender, E. Andres, Adrian Frischauf, G. Goguadze, P. Libbrecht, E. Melis and C. Ullrich
Using Computer Algebra Systems as Cognitive Tools in 6th International Conference on Intelligent Tutor Systems (ITS-2002)

Paul Libbrecht
Mathematical Systems Accessed on the Web: an Overview in Electronic Proceedings of the ISSAC-2002 Workshop on Internet Accessible Mathematical Computation (IAMC'02)

E. Melis
Knowledge Representation for Web-Based User-Adaptive Education Systems in BMBF-Workshop: Standardisierung im eLearning

E. Melis and E. Andres
About the Global Suggestion Mechanisms in ActiveMath in ITS-02 Workshop on Creating Diagnostic Assessments

E. Melis and E. Andres
Evaluators and suggestion mechanisms for ActiveMath

Erica Melis, Jochen Büdenbender, Georgi Goguadze, Paul Libbrecht and Carsten Ullrich
Semantics for Web-Based Mathematical Education Systems in Proceedings of the WWW2002 International Workshop on the Semantic Web

C. Ullrich and E. Melis
The Poor Man's Eyetracker Tool of ActiveMath in Proceedings of the World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education (eLearn-2002)

P. Libbrecht, A. Frischauf, E. Melis, M. Pollet and C. Ullrich
Integration of Mathematical Systems into the ActiveMath Learning Environment in ISSAC-2001 Workshop on Internet Accessible Mathematical Computation

P. Libbrecht, E. Melis and C. Ullrich
The ActiveMath Learning Environment. System Description in Calculemus Workshop at IJCAR

P. Libbrecht, E. Melis and C. Ullrich
Generating Personalized Documents Using a Presentation Planner in ED-MEDIA 2001-World Conference on Educational Multimedia, Hypermedia and Telecommunications

P. Libbrecht, E. Melis and C. Ullrich
ActiveMath , a Web-Based Learning Environment in IEEE Learning Technology Newsletter

Erica Melis, Eric Andres, Georgi Goguadze, Paul Libbrecht, Martin Pollet and Carsten Ullrich
ActiveMath: System Description in Artificial Intelligence in Education

E. Melis, E. Andrès, J. Büdenbender, A. Frischauf, G. Goguadze, P. Libbrecht, M. Pollet and C. Ullrich
ActiveMath: A Generic and Adaptive Web-Based Learning Environment in International Journal of Artificial Intelligence in Education

E. Melis, J. Büdenbender, G. Goguadze, P. Libbrecht and C. Ullrich
Knowledge Representation and Management in ActiveMath in LLWA - Tagungsband der GI-Workshopwoche ``Lernen - Lehren - Wissen - Adaptivität''

2000

The OMEGA group: J. Siekmann, Ch. Benzmüller, A. Fiedler, A. Franke, H. Horacek, P. Libbrecht, M. Kohlhase, A. Meier, E. Melis, M. Pollet, V. Sorge, C. Ullrich and J. Zimmer
Adaptive Course Generation and Presentation

in Proceedings of ITS-2000 workshop on Adaptive and Intelligent Web-Based Education Systems