dc.rights.license | CC-BY-NC-ND | |
dc.contributor.advisor | Klos, T. B. | |
dc.contributor.author | Vlist, C.L. van der | |
dc.date.accessioned | 2019-08-04T17:00:47Z | |
dc.date.available | 2019-08-04T17:00:47Z | |
dc.date.issued | 2019 | |
dc.identifier.uri | https://studenttheses.uu.nl/handle/20.500.12932/33179 | |
dc.description.abstract | This paper introduces LEGEND, an interactive tutoring system which provides formal proofs in natural deduction and allows users to construct their own proofs. I describe the way LEGEND can be used, and I explain the algorithm it utilizes to construct proofs or create graphs of paths from premises to a conclusion. | |
dc.description.sponsorship | Utrecht University | |
dc.format.extent | 307982 | |
dc.format.mimetype | application/pdf | |
dc.language.iso | en_US | |
dc.title | A Solver and Tutoring Tool for Logical Proofs in Natural Deduction | |
dc.type.content | Bachelor Thesis | |
dc.rights.accessrights | Open Access | |
dc.subject.keywords | Tutoring Tool; ITS | |
dc.subject.courseuu | Kunstmatige Intelligentie | |