Publications

Page 2 of 3.

Andrea Kohlhase; Michael Kohlhase
What you get is what you understand: Assessment in SACHS
In: Christoph Lange; Jochen Reutelshöfer (Hrsg.). Wissens- und Erfahrungsmanagement: LWA (Lernen, Wissensentdeckung und Adaptivität) Conference …
Andrea Kohlhase; Michael Kohlhase
Semantic Transparency in User Assistance Systems
In: Proceedings of the 27th annual ACM International Conference on Design of Communication. ACM International Conference on Design of Communication …
Andrea Kohlhase; Michael Kohlhase
Modeling Task Experience in User Assistance Systems
In: Proceedings of the 27th annual ACM International Conference on Design of communication. ACM International Conference on Design of Communication …
Michael Kohlhase; Achim Mahnke; Christine Müller
Managing Variants in Document Content and Narrative Structures
In: Alexander Hinneburg (Hrsg.). Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings. …
Andreas Meier; Erica Melis
Impasse-Driven Reasoning in Proof Planning
In: Michael Kohlhase (Hrsg.). Proceedings of the Fourth International Conference on Mathematical Knowledge Management (MKM2005). International …
S. Manzoor; Paul Libbrecht; Carsten Ullrich; Erica Melis
Authoring Presentation for OpenMath
In: Michael Kohlhase (Hrsg.). Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised …
David Aspinall; Christoph Lüth; Burkhart Wolff
Assisted Proof Document Authoring
In: Michael Kohlhase (Hrsg.). 4th International Conference on Mathematical Knowledge Management (MKM 2005). International Conference on Mathematical …
Dieter Hutter; Michael Kohlhase
Managing Structural Information by Higher-Order Colored Unification
In: Journal of Automated Reasoning (JAR), Vol. 25, No. 2, Pages 123-164, Kluwer, 2000.
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 …
Dieter Hutter; Michael Kohlhase
A Colored Version of the lambda-Calculus
In: W. McCune (Hrsg.). Proceedings 14th International Conference on Automated Deduction, CADE-14. International Conference on Automated Deduction …