Jonas Betzendahl

According to our database, Jonas Betzendahl authored at least 7 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Learning Support Systems Based on Mathematical Knowledge Management.

Marc Berges, Jonas Betzendahl, Abhishek Chugh, Michael Kohlhase, Dominic Lohr, Dennis Müller

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

Learning with ALeA: Tailored experiences through annotated course material.

Theresa Kruse, Marc Berges, Jonas Betzendahl, Michael Kohlhase, Dominic Lohr, Dennis Müller

Proceedings of the 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future, 2023

Guided Tours in ALeA - Assembling Tailored Educational Dialogues from Semantically Annotated Learning Objects.

Jonas Betzendahl, Michael Kohlhase, Dennis Müller

Proceedings of the Artificial Intelligence. ECAI 2023 International Workshops - XAI³, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30, 2023

2021

Reasoning Support for Undefinedness and Soft Typing in Formal Mathematics - Extended Abstract.

Jonas Betzendahl

Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021

2019

Definedness Reasoning in Formal Mathematics and Theorem Proving.

Jonas Betzendahl

Proceedings of the Joint Proceedings of the FMM and LML Workshops, 2019

2018

Translating the IMPS Theory Library to MMT/OMDoc.

Jonas Betzendahl, Michael Kohlhase

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

Formal Languages for Mathematics.

Jonas Betzendahl

Proceedings of the Joint Proceedings of the CME-EI, 2018