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

Josje Lodder; Bastiaan Heeren; Johan Jeuring; Wendy Neijenhuis

doi:10.1007/s40593-020-00222-2

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

Josje Lodder^*, Bastiaan Heeren, Johan Jeuring, Wendy Neijenhuis

^*Corresponding author for this work

Research output: Contribution to journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	99-133
Number of pages	35
Journal	International Journal of Artificial Intelligence in Education
Volume	31
Issue number	1
Early online date	6 Nov 2020
DOIs	https://doi.org/10.1007/s40593-020-00222-2
Publication status	Published - Mar 2021

Keywords

Axiomatic proofs
Feedback
Hilbert axiom system
Intelligent tutoring
LOGIC
Propositional logic

Access to Document

10.1007/s40593-020-00222-2Licence: CC BY

Cite this

@article{5b854574ea1148baa4a7fccc16772c57,

title = "Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor",

keywords = "Axiomatic proofs, Feedback, Hilbert axiom system, Intelligent tutoring, LOGIC, Propositional logic",

author = "Josje Lodder and Bastiaan Heeren and Johan Jeuring and Wendy Neijenhuis",

year = "2021",

month = mar,

doi = "10.1007/s40593-020-00222-2",

language = "English",

volume = "31",

pages = "99--133",

journal = "International Journal of Artificial Intelligence in Education",

issn = "1560-4306",

publisher = "Springer",

number = "1",

}

TY - JOUR

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

AU - Lodder, Josje

AU - Heeren, Bastiaan

AU - Jeuring, Johan

AU - Neijenhuis, Wendy

PY - 2021/3

Y1 - 2021/3

KW - Axiomatic proofs

KW - Feedback

KW - Hilbert axiom system

KW - Intelligent tutoring

KW - LOGIC

KW - Propositional logic

U2 - 10.1007/s40593-020-00222-2

DO - 10.1007/s40593-020-00222-2

M3 - Article

SN - 1560-4306

VL - 31

SP - 99

EP - 133

JO - International Journal of Artificial Intelligence in Education

JF - International Journal of Artificial Intelligence in Education

IS - 1

ER -

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

Keywords

Access to Document

Fingerprint

Cite this