Skip to main content Skip to main navigation

Publikationen

Seite 1 von 4.

  1. Sergey Sosnovsky; Michael Dietrich; Eric Andres; Giorgi Goguadze; Stefan Winterstein; Paul Libbrecht; Jörg Siekmann; Erica Melis

    Math-Bridge: Closing Gaps in European Remedial Mathematics with Technology-Enhanced Learning

    In: Thomas Wassong; Daniel Frischemeier; Pascal R. Fischer; Reinhard Hochmuth; Peter Bender. Mit Werkzeugen Mathematik und Stochastik lernen - Using Tools for Learning Mathematics and Statistics. Chapter 31, Pages 437-451, Springer, 2014.

  2. Seamless Resource-Adaptive Navigation

    In: Matthew W. Crocker; Jörg Siekmann (Hrsg.). Resource-Adaptive Cognitive Processes. Pages 239-265, Cognitive Technologies, ISBN 978-3-540-89407-0, Springer, Berlin Heidelberg, 2010.

  3. Wolfgang Wahlster; Michael Feld; Patrick Gebhard; Dominikus Heckmann; Ralf Jung; Michael Kruppa; Michael Schmitz; Lübomira Spassova; Rainer Wasinger

    The Shopping Experience of Tomorrow: Human-Centered and Resource-Adaptive

    In: Matthew Crocker; Jörg Siekmann (Hrsg.). Resource-Adaptive Cognitive Processes. Pages 205-237, Cognitive Technologies, ISBN 978-3-540-89407-0, Springer, Berlin Heidelberg, 2010.

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

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

  6. Anthony Jameson; Jürgen Kiefer; Christian Müller; Frank Wittig; Ralf Rummer

    Assessment of a user's time pressure and cognitive load on the basis of features of speech

    In: M. Crocker; Jörg Siekmann (Hrsg.). Resource-adaptive cognitive systems. Cognitive Technologies, ISBN 978-3-540-89407-0, Springer, Berlin - Heidelberg - New York, 2008.

  7. Erica Melis; Andreas Meier; Jörg Siekmann

    Proof Planning with Multiple Strategies

    In: Artificial Intelligence (AIJ), Pages 656-684, Elesevier, 2008.

  8. Z. Zhang; Jörg Siekmann (Hrsg.)

    Knowledge Science, Engineering and Management. 2nd International Conference

    International Conference on Knowledge Science, Engeneering and Management (KSEM-2007), November 28-30, Melbourne, Australia, LNCS, Vol. 4798, Springer, 11/2007.

  9. Knowledge Technologies for the Social Semantic Desktop

    In: Zili Zhang; Jörg Siekmann (Hrsg.). Knowledge Science, Engeneering and Management. 2nd International Conference, Proceedings. International Conference on Knowledge Science, Engeneering and Management (KSEM-07), November 28-30, Melbourne, Australia, Pages 2-9, Lecture Notes in Computer Science (LNCS), Vol. 4798, ISBN 978-3-540-76718-3, Springer, 11/2007.

  10. Computer Supported Formal Work: Towards a Digital Mathematical Assistant

    In: Roman Matuszewski; Anna Zalewska (Hrsg.). From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 231-248, Studies in Logic, Grammar and Rhetoric, Vol. 10 (23), University of Bialystok, 7/2007.