2008

James H. Davenport and Paul Libbrecht
The Freedom to Extend OpenMath and its Utility in Journal of Computer Science and Mathematics

Paul Libbrecht, Cyrille Desmoulins, Christian Mercat, Colette Laborde, Michael Dietrich and Maxim Hendriks
Cross-Curriculum Search for Intergeo in To Appear in Proceedings of MKM 2008

E. Melis, A. Meier and J. Siekmann
Proof Planning with Multiple Strategies in Artificial Intelligence

Jan Miksatko and Bruce M. McLaren
What's in a Cluster? Automatically Detecting Interesting Interactions in Student E-Discussions in Proceedings of the 9th International Conference on Intelligent Tutoring Systems (ITS-08)

Oliver Scheuer and Bruce M. McLaren
Helping Teachers Handle the Flood of Data in Online Student Discussions in Proceedings of the 9th International Conference on Intelligent Tutoring Systems (ITS-08)

Carsten Ullrich and Paul Libbrecht
Educational Services in the ActiveMath Learning Environment in The Learning Grid Handbook: Concepts, Technologies and Applications -- Volume 2 The Future of Learning

2007

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, Martin Mühlenbrock and Erica Melis
Results from Action Analysis in an Interactive Learning Environment in Journal of Interactive Learning Research (JILR)

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)

2006

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

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

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

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

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

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, 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

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)

2005

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.

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 and E. Andres
Global Feedback in sc ActiveMath in Journal of Computers in Mathematics and Science Teaching

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

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

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
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, A. Meier and M. Pollet
Adaptive Access to a Proof Planner in Proceedings of Third International Conference on Mathematical Knowledge Management (MKM2004)

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

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

J. Zimmer and E. Melis
Constraint Solving for Proof Planning in Journal of Automated Reasoning

2003

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

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 in Annals of Mathematics and Artificial Intelligence, Special Issue on Management of Mathematical Knowledge

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

C. Ullrich
Pedagogical Rules in ActiveMath and their Pedagogical Foundations

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

2002

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)

2001

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