Skip to main content Skip to main navigation

Publikationen

Seite 2 von 4.

  1. Erica Melis; Ruimen Shen; Jörg Siekmann; Carsten Ullrich; Fan Yang; Peng Han

    Challenges in Search and Usage of Multi-Media Learning Objects

    In: Journal of Computer Science and Technology, 2006.

  2. Erica Melis; Jörg Siekmann

    e-Learning Logic and Mathematics: What we Have and What we Still Need

    In: S. Artemov; H. Barringer; A.d'Avila Garcez; L.C. Lamb; J. Woods (Hrsg.). We will Show Them! Essays in Honor of Dov Gabbay on his 60th Birthday. Pages 639-662, Vol. 2, College Publications, 2005.

  3. Erica Melis; Jörg Siekmann

    ActiveMath: An Intelligent Tutoring System for Mathematics

    In: L. Rutkowski; Jörg Siekmann; R. Tadeusiewicz; L.A. Zadeh (Hrsg.). Seventh International Conference 'Artificial Intelligence and Soft Computing' (ICAISC). Artificial Intelligence and Soft Computing (ICASC), Pages 91-101, LNAI, Vol. 3070, Springer, 2004.

  4. Giorgi Goguadze; Carsten Ullrich; Erica Melis; Jörg Siekmann; Christian Gross; Rafael Morales

    LeActiveMath Structure and Metadata Model

    Report (Deliverable), LeActiveMath Consortium, LeActiveMath, Vol. D6, 2004.

  5. Erica Melis; Jörg Siekmann

    Abschlussbericht Vorprojekt Interaktives Lehrbuch

    DFKI GmbH, DFKI Final Reports (FR), Vol. 01-08, 2001.

  6. Dieter Hutter; Bruno Langenstein; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt

    Formal Software Development in the Verification Support Environment

    In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 2000.

  7. Dieter Hutter; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt

    Formal Software Development in the Verification Support Environment (VSE)

    In: Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). International FLAIRS Conference (FLAIRS), Pages 367-376, AAAI-Press, 2000.

  8. Jörg Siekmann; Christoph Benzmüller; Armin Fiedler; Andreas Franke; Helmut Horacek; Paul Libbrecht; Michael Kohlhase; Andreas Meier; Erica Melis; Martin Pollet; Volker Sorge; Carsten Ullrich; Jürgen Zimmer

    Adaptive Course Generation and Presentation

    In: P. Brusilovski (Hrsg.). Proceedings of ITS-2000 workshop on Adaptive and Intelligent Web-Based Education Systems. ACM International Conference on Interactive Tabletops and Surfaces (ITS), Montreal, QC, Canada, Pages 54-61, 2000.

  9. Christian Gerber; Jörg Siekmann; Gero Vierke

    Holonic Mulit-Agent Systems

    DFKI, DFKI Research Reports (RR), Vol. 99-03, 1999.

  10. Hans-Jürgen Bürckert; Klaus Fischer; Jörg Siekmann

    Die EDV als Führungs- Steuerungs- und Kontrollinstrument im Wirtschafts- und Güterverkehr

    In: Tagungsband der 1. Saarbrücker Logistik-Tage. Saarbrücker Logistik-Tage, 1997.