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

Propositional logic
Axiomatic proofs
Hilbert axiom system
Feedback
Intelligent tutoring
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 = "Propositional logic, Axiomatic proofs, Hilbert axiom system, Feedback, Intelligent tutoring, 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-4292",

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 - Propositional logic

KW - Axiomatic proofs

KW - Hilbert axiom system

KW - Feedback

KW - Intelligent tutoring

KW - LOGIC

U2 - 10.1007/s40593-020-00222-2

DO - 10.1007/s40593-020-00222-2

M3 - Article

VL - 31

SP - 99

EP - 133

JO - International Journal of Artificial Intelligence in Education

JF - International Journal of Artificial Intelligence in Education

SN - 1560-4292

IS - 1

ER -

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

Keywords

Access to Document

Fingerprint

Cite this