Josje Lodder

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 5

Top Topics

Propositional Logic

Tutoring System

Top Venues

J. Comput. Assist. Learn.

Int. J. Artif. Intell. Educ.

J. Univers. Comput. Sci.

Publications

Josje Lodder, Bastiaan Heeren, Johan Jeuring, Wendy Neijenhuis
Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor. Int. J. Artif. Intell. Educ. 31 (1) (2021)
Josje Lodder, Bastiaan Heeren, Johan Jeuring
Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction. ThEdu@CADE (2019)
Josje Lodder, Bastiaan Heeren, Johan Jeuring
A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae. J. Comput. Assist. Learn. 35 (5) (2019)
Josje Lodder, Bastiaan Heeren, Johan Jeuring
Generating Hints and Feedback for Hilbert-style Axiomatic Proofs. SIGCSE (2017)
Josje Lodder, Bastiaan Heeren, Johan Jeuring
A Domain Reasoner for Propositional Logic. J. Univers. Comput. Sci. 22 (8) (2016)
Josje Lodder, Bastiaan Heeren, Johan Jeuring
A pilot study of the use of LogEx, lessons learned. CoRR (2015)
Josje Lodder, Bastiaan Heeren
A Teaching Tool for Proving Equivalences between Logical Formulae. TICTTL (2011)
Josje Lodder, Harrie Passier, Sylvia Stuurman
Using IDEAS in Teaching Logic, Lessons Learned. CSSE (5) (2008)