Iltis: Learning Logic in the Web
Gaetano Geck, Christine Quenkert, Marko Schmellenkamp, Jonas Schmidt,, Felix Tschirbs, Fabian Vehlken, Thomas Zeume

TL;DR
Iltis is a web-based interactive system that enhances teaching formal methods by providing adaptable exercises and feedback for logic courses, supporting large student groups and diverse logical workflows.
Contribution
It introduces a flexible platform for creating and integrating interactive logic exercises with cascading feedback, suitable for large-scale educational settings.
Findings
Supports exercises in propositional, modal, and first-order logic
Used successfully in courses with over 300 students
Enables large-scale, interactive logic education
Abstract
The Iltis project provides an interactive, web-based system for teaching the foundations of formal methods. It is designed with the objective to allow for simple inclusion of new educational tasks; to pipeline such tasks into more complex exercises; and to allow simple inclusion and cascading of feedback mechanisms. Currently, exercises for many typical automated reasoning workflows for propositional logic, modal logic, and some parts of first-order logic are covered. Recently, Iltis has reached a level of maturity where large parts of introductory logic courses can be supplemented with interactive exercises. Sample interactive course material has been designed and used in courses over the last years, many of them with more than 300 students. We invite all readers to try out Iltis: https://iltis.cs.tu-dortmund.de
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSemantic Web and Ontologies · Logic, Reasoning, and Knowledge · Logic, programming, and type systems
