Direkt zum Inhalt Direkt zur Navigation
Kompetenzzentrum e-Learning

Publikationen

2014

2013

2011

2010

2009

  • Erica Melis; George Goguadze; Paul Libbrecht; Carsten Ullrich
    Culturally Adapted Mathematics Education with ActiveMath.
    In: Artificial Intelligence and Society, Vol. 24, Pages 251-265, Springer, 2009.
  • Carsten Ullrich; Erica Melis
    Pedagogically founded courseware generation based on HTN-planning.
    In: Expert Systems with Applications, Vol. 36, No. 5, Pages 9319-9332, Pergamon Press, Inc. Tarrytown, NY, USA, 7/2009.
  • Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Jörg Siekmann
    Resource Adaptive Processes in Automated Reasoning Systems.
    In: Matthew Crocker; Jörg Siekmann (Hrsg.). Resource Adaptive Cognitive Processes. Page 28, LNAI, ISBN 978-3-540-89407-0, Springer, 11/2009.
  • Claus-Peter Wirth; Jörg Siekmann; Christoph Benzmüller; Serge Autexier
    Jacques Herbrand: Life, Logic, and Automated Deduction.
    In: Dov M. Gabbay; John Woods. Logic from Russell to Church. Pages 195-254, Handbook of The History of Logic, Vol. 5, Elsevier, 6/2009.
  • Paul Libbrecht; Cyrille Desmoulins
    A Cross-Curriculum Representation for Handling and Searching Dynamic Geometry Competencies.
    In: D. Dicheva; R. Mizoguchi; J. Greer (Hrsg.). Semantic Web Technologies for e-Learning. Chapter 8, A Cross-Curriculum Representation for Handling and Searching Dynamic Geometry Competencies, Pages 136-155, The Future of Learning, Vol. 4, ISBN 978-1-60750-062-9, IOS Press, 11/2009.
  • Miguel Abánades; Francisco Botana; JesĂşs Escribano; Maxim Hendriks; Ulrich Kortenkamp; Yves Kreis; Paul Libbrecht; Daniel Marques; Christian Mercat
    The Intergeo File Format in Progress.
    In: Proceedings of OpenMath Workshop 09. Conferences on Intelligent Computer Mathematics (CICM-09), located at Conferences on Intelligent Computer Mathematics, July 10, Grand Bend, Ontario, Canada, www.activemath.org, 7/2009.
  • George Goguadze
    Representation for Interactive Exercises.
    In: Jacques Carette; Lucas Dixon; Claudio Sacerdoti Coen; Stephen M. Watt (Hrsg.). Proceedings of MKM 2009 - 8th International Conference on Mathematical Knowledge Management. International Conference on Mathematical Knowledge Management (MKM-2009), July 10-12, Grand Bend, Ontario, Canada, Pages 294-309, Lecture Notes in Artificial Intelligence (LNAI), Vol. 5625, Springer, 2009.
  • George Goguadze; Erica Melis
    Combining Evaluative and Generative Diagnosis in ActiveMath.
    In: B. du Boulay; A. Graesser; R. Mizoguchi; Vania Dimitrova (Hrsg.). Proceedings of the 14th International Conference on Artificial Intelligence in Education. International Conference on Artificial Intelligence in Education (AIED-09), July 6-10, Brighton, United Kingdom, Pages 668-670, Frontiers in Artificial Intelligence and Applications (FAIA), Vol. 200, IOS press, 2009.
  • Paul Libbrecht; Eric Andres; Yecheng Gu
    Smart Pasting for ActiveMath Authoring.
    In: Proceedings of Mathematical User-Interfaces Workshop 2009. Mathematical User-Interfaces Workshop (MathUI-2009), located at 8th Mathematical Knowledge Management Conference, July 6, Grand Bend, Ontario, Canada, MathUI Workshop, 7/2009.
  • Paul Libbrecht; Ulrich Kortenkamp; Christian Mercat
    I2Geo: a Web-Library of Interactive Geometry.
    In: Petr Sojka (Hrsg.). Towards a Digital Mathematics Library, Proceedings of the 2nd Workshop. Towards a Digital Mathematics Library (DML-2009), 2nd, located at CICM 2009, July 8-9, Grand Bend, ON, Canada, ISBN 978-80-210-4781-5, Masaryk University, 7/2009.
  • Bruce McLaren; R. Wegerif; Jan Miksatko; Oliver Scheuer; M. Chamrada; N. Mansour
    Are Your Students Working Creatively Together? Automatically Recognizing Creative Turns in Student e-Discussions.
    In: Vania Dimitrova; Riichiro Mizoguchi; Benedict du Boulay; Art Graesser (Hrsg.). Proceedings of the 14th International Conference on Artificial Intelligence in Education. International Conference on Artificial Intelligence in Education (AIED-09), July 6-10, Brighton, United Kingdom, Pages 317-324, IOS Press, 7/2009.
  • Erica Melis; Dieter Kriesell
    Effects of Erroneous Examples, Results of a Preliminary School Experiment.
    In: B. du Boulay; A. Graesser; R. Mizoguchi; Vania Dimitrova (Hrsg.). Proceedings of the 14th International Conference on Artificial Intelligence in Education. International Conference on Artificial Intelligence in Education (AIED-09), July 6-10, Brighton, United Kingdom, Pages 578-580, Frontiers in Artificial Intelligence and Applications, Vol. 200, IOS press, 2009.
  • Oliver Scheuer; Bruce McLaren; Frank Loll; Niels Pinkwart
    An Analysis and Feedback Infrastructure for Argumentation Learning Systems.
    In: Vania Dimitrova; Riichiro Mizogushi; Benedict du Boulay; Art Graesser (Hrsg.). Proceedings of the 14th International Conference on Artificial Intelligence in Education. International Conference on Artificial Intelligence in Education (AIED-09), June 6-10, Brighton, United Kingdom, Pages 629-631, IOS Press, 7/2009.
  • Carsten Ullrich; Tianxiang Lu; Erica Melis
    Just-In-Time Adaptivity Through Dynamic Items.
    In: M. Zancanaro; F. Pianesi; G. McCalla; G.J. Houben (Hrsg.). Proceedings of the First and 17th International Conference on User Modeling, Adaptation, and Personalization. International Conference on User Modeling, Adaptation, and Personalization (UMAP-09), June 22-26, Trento, Italy, Pages 373-378, Lecture Notes in Computer Science (LNCS), Vol. 5535, Springer-Verlag, 2009.
  • R. Wegerif; Bruce McLaren; M. Chamrada; Oliver Scheuer; N. Mansour; Jan Miksatko
    Recognizing Creative Thinking in Graphical e-Discussions using Artificial Intelligence Graph-Matching Techniques.
    In: Proceedings of the 8th International Conference on Computer Supported Collaborative Learning. International Conference on Computer Supported Collaborative Learning (CSCL-09), June 8-13, Rhodes, Greece, CSCL, 6/2009.
  • F. Loll; N. Pinkwart; Oliver Scheuer; Bruce McLaren
    An Architecture for Intelligent CSCL Argumentation Systems.
    In: Proceedings of the 8th International Conference on Computer Supported Collaborative Learning. International Conference on Computer Supported Collaborative Learning (CSCL-09), June 8-13, Rhodes, Greece, CSCL, 6/2009.
  • F. Loll; N. Pinkwart; Oliver Scheuer; Bruce McLaren
    Towards a Flexible Intelligent Tutoring System for Argumentation.
    In: Proceedings of the 9th IEEE International Conference on Advanced Learning Technologies. IEEE International Conference on Advanced Learning Technologies (ICALT-09), July 15 - June 17, Riga, Latvia, ICALT, 7/2009.
  • Carsten Ullrich; Tianxiang Lu; Erica Melis
    A New Framework for Dynamic Adaptations and Actions.
    In: Marcus Specht; Vania Dimitrova; Ulrike Cress (Hrsg.). Learning in the Synergy of Multiple Disciplines. European Conference on Technology Enhanced Learning (EC-TEL-09), September 29 - October 2, Heidelberg, Germany, Lectures Notes in Computer Science (LNCS), Vol. 5794, Springer-Verlag, 10/2009.
  • Dieter Hutter; Raul Monroy
    On the Automated Correction of Protocols with Improper Message Encoding.
    In: Luca Vigano; Pierpaolo Degano (Hrsg.). Proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security. Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA), located at Affiliated with ETAPS 2009, March 28-29, York, United Kingdom, Lectures Notes in Computer Science (LNCS), Springer Verlag, 2009.
  • Dimitra Tsovaltzi; Erica Melis; Bruce McLaren; Michael Dietrich; George Goguadze; Ann-Kristin Meyer
    Erroneous Examples: A Preliminary Investigation into Learning Benefits.
    In: Marcus Specht; Vania Dimitrova; Ulrike Cress (Hrsg.). Proceedings of the First European Conference on Technology Enhanced Learning. European Conference on Technology Enhanced Learning (EC-TEL-09), September 29 - October 2, Nizza, France, Pages 688-693, Lecture Notes in Computer Science (LNCS), Vol. 5794, Springer-Verlag, Heidelberg, 2009.
  • George Goguadze
    Semantic Evaluation Services for Web Based Exercises.
    In: Marc Spaniol; Qing Li; Ralf Klamma; Rynson W. H. Lau (Hrsg.). Proceedings of 8th International Conference on Web Based Learning - ICWL 2009. International Conference on Web-based Learning (ICWL-09), August 19-21, Aachen, Germany, Pages 171-181, Lecture Notes in Computer Science (LNCS), Vol. 5686, Springer, 2009.

2008