{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T10:11:14Z","timestamp":1755598274053},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,7,1]],"date-time":"2013-07-01T00:00:00Z","timestamp":1372636800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1007\/s10849-013-9177-5","type":"journal-article","created":{"date-parts":[[2013,7,30]],"date-time":"2013-07-30T14:16:41Z","timestamp":1375193801000},"page":"297-314","source":"Crossref","is-referenced-by-count":15,"title":["An Analytic Tableaux Model for Deductive Mastermind Empirically Tested with a Massively Used Online Learning System"],"prefix":"10.1007","volume":"22","author":[{"given":"Nina","family":"Gierasimczuk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Han L. J.","family":"van der Maas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maartje E. J.","family":"Raijmakers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,7,31]]},"reference":[{"key":"9177_CR1","volume-title":"Computational complexity and natural language","author":"E Barton","year":"1987","unstructured":"Barton, E., Berwick, R., & Ristad, E. (1987). Computational complexity and natural language. Cambridge, MA: The MIT Press."},{"key":"9177_CR2","volume-title":"The grammatical basis of linguistic performance","author":"R Berwick","year":"1984","unstructured":"Berwick, R., & Weinberg, A. (1984). The grammatical basis of linguistic performance. Cambridge, MA: The MIT Press."},{"issue":"13","key":"9177_CR3","first-page":"309","volume":"18","author":"EW Beth","year":"1955","unstructured":"Beth, E. W. (1955). Semantic entailment and formal derivability. Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen Afdeling Letterkunde, 18(13), 309\u2013342.","journal-title":"Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen Afdeling Letterkunde"},{"key":"9177_CR4","volume-title":"Minimal rationality","author":"C Cherniak","year":"1986","unstructured":"Cherniak, C. (1986). Minimal rationality. Cambridge, MA: The MIT Press."},{"key":"9177_CR5","doi-asserted-by":"crossref","unstructured":"Chvatal, V. (1983). Mastermind. Combinatorica, 3, 325\u2013329.","DOI":"10.1007\/BF02579188"},{"key":"9177_CR6","unstructured":"Elo, A. (1978). The rating of chessplayers, past and present. Arco."},{"key":"9177_CR7","unstructured":"Ghosh, S., & Meijering, B. (2011). On combining cognitive and formal modeling: A case study involving strategic reasoning. In J. Van Eijck, & R. Verbrugge (Eds.) Proceedings of the workshop on reasoning about other minds: Logical and cognitive perspectives (RAOM-2011), Groningen, The Netherlands, July 11th, 2011, CEUR-WS.org. CEUR Workshop Proceedings, vol 751 (pp. 79\u201392)."},{"key":"9177_CR8","unstructured":"Ghosh, S., Meijering, B., & Verbrugge, R. (2010). Logic meets cognition: Empirical reasoning in games. In O. Boissier, A. E. Fallah-Seghrouchni, S. Hassas & N. Maudet (Eds.) Proceedings of the multi-agent logics, languages, and organisations federated workshops (MALLOW 2010), Lyon, France, August 30\u2013September 2, 2010, CEUR-WS.org, CEUR Workshop Proceedings, vol, 627 (pp. 15\u201334)."},{"issue":"4","key":"9177_CR9","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1093\/jos\/ffp008","volume":"26","author":"N Gierasimczuk","year":"2009","unstructured":"Gierasimczuk, N., & Szymanik, J. (2009). Branching quantification v. two-way quantification. Journal of Semantics, 26(4), 367\u2013392.","journal-title":"Journal of Semantics"},{"key":"9177_CR10","doi-asserted-by":"crossref","unstructured":"Greenwell, D. L. (1999\u20132000). Mastermind. Journal of Recreational Mathematics, 30, 191\u2013192.","DOI":"10.1016\/S0168-9274(98)00110-X"},{"key":"9177_CR11","unstructured":"Irving, R. W. (1978\u201379). Towards an optimum Mastermind strategy. Journal of Recreational Mathematics, 11, 81\u201387."},{"key":"9177_CR12","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1006\/drev.1997.0437","volume":"17","author":"B Jansen","year":"1997","unstructured":"Jansen, B., & Van der Maas, H. (1997). A statistical test of the rule assessment methodology by latent class analysis. Developmental Review, 17, 321\u2013357.","journal-title":"Developmental Review"},{"key":"9177_CR13","doi-asserted-by":"crossref","first-page":"1813","DOI":"10.1016\/j.compedu.2011.02.003","volume":"57","author":"S Klinkenberg","year":"2011","unstructured":"Klinkenberg, S., Straatemeier, M., & Van der Maas, H. L. J. (2011). Computer adaptive practice of maths ability using a new item response model for on the fly ability and difficulty estimation. Computers in Education, 57, 1813\u20131824.","journal-title":"Computers in Education"},{"issue":"1","key":"9177_CR14","first-page":"1","volume":"9","author":"DE Knuth","year":"1977","unstructured":"Knuth, D. E. (1977). The computer as master mind. Journal of Recreational Mathematics, 9(1), 1\u20136.","journal-title":"Journal of Recreational Mathematics"},{"issue":"1","key":"9177_CR15","doi-asserted-by":"crossref","first-page":"13","DOI":"10.3233\/ICG-2005-28105","volume":"28","author":"B Kooi","year":"2005","unstructured":"Kooi, B. (2005). Yet another Mastermind strategy. ICGA Journal, 28(1), 13\u201320.","journal-title":"ICGA Journal"},{"key":"9177_CR16","first-page":"251","volume":"25","author":"M Koyama","year":"1993","unstructured":"Koyama, M., & Lai, T. (1993). An optimal Mastermind strategy. Journal of Recreational Mathematics, 25, 251\u2013256.","journal-title":"Journal of Recreational Mathematics"},{"issue":"4","key":"9177_CR17","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1007\/s11336-012-9288-y","volume":"77","author":"G Maris","year":"2012","unstructured":"Maris, G., & Van der Maas, H. L. J. (2012). Speed-accuracy response models: Scoring rules based on response time and accuracy. Psychometrika, 77(4), 615\u2013633.","journal-title":"Psychometrika"},{"key":"9177_CR18","doi-asserted-by":"crossref","unstructured":"Meijering, B., van Rijn, H., Taatgen, N. A., & Verbrugge, R. (2012). What eye movements can tell about theory of mind in a strategic game. PLoS One, 7(9), e45961","DOI":"10.1371\/journal.pone.0045961"},{"key":"9177_CR19","unstructured":"Pel\u00e1nek, R. (2011). Difficulty rating of Sudoku puzzles by a computational model. In R. C. Murray & P. M. McCarthy (Eds.), Proceedings of the twenty-fourth international Florida artificial intelligence research society conference, May 18\u201320, 2011. Palm Beach, Florida, USA: AAAI Press."},{"key":"9177_CR20","volume-title":"The language complexity game","author":"E Ristad","year":"1993","unstructured":"Ristad, E. (1993). The language complexity game. Cambridge, MA: The MIT Press."},{"issue":"4","key":"9177_CR21","doi-asserted-by":"crossref","first-page":"644","DOI":"10.1016\/j.jecp.2011.10.010","volume":"111","author":"VD Schmittmann","year":"2012","unstructured":"Schmittmann, V. D., Van der Maas, H. L. J., & Raijmakers, M. E. J. (2012). Distinct discrimination learning strategies and their relation with spatial memory and attentional control in 4- to 14-year-olds. Journal of Experimental Child Psychology, 111(4), 644\u201362.","journal-title":"Journal of Experimental Child Psychology"},{"key":"9177_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-order logic","author":"R Smullyan","year":"1968","unstructured":"Smullyan, R. (1968). First-order logic. Berlin: Springer."},{"key":"9177_CR23","first-page":"25","volume":"5","author":"J Stuckman","year":"2006","unstructured":"Stuckman, J., & Zhang, G. (2006). Mastermind is NP-complete. INFOCOMP Journal of Computer Science, 5, 25\u201328.","journal-title":"INFOCOMP Journal of Computer Science"},{"key":"9177_CR24","unstructured":"Szymanik, J. (2009). Quantifiers in time and space. Computational complexity of generalized quantifiers in natural language. PhD thesis, Universiteit van Amsterdam."},{"issue":"3","key":"9177_CR25","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/s10988-010-9076-z","volume":"33","author":"J Szymanik","year":"2010","unstructured":"Szymanik, J. (2010). Computational complexity of polyadic lifts of generalized quantifiers in natural language. Linguistics and Philosophy, 33(3), 215\u2013250.","journal-title":"Linguistics and Philosophy"},{"issue":"3","key":"9177_CR26","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1111\/j.1551-6709.2009.01078.x","volume":"34","author":"J Szymanik","year":"2010","unstructured":"Szymanik, J., & Zajenkowski, M. (2010). Comprehension of simple quantifiers. Empirical evaluation of a computational model. Cognitive Science, 34(3), 521\u2013532.","journal-title":"Cognitive Science"},{"key":"9177_CR27","first-page":"44","volume":"22","author":"J Benthem Van","year":"1974","unstructured":"Van Benthem, J. (1974). Semantic tableaus. Nieuw Archief voor Wiskunde, 22, 44\u201359.","journal-title":"Nieuw Archief voor Wiskunde"},{"issue":"5","key":"9177_CR28","doi-asserted-by":"crossref","first-page":"960","DOI":"10.1111\/j.1467-7687.2011.01045.x","volume":"14","author":"BMCW Bers Van","year":"2011","unstructured":"Van Bers, B. M. C. W., Visser, I., Van Schijndel, T. J. P., Mandell, D. J., & Raijmakers, M. E. J. (2011). The dynamics of development on the dimensional change card sorting task. Developmental Science, 14(5), 960\u201371.","journal-title":"Developmental Science"},{"issue":"3","key":"9177_CR29","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1037\/0033-295X.99.3.395","volume":"99","author":"H Maas Van der","year":"1992","unstructured":"Van der Maas, H., & Molenaar, P. (1992). Stagewise cognitive development: An application of catastrophe theory. Psychological Review, 99(3), 395\u2013417.","journal-title":"Psychological Review"},{"key":"9177_CR30","unstructured":"Van der Maas, H., Klinkenberg, S., & Straatemeier, M. (2010). Rekentuin.nl: Combinatie van oefenen en toetsen. Examens, 4, 10\u201314."},{"key":"9177_CR31","doi-asserted-by":"crossref","first-page":"939","DOI":"10.1080\/03640210801897856","volume":"32","author":"I Rooij Van","year":"2008","unstructured":"Van Rooij, I. (2008). The tractable cognition thesis. Cognitive Science, 32, 939\u2013984.","journal-title":"Cognitive Science"},{"key":"9177_CR32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3389\/fnhum.2011.00052","volume":"5","author":"I Rooij Van","year":"2011","unstructured":"Van Rooij, I., Kwisthout, J., Blokpoel, M., Szymanik, J., Wareham, T., & Toni, I. (2011). Intentional communication: Computationally easy or difficult? Frontiers in Human Neuroscience, 5, 1\u201318.","journal-title":"Frontiers in Human Neuroscience"},{"issue":"4","key":"9177_CR33","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/s10849-008-9067-4","volume":"17","author":"R Verbrugge","year":"2008","unstructured":"Verbrugge, R., & Mol, L. (2008). Learning to apply theory of mind. Journal of Logic, Language and Information, 17(4), 489\u2013511.","journal-title":"Journal of Logic, Language and Information"},{"issue":"6","key":"9177_CR34","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1016\/j.jcomdis.2011.07.005","volume":"44","author":"M Zajenkowski","year":"2011","unstructured":"Zajenkowski, M., Sty\u0142a, R., & Szymanik, J. (2011). A computational approach to quantifiers as an explanation for some language impairments in schizophrenia. Journal of Communication Disorders, 44(6), 595\u2013600.","journal-title":"Journal of Communication Disorders"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-013-9177-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-013-9177-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-013-9177-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,20]],"date-time":"2019-07-20T01:06:40Z","timestamp":1563584800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-013-9177-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":34,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,7]]}},"alternative-id":["9177"],"URL":"https:\/\/doi.org\/10.1007\/s10849-013-9177-5","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7]]}}}