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

DOI10.1007/S10849-013-9177-5zbMATH Open1305.68197OpenAlexW1989601193MaRDI QIDQ2255222FDOQ2255222

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

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

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)

Cites Work

• Title not available (Why is that?)
• Mastermind
• Learning to apply theory of mind
• Title not available (Why is that?)
• Title not available (Why is that?)
• Speed-accuracy response models: scoring rules based on response time and accuracy
• The anaphora problem
• Title not available (Why is that?)
• Title not available (Why is that?)

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)