Paul Libbrecht
Notations Around the World:Census and Exploitation in Intelligent Computer Mathematics

Paul Libbrecht
What You Check is What You Get: Authoring with jEditOQMath in Proceedings 10th IEEE International Conference on Advanced Learning Technologies.

Oliver Scheuer, Bruce M. McLaren, Frank Loll and Niels Pinkwart
Automated Analysis and Feedback Techniques to Support and Teach Argumentation: A Survey in Educational Technologies for Teaching Argumentation Skills

Carsten Ullrich and Erica Melis
Complex Course Generation Adapted to Pedagogical Scenarios and its Evaluation in Educational Technology & Society

P. Brusilovsky, S. Sosnovsky, D. Lee, Zadorozhny Yudelson M. and X. V., & Zhou
Learning SQL Programming with Interactive Tools: From Integration to Personalization. in ACM Transactions on Computing Education

I-H. Hsiao, S. Sosnovsky and P Brusilovsky
Guiding Students to the Right Questions: Adaptive Navigation Support in an E-learning System for Java Programming in Journal of Computer Assisted Learning

S. Sosnovsky and D. Dicheva
Ontological technologies for user modelling. in International Journal of Metadata, Semantics and Ontologies

G. Goguadze
Representation for Interactive Exercises in Proceedings of 8th International Conference on Mathematical Knowledge Management MKM 2009

G. Goguadze
Semantic Evaluation Services for Web Based Exercises in Proceedings of 8th International Conference on Web Based Learning - ICWL 2009

B.M. McLaren, R. Wegerif, J. Miksatko, O. Scheuer, M. Chamrada and N. Mansour
Are Your Students Working Creatively Together? Automatically Recognizing Creative Turns in Student e-Discussions in Proceedings of the 14th International Conference on Artificial Intelligence in Education (AIED-09)

E. Melis, G. Goguadze, P. Libbrecht and C. Ullrich
Culturally Aware Mathematics Education Technology in The Handbook of Research in Culturally-Aware Information Technology: Perspectives and Models

E. Melis, G. Goguadze, P. Libbrecht and C. Ullrich
ActiveMath - A Learning Platform With Semantic Web Features in Ontologies and Semantic Web for e-Learning

E. Melis, G. Goguadze, P. Libbrecht and C. Ullrich
Culturally Adapted Mathematics Education with ActiveMath in Artificial Intelligence and Society, Special Issue on Enculturating HCI

D. Tsovaltzi, E. Melis, B. McLaren, M. Dietrich, G. Goguadze and A-K. Meyer
Erroneous Examples: A Preliminary Investigation into Learning Benefits in Proc. of the First European Conference on Technology Enhanced Learning (EC-TEL 2009)

Carsten Ullrich and Erica Melis
Complex Course Generation Adapted to Pedagogical Scenarios and itsEvaluation in Educational Technology & Society

Carsten Ullrich and Erica Melis
Pedagogically founded courseware generation based on HTN-planning in Expert Systems with Applications

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

A. Faulhaber and E. Melis
An Efficient Student Model Based on Student Performance and Metadata in European Conference on Artificial Intelligence, ECAI-2008

Paul Libbrecht
A Model of Re-use of E-Learning Content in Proceedings of ECTEL 2008, Maastricht, Markus Specht and Pierre Dillenbourg (eds)

Paul Libbrecht, Cyrille Desmoulins, Christian Mercat, Colette Laborde, Michael Dietrich and Maxim Hendriks
Cross-Curriculum Search for Intergeo in Intelligent Computer Mathematics

E. Melis, A. Faulhaber, A. Eichelmann and S. Narciss
Interoperable Competencies Characterizing Learning Objects in Mathematics in Intelligent Tutoring Systems, ITS 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
Pedagogically Founded Courseware Generation for Web-Based Learning -- An HTN-Planning-Based Approach Implemented in PAIGOS

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

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

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)

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)

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

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

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

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)

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