Archival Literature
Papers at International, Peer-Reviewed Conferences
- [1]
M. Berges, J. Betzendahl, A. Chugh, M. Kohlhase, D. Lohr, and D. Müller (2023)
Learning support systems based on mathematical knowledge managment.
In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2023, C. Dubois and M. Kerber (Eds.),
LNAI.
External Links: Link
Cited by: p1.
- [3]
T. Kruse, M. Berges, J. Betzendahl, M. Kohlhase, D. Lohr, and D. Müller (2023)
Learning with alea: tailored experiences through annotated course material.
In KI-bildung,
Lecture Notes in Informatics.
External Links: Link
Cited by: p1.
- [2]
J. Betzendahl and M. Kohlhase (2018)
Translating the IMPS theory library to OMDoc/MMT.
In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2018, F. Rabe, W. M. Farmer, G. O. Passmore, and A. Youssef (Eds.),
LNAI.
External Links: Link
Cited by: p1.
Theses
- [2]
J. Betzendahl (2018-04)
Translating the IMPS theory library to MMT / OMDoc.
Master’s Thesis, Informatik, Universität Bielefeld.
External Links: Link
Cited by: p1.
- [1]
J. Betzendahl (2014-08)
Implementation of inverse coupled rewrite systems – a case study.
Bachelor’s Thesis, Informatik, Universität Bielefeld.
External Links: Link
Cited by: p1.
Gray Literature
Papers at Peer-Reviewed Workshops
- [1]
J. Betzendahl, M. Kohlhase, and D. Müller (2023)
Guided tours in alea - assembling tailored educational dialogues from semantically annotated learning objects.
In Artificial Intelligence. ECAI 2023 International Workshops - AI4AI, Poland, September 30 - October 4, 2023, Proceedings, Part II, S. Nowaczyk, P. Biecek, N. C. Chung, M. Vallati, P. Skruch, J. Jaworek-Korjakowska, S. Parkinson, A. Nikitas, M. Atzmüller, T. Kliegr, U. Schmid, S. Bobek, N. Lavrac, M. Peeters, R. van Dierendonck, S. Robben, E. Mercier-Laurent, G. Kayakutlu, M. L. Owoc, K. Mason, A. Wahid, P. Bruno, F. Calimeri, F. Cauteruccio, G. Terracina, D. Wolter, J. L. Leidner, M. Kohlhase, and V. Dimitrova (Eds.),
Communications in Computer and Information Science, Vol. 1948, pp. 397–408.
External Links: Link,
Document
Cited by: p1.