A5086631278- Intelligent Tutoring Systems and Adaptive Learning
- Logic, programming, and type systems
- Logic, Reasoning, and Knowledge
- Open Education and E-Learning
- Multi-Agent Systems and Negotiation
- Semantic Web and Ontologies
- Educational Technology and Assessment
- Experimental Learning in Engineering
- EFL/ESL Teaching and Learning
- AI-based Problem Solving and Planning
- Teaching and Learning Programming
- Innovative Teaching and Learning Methods
- Educational Assessment and Pedagogy
Ruhr University Bochum
2023-2025
TU Dortmund University
2019
Computational reductions are an important and powerful concept in computer science. However, they difficult for many students to grasp. In this paper, we outline a how the learning of can be supported by educational support systems. We present implementation within such system, concrete web-based interactive material reductions, report on our experiences using large introductory course theoretical
Foundations of formal languages, as subfield theoretical computer science, are part typical upper secondary education curricula. There is very little research on the potential difficulties that students at this level have with subject. In paper, we report an exploratory study errors in languages among students. We collect data by posing exercises intelligent tutoring system and analyzing student input. Our results suggest a) instances non-functional understanding concepts such empty word or...
Foundations of formal languages, as subfield theoretical computer science, are part typical upper secondary education curricula. There is very little research on the potential difficulties that students at this level have with subject. In paper, we report an exploratory study errors in languages among students. We collect data by posing exercises intelligent tutoring system and analyzing student input. Our results suggest a) instances non-functional understanding concepts such empty word or...
In this paper we advocate the study of misconceptions in formal methods domain by integrating quantitative and qualitative methods. domain, so far, have mostly been studied with methods, typically via interviews less than 20 subjects. We discuss workflows for (1) determining commonness qualitatively established means; (2) initial discovery followed assessments.
Iltis is an interactive, web-based system for teaching logic. It designed to provide immediate and comprehensive feedback exercises covering various aspects of the reasoning workflow. This poster presentation reports on new mechanisms modal first-order
The Iltis project provides an interactive, web-based system for teaching the foundations of formal methods. It is designed with objective to allow simple inclusion new educational tasks; pipeline such tasks into more complex exercises; and cascading feedback mechanisms. Currently, exercises many typical automated reasoning workflows propositional logic, modal some parts first-order logic are covered. Recently, has reached a level maturity where large introductory courses can be supplemented...