WinKE: A Pedagogical Tool for Teaching Logic and Reasoning.

Marcello D'Agostino, Marco Mondadori, Ulrich Endriss, Dov M. Gabbay, Jeremy Pitt

Browse the full ITS paper archive.