Educational Technology Lab

Seite 31 von 33.

1. 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.

2. 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.

3. 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.

4. Erica Melis; Giorgi Goguadze; Paul Libbrecht; Carsten Ullrich

   Culturally Adapted Mathematics Education with ActiveMath

   In: Artificial Intelligence and Society, Vol. 24, Pages 251-265, Springer, 2009.

5. 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.

6. 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.

7. Giorgi 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.

8. 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.

9. Dimitra Tsovaltzi; Erica Melis; Bruce McLaren; Michael Dietrich; Giorgi Goguadze; Ann-Kristin Thurner

   Erroneous Examples: A Preliminary Investigation into Learning Benefits

   In: Marcus Specht; Vania Dimitrova; Ulrike Cress (Hrsg.). Proceedings of the Fourth European Conference on Technology Enhanced Learning. European Conference on Technology Enhanced Learning (EC-TEL-2009), Learning in the Synergy of Multiple Disciplines, September 29 - October 2, Nizza, France, Pages 688-693, Lecture Notes in Computer Science (LNCS), Vol. 5794, Springer-Verlag, Heidelberg, 2009.

10. Giorgi 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.

• vorherige
• 1
• …
• 30
• 31
• 32
• 33
• nächste