Five ALeA contributions at the CICM
Five papers from around ALeA were presented at the CICM-Conference in Cambridge. Four of them in workshops and once in the main track. There is a contribution to the latter in the proceedings:
Berges, M., Betzendahl, J., Chugh, A., Kohlhase, M., Lohr, D., Müller, D. (2023). Learning Support Systems Based on Mathematical Knowledge Management. In: Dubois, C., Kerber, M. (eds) Intelligent Computer Mathematics. CICM 2023. Lecture Notes in Computer Science(), vol 14101. Springer, Cham. https://doi.org/10.1007/978-3-031-42753-4_6
Other contributions for which the proceedings have not (yet) been published:
- Marcel Schütz: Theory Morphisms in Computer Supported Education
- Abhishek Chugh, Michael Kohlhase and Dennis Müller: Presentation of Active Documents in ALeA
- Abhishek Chugh: ALeA (Demonstration)
- Andrea Kohlhase and Michael Kohlhase: More Interactions in ALeA – Towards New Added-Value Services based on Semantic Markup
Prof. Dr. Michael Kohlhase
Department Informatik (INF)
Professur für Wissensrepräsentation und -verarbeitung
- Telefon: +49 9131 85-64052
- E-Mail: michael.kohlhase@fau.de