An analytic tableaux model for Deductive Mastermind empirically tested with a massively used online learning system

DOI10.1007/S10849-013-9177-5MaRDI QIDQ2255222zbMATHOpenAlexFDO

Authors Nina Gierasimczuk, Han L. J. van der Maas, Maartje E. J. Raijmakers

Publication date 9 February 2015

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10849-013-9177-5

zbMATH Keywords

deductive reasoninganalytic tableauxDeductive Mastermindeducational toolsMastermind gameMath Garden (Rekentuin)

Mathematics Subject Classification ID

Memory and learning in psychology (91E40) Natural language processing (68T50) Computer-assisted instruction, e-learning (aspects of mathematics education) (97U50)

Recommendations

• Cobra: a tool for solving general deductive games
• scientific article; zbMATH DE number 3893163
• Strategy optimization for deductive games
• Reasoning processes in propositional logic
• scientific article; zbMATH DE number 2051378

Cites work

• scientific article; zbMATH DE number 3559318 (Why is no real title available?)
• scientific article; zbMATH DE number 599564 (Why is no real title available?)
• scientific article; zbMATH DE number 1982051 (Why is no real title available?)
• scientific article; zbMATH DE number 3446883 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• Learning to apply theory of mind
• Mastermind
• Speed-accuracy response models: scoring rules based on response time and accuracy
• The anaphora problem

Cited in

(3)

• Hybrid-logical reasoning in the Smarties and Sally-Anne tasks
• Strategic reasoning: building cognitive models from logical formulas
• Logic and complexity in cognitive science

This page was built for publication: An analytic tableaux model for Deductive Mastermind empirically tested with a massively used online learning system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2255222)