@inproceedings{DAgostinoEtAlITS1998, author = {Marcello D'Agostino and Marco Mondadori and Ulrich Endriss and Dov Gabbay and Jeremy Pitt}, title = {WinKE: A Pedagogic Tool for Teaching Logic and Reasoning}, editor = {B.~Goettl and H.~Halff and C.~Redfield and V.~Shute}, booktitle = {Intelligent Tutoring Systems (ITS-1998)}, series = {LNCS}, volume = {1452}, pages = {605}, publisher = {Springer-Verlag}, month = {August}, year = {1998}, note = {Abstract} }