Publikationen

Seite 1 von 4.

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 …
Tim Schwartz; Christoph Stahl; Jörg Baus; Wolfgang Wahlster
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, …
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, …
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.
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 - …
Erica Melis; Andreas Meier; Jörg Siekmann
Proof Planning with Multiple Strategies
In: Artificial Intelligence (AIJ), Pages 656-684, Elesevier, 2008.
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, …
Andreas Dengel
Knowledge Technologies for the Social Semantic Desktop
In: Zili Zhang; Jörg Siekmann (Hrsg.). Knowledge Science, Engeneering and Management. 2nd International Conference, Proceedings. International …
Jörg Siekmann; Serge Autexier
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 …