WinKE: A pedagogic tool for teaching logic and reasoning

Marcello D’Agostino; Marco Mondadori; Ulrich Endriss; Dov Gabbay; Jeremy Pitt

doi:10.1007/3-540-68716-5_69

WinKE: A pedagogic tool for teaching logic and reasoning

Marcello D’Agostino, Marco Mondadori, Ulrich Endriss, Dov Gabbay, Jeremy Pitt

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Intelligent Tutoring Systems - 4th International Conference, ITS 1998, Proceedings
Editors	Barry P. Goettl, Valerie J. Shute, Henry M. Halff, Carol L. Redfield
Publisher	Springer Verlag
Pages	605
Number of pages	1
ISBN (Print)	3540647708, 9783540647706
DOIs	https://doi.org/10.1007/3-540-68716-5_69
State	Published - 1998
Externally published	Yes
Event	4th International Conference on Intelligent Tutoring Systems, ITS 1998 - San Antonio, United States Duration: 16 Aug 1998 → 19 Aug 1998

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1452
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	4th International Conference on Intelligent Tutoring Systems, ITS 1998
Country/Territory	United States
City	San Antonio
Period	16/08/98 → 19/08/98

Access to Document

10.1007/3-540-68716-5_69

Cite this

D’Agostino, M., Mondadori, M., Endriss, U., Gabbay, D., & Pitt, J. (1998). WinKE: A pedagogic tool for teaching logic and reasoning. In B. P. Goettl, V. J. Shute, H. M. Halff, & C. L. Redfield (Eds.), Intelligent Tutoring Systems - 4th International Conference, ITS 1998, Proceedings (pp. 605). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1452). Springer Verlag. https://doi.org/10.1007/3-540-68716-5_69

D’Agostino, Marcello ; Mondadori, Marco ; Endriss, Ulrich et al. / WinKE : A pedagogic tool for teaching logic and reasoning. Intelligent Tutoring Systems - 4th International Conference, ITS 1998, Proceedings. editor / Barry P. Goettl ; Valerie J. Shute ; Henry M. Halff ; Carol L. Redfield. Springer Verlag, 1998. pp. 605 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e6994a42a182418b8730c973d4263f80,

title = "WinKE: A pedagogic tool for teaching logic and reasoning",

author = "Marcello D{\textquoteright}Agostino and Marco Mondadori and Ulrich Endriss and Dov Gabbay and Jeremy Pitt",

year = "1998",

doi = "10.1007/3-540-68716-5_69",

language = "אנגלית",

isbn = "3540647708",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "605",

editor = "Goettl, {Barry P.} and Shute, {Valerie J.} and Halff, {Henry M.} and Redfield, {Carol L.}",

booktitle = "Intelligent Tutoring Systems - 4th International Conference, ITS 1998, Proceedings",

address = "גרמניה",

note = "4th International Conference on Intelligent Tutoring Systems, ITS 1998 ; Conference date: 16-08-1998 Through 19-08-1998",

}

D’Agostino, M, Mondadori, M, Endriss, U, Gabbay, D & Pitt, J 1998, WinKE: A pedagogic tool for teaching logic and reasoning. in BP Goettl, VJ Shute, HM Halff & CL Redfield (eds), Intelligent Tutoring Systems - 4th International Conference, ITS 1998, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1452, Springer Verlag, pp. 605, 4th International Conference on Intelligent Tutoring Systems, ITS 1998, San Antonio, United States, 16/08/98. https://doi.org/10.1007/3-540-68716-5_69

WinKE: A pedagogic tool for teaching logic and reasoning. / D’Agostino, Marcello; Mondadori, Marco; Endriss, Ulrich et al.
Intelligent Tutoring Systems - 4th International Conference, ITS 1998, Proceedings. ed. / Barry P. Goettl; Valerie J. Shute; Henry M. Halff; Carol L. Redfield. Springer Verlag, 1998. p. 605 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1452).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - WinKE

T2 - 4th International Conference on Intelligent Tutoring Systems, ITS 1998

AU - D’Agostino, Marcello

AU - Mondadori, Marco

AU - Endriss, Ulrich

AU - Gabbay, Dov

AU - Pitt, Jeremy

PY - 1998

Y1 - 1998

UR - http://www.scopus.com/inward/record.url?scp=84957076791&partnerID=8YFLogxK

U2 - 10.1007/3-540-68716-5_69

DO - 10.1007/3-540-68716-5_69

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84957076791

SN - 3540647708

SN - 9783540647706

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 605

BT - Intelligent Tutoring Systems - 4th International Conference, ITS 1998, Proceedings

A2 - Goettl, Barry P.

A2 - Shute, Valerie J.

A2 - Halff, Henry M.

A2 - Redfield, Carol L.

PB - Springer Verlag

Y2 - 16 August 1998 through 19 August 1998

ER -

D’Agostino M, Mondadori M, Endriss U, Gabbay D, Pitt J. WinKE: A pedagogic tool for teaching logic and reasoning. In Goettl BP, Shute VJ, Halff HM, Redfield CL, editors, Intelligent Tutoring Systems - 4th International Conference, ITS 1998, Proceedings. Springer Verlag. 1998. p. 605. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-68716-5_69

WinKE: A pedagogic tool for teaching logic and reasoning

Publication series

Conference

Access to Document

Other files and links

Cite this