Michael Kohlhase
Friedrich-Alexander-Universität Erlangen-Nürnberg
H-index: 43
Europe-Germany
Top articles of Michael Kohlhase
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Artificial Intelligence 1 Winter Semester 2023/24–Lecture Notes–Part III: Knowledge and Inference | Michael Kohlhase | 2024/2/8 | |
Logic-Based Natural Language Processing WS 2023/24 Lecture Notes | Michael Kohlhase | 2024/1/20 | |
Guided Tours in ALeA: Assembling Tailored Educational Dialogues from Semantically Annotated Learning Objects | Jonas Betzendahl Michael Kohlhase Dennis Müller | 2023/9/30 | |
Learning with ALeA: Tailored experiences through annotated course material | Theresa Kruse Marc Berges Jonas Betzendahl Michael Kohlhase Dominic Lohr | 2023 | |
The potential of answer classes in large-scale written computer-science exams | Proceedings of the 10th Symposium on Computer Science in Higher Education HDI | Dominic Lohr Marc Berges Michael Kohlhase Florian Rabe | 2023 |
Towards an Annotation Standard for STEM Documents: Datasets, Benchmarks, and Spotters | Jan Frederik Schaefer Michael Kohlhase | 2023/8/28 | |
Learning support systems based on mathematical knowledge management | Marc Berges Jonas Betzendahl Abhishek Chugh Michael Kohlhase Dominic Lohr | 2023/8/28 | |
Informatische Werkzeuge in den Geistes-und Sozialwissenschaften 1/2 | Michael Kohlhase | 2023/10/19 | |
The Y-Model-Formalization of Computer Science Tasks in the Context of Adaptive Learning Systems | Dominic Lohr Marc Berges Michael Kohlhase Dennis Müller Max Rapp | 2023/8/2 | |
Artificial Intelligence 2 Summer Semester 2024–Lecture Notes–Conclusion of AI-2 | Michael Kohlhase | 2023/5/24 | |
FAU Erlangen-Nürnberg | Michael Kohlhase Dennis Müller | 2023/3/29 | |
The Y Model–Formalization of Computer-Science Tasks in the Context of Intelligent Tutoring Systems | DOMINIC LOHR MARC BERGES M Kohlhase D Müller M Rapp | 2022 | |
Logic-Based Natural Language Processing Winter Semester 2020/21 Lecture Notes | Michael Kohlhase | 2022/1/23 | |
TheSTEX3 Package Collection | Michael Kohlhase Dennis Müller | 2022/9/14 | |
Digitalisierung von Zivilprozess und Rechtsdurchsetzung | Axel Adrian Michael Kohlhase Stephanie Evert Martin Zwickel | 2022 | |
Wann ist ein juristischer Text strukturiert? | Michael Kohlhase | 2022/1/9 | |
Artificial Intelligence 1 Winter Semester 2021/22–Lecture Notes–Part I: Getting Started with AI | Michael Kohlhase | 2022/7/4 | |
System Description STEX3–A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents | Michael Kohlhase Dennis Müller | 2022/9/17 | |
A Glossary for AI (Auto-Generated) | Michael Kohlhase | 2022/2/6 | |
Injecting formal mathematics into LaTeX | Dennis Müller Michael Kohlhase | 2022/9/17 |