Josje Lodder

According to our database, Josje Lodder authored at least 8 papers between 2008 and 2021.

Collaborative distances:

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

2021

Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor.

Josje Lodder, Bastiaan Heeren, Johan Jeuring, Wendy Neijenhuis

Int. J. Artif. Intell. Educ., 2021

2019

A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae.

Josje Lodder, Bastiaan Heeren, Johan Jeuring

J. Comput. Assist. Learn., 2019

Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction.

Josje Lodder, Bastiaan Heeren, Johan Jeuring

Proceedings of the Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, 2019

2017

Generating Hints and Feedback for Hilbert-style Axiomatic Proofs.

Josje Lodder, Bastiaan Heeren, Johan Jeuring

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

2016

A Domain Reasoner for Propositional Logic.

Josje Lodder, Bastiaan Heeren, Johan Jeuring

J. Univers. Comput. Sci., 2016

2015

A pilot study of the use of LogEx, lessons learned.

Josje Lodder, Bastiaan Heeren, Johan Jeuring

CoRR, 2015

2011

A Teaching Tool for Proving Equivalences between Logical Formulae.

Josje Lodder, Bastiaan Heeren

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

2008

Using IDEAS in Teaching Logic, Lessons Learned.

Josje Lodder, Harrie Passier, Sylvia Stuurman

Proceedings of the International Conference on Computer Science and Software Engineering, 2008