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, Vol. 14101.
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.