{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T02:30:09Z","timestamp":1761964209810},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2009,3,10]],"date-time":"2009-03-10T00:00:00Z","timestamp":1236643200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Cogn Process"],"published-print":{"date-parts":[[2009,11]]},"DOI":"10.1007\/s10339-009-0256-0","type":"journal-article","created":{"date-parts":[[2009,3,9]],"date-time":"2009-03-09T13:50:38Z","timestamp":1236606638000},"page":"343-353","source":"Crossref","is-referenced-by-count":6,"title":["Reasoning as simulation"],"prefix":"10.1007","volume":"10","author":[{"given":"Nicholas L.","family":"Cassimatis","sequence":"first","affiliation":[]},{"given":"Arthi","family":"Murugesan","sequence":"additional","affiliation":[]},{"given":"Perrin G.","family":"Bignoli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,3,10]]},"reference":[{"key":"256_CR1","unstructured":"Aloul FA, Markov IL, Sakallah KA (2001) MINCE: a static global variable-ordering for SAT and BDD. Paper presented at the IEEE 10th international workshop on logic and synthesis"},{"key":"256_CR2","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780195324259.001.0001","volume-title":"How can the human mind occur in the physical universe?","author":"JR Anderson","year":"2007","unstructured":"Anderson JR (2007) How can the human mind occur in the physical universe?. Oxford University Press, New York"},{"key":"256_CR3","volume-title":"The atomic components of thought","author":"JR Anderson","year":"1998","unstructured":"Anderson JR, Lebiere C (1998) The atomic components of thought. Lawrence Erlbaum Associates, Hillsdale"},{"key":"256_CR4","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1017\/S0140525X99002149","volume":"22","author":"LW Barsalou","year":"1999","unstructured":"Barsalou LW (1999) Perceptual symbol systems. Behav Brain Sci 22:577\u2013609","journal-title":"Behav Brain Sci"},{"key":"256_CR5","first-page":"389","volume-title":"Building object categories","author":"LW Barsalou","year":"2005","unstructured":"Barsalou LW (2005) Abstraction as dynamic interpretation in perceptual symbol systems. In: Gershkoff-Stowe L, Rakison D (eds) Building object categories. Erlbaum, Mahwah, pp 389\u2013431"},{"key":"256_CR6","first-page":"43","volume-title":"The psychology of learning and motivation","author":"LW Barsalou","year":"2003","unstructured":"Barsalou LW, Niedenthal PM, Barbey A, Ruppert J (2003a) Social embodiment. In: Ross B (ed) The psychology of learning and motivation, vol 43. Academic Press, San Diego, pp 43\u201392"},{"key":"256_CR7","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1016\/S1364-6613(02)00029-3","volume":"7","author":"LW Barsalou","year":"2003","unstructured":"Barsalou LW, Simmons WK, Barbey A, Wilson CD (2003b) Grounding conceptual knowledge in modality-specific systems. Trends Cogn Sci 7:84\u201391. doi: 10.1016\/S1364-6613(02)00029-3","journal-title":"Trends Cogn Sci"},{"key":"256_CR8","doi-asserted-by":"crossref","unstructured":"Bayardo RJ, Schrag RC (1997) Using CSP look-back techniques to solve real world SAT instances, (pdf document). Paper presented at the 14th national conference on artificial intelligence","DOI":"10.1007\/3-540-61551-2_65"},{"issue":"2","key":"256_CR9","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1111\/1467-9280.00434","volume":"13","author":"L Boroditsky","year":"2002","unstructured":"Boroditsky L, Ramscar M (2002) The roles of body and mind in abstract thought. Psychol Sci 13(2):185\u2013188. doi: 10.1111\/1467-9280.00434","journal-title":"Psychol Sci"},{"key":"256_CR10","doi-asserted-by":"crossref","DOI":"10.4324\/9781410603005","volume-title":"Mental logic","author":"MDS Braine","year":"1998","unstructured":"Braine MDS, O\u2019Brien DP (1998) Mental logic. Lawrence Erlbaum Associates, Mahwah"},{"issue":"6544","key":"256_CR11","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1038\/377059a0","volume":"377","author":"RH Carpenter","year":"1995","unstructured":"Carpenter RH, Williams ML (1995) Neural computation of log likelihood in control of saccadic eye movements. Nature 377(6544):59\u201362. doi: 10.1038\/377059a0","journal-title":"Nature"},{"key":"256_CR12","unstructured":"Cassimatis NL, Bugjaska M, Dugas S, Murugesan A, Bello P (2007) An architecture for adaptive algorithmic hybrids. Paper presented at the AAAI-07, Vancouver, BC"},{"key":"256_CR13","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0010-0277(89)90005-X","volume":"33","author":"AR Damasio","year":"1989","unstructured":"Damasio AR (1989) Time-locked multiregional retroactivation: a systems level proposal for the neural substrates of recall and recognition. Cognition 33:25\u201362. doi: 10.1016\/0010-0277(89)90005-X","journal-title":"Cognition"},{"issue":"1","key":"256_CR14","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M Davis","year":"1960","unstructured":"Davis M, Putnam H (1960) A computing procedure for quantification theory. J ACM 7(1):201\u2013215. doi: 10.1145\/321033.321034","journal-title":"J ACM"},{"issue":"7","key":"256_CR15","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M Davis","year":"1962","unstructured":"Davis M, Logemann G, Loveland D (1962) A machine program for theorem proving. Commun ACM 5(7):394\u2013397. doi: 10.1145\/368273.368557","journal-title":"Commun ACM"},{"key":"256_CR16","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1146\/annurev.ne.18.030195.001205","volume":"18","author":"R Desimone","year":"1995","unstructured":"Desimone R, Duncan J (1995) Neural mechanisms of selective visual attention. Annu Rev Neurosci 18:193\u2013222. doi: 10.1146\/annurev.ne.18.030195.001205","journal-title":"Annu Rev Neurosci"},{"key":"256_CR17","unstructured":"Een N, Sorensson N (2005) MiniSat-A SAT solver with conflict-clause minimization. In: SAT 2005 Competition"},{"key":"256_CR18","volume-title":"Principles of mental imagery","author":"RA Finke","year":"1989","unstructured":"Finke RA (1989) Principles of mental imagery. MIT Press, Cambridge"},{"key":"256_CR19","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1109\/TPAMI.1984.4767596","volume":"7","author":"S Geman","year":"1984","unstructured":"Geman S, Geman D (1984) Stochastic relaxation, Gibbs distributions, and the Bayesian restoration of images. IEEE Trans Pattern Anal Mach Intell 7:721\u2013741","journal-title":"IEEE Trans Pattern Anal Mach Intell"},{"key":"256_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.2347","volume":"31","author":"F Heras","year":"2008","unstructured":"Heras F, Larrosa J, Oliveras A (2008) MiniMaxSAT: an efficient weighted max-SAT solve. J Artif Intell Res 31:1\u201332","journal-title":"J Artif Intell Res"},{"key":"256_CR21","first-page":"283","volume-title":"SAT 2000","author":"HH Hoos","year":"2002","unstructured":"Hoos HH, St\u00fctzle T (2002) SATLIB: an online resource for research on SAT. In: Gent IP, Maaren HV, Walsh T (eds) SAT 2000. IOS Press, Amsterdam, pp 283\u2013292"},{"issue":"3","key":"256_CR22","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1038\/35058500","volume":"2","author":"L Itti","year":"2001","unstructured":"Itti L, Koch C (2001) Computational modeling of visual attention. Nat Rev Neurosci 2(3):194\u2013203. doi: 10.1038\/35058500","journal-title":"Nat Rev Neurosci"},{"key":"256_CR23","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4111.001.0001","volume-title":"Language, consciousness, culture: essays on mental structure","author":"R Jackendoff","year":"2007","unstructured":"Jackendoff R (2007) Language, consciousness, culture: essays on mental structure. MIT Press, Cambridge"},{"key":"256_CR24","volume-title":"Mental models","author":"P Johnson-Laird","year":"1983","unstructured":"Johnson-Laird P (1983) Mental models. Harvard University Press, Cambridge"},{"key":"256_CR25","volume-title":"How we reason","author":"PN Johnson-Laird","year":"2007","unstructured":"Johnson-Laird PN (2007) How we reason. Oxford University Press, New York"},{"key":"256_CR26","doi-asserted-by":"crossref","first-page":"976","DOI":"10.1080\/17470210600823512","volume":"60","author":"B Kaup","year":"2007","unstructured":"Kaup B, Yaxley RH, Madden CJ, Zwaan RA, L\u00fcdtke J (2007) Experiential simulations of negated text information. Q J Exp Psychol 60:976\u2013990. doi: 10.1080\/17470210600823512","journal-title":"Q J Exp Psychol"},{"key":"256_CR27","unstructured":"Kautz H, Selman B (1999) Unifying SAT-based and graph-based planning. Paper presented at the IJCAI-99"},{"key":"256_CR28","first-page":"1","volume-title":"The role of visual and cognitive processes in the control of eye movement","author":"E Kowler","year":"1990","unstructured":"Kowler E (1990) The role of visual and cognitive processes in the control of eye movement. In: Kowler E (ed) The role of visual and cognitive processes in the control of eye movement. Elsevier, Amsterdam, pp 1\u201363"},{"issue":"3","key":"256_CR29","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0042-6989(84)90122-6","volume":"24","author":"E Kowler","year":"1984","unstructured":"Kowler E, Martins AJ, Pavel M (1984) The effect of expectations on slow oculomotor control: IV anticipatory smooth eye movements depend on prior target motions. Vis Res 24(3):197\u2013210. doi: 10.1016\/0042-6989(84)90122-6","journal-title":"Vis Res"},{"key":"256_CR30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(87)90050-6","volume":"33","author":"JE Laird","year":"1987","unstructured":"Laird JE, Newell A, Rosenbloom PS (1987) Soar: an architecture for general intelligence. Artif Intell 33:1\u201364. doi: 10.1016\/0004-3702(87)90050-6","journal-title":"Artif Intell"},{"key":"256_CR31","doi-asserted-by":"crossref","unstructured":"Lerner Y, Hendler T, Malach R (2002) Object-completion effects in the human lateral occipital complex. Cereb Cortex 12(2). doi: 10.1093\/cercor\/12.2.163","DOI":"10.1093\/cercor\/12.2.163"},{"key":"256_CR32","doi-asserted-by":"crossref","unstructured":"Marques-Silva JP, Sakallah KA (1996) GRASP: a new search algorithm for satisfiability. Paper presented at the international conference on computer-aided design","DOI":"10.1109\/ICCAD.1996.569607"},{"key":"256_CR33","doi-asserted-by":"crossref","unstructured":"Moskewicz M, Madigan C, Zhao Y, Zhang L, Malik S (2001) Chaff: engineering an efficient SAT solver. Paper presented at the 39th design automation conference, Las Vegas","DOI":"10.1145\/378239.379017"},{"key":"256_CR34","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1037\/h0048495","volume":"65","author":"A Newell","year":"1958","unstructured":"Newell A, Shaw JC, Simon HA (1958) Elements of a theory of human problem solving. Psychol Rev 65:151\u2013166. doi: 10.1037\/h0048495","journal-title":"Psychol Rev"},{"key":"256_CR35","doi-asserted-by":"crossref","first-page":"767","DOI":"10.1207\/s15516709cog2705_4","volume":"27","author":"DC Richardson","year":"2003","unstructured":"Richardson DC, Spivey MJ, Barsalou LW, McRae K (2003) Spatial representations activated during real-time comprehension of verbs. Cogn Sci 27:767\u2013780","journal-title":"Cogn Sci"},{"key":"256_CR36","unstructured":"Sang T, Beame P, Kautz H (2005) Solving Bayes networks by weighted model counting. Paper presented at the AAAI-05"},{"key":"256_CR37","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1006\/cogp.1998.0698","volume":"38","author":"BJ Scholl","year":"1999","unstructured":"Scholl BJ, Pylyshyn ZW (1999) Tracking multiple items through occlusion: clues to visual objecthood. Cogn Psychol 38:259\u2013290. doi: 10.1006\/cogp.1998.0698","journal-title":"Cogn Psychol"},{"key":"256_CR38","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780195170788.001.0001","volume-title":"The continuity of mind","author":"M Spivey","year":"2006","unstructured":"Spivey M (2006) The continuity of mind. Oxford University Press, New York"},{"key":"256_CR39","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1080\/14640748508400920","volume":"37A","author":"SP Tipper","year":"1985","unstructured":"Tipper SP (1985) The negative priming effect: inhibitory priming with to be ignored objects. Q J Exp Psychol 37A:571\u2013590","journal-title":"Q J Exp Psychol"},{"key":"256_CR40","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1080\/713755969","volume":"54","author":"SP Tipper","year":"2001","unstructured":"Tipper SP (2001) Does negative priming reflect inhibitory mechanisms? A review and integration of conflicting views. Q J Exp Psychol 54:321\u2013343. doi: 10.1080\/02724980042000183","journal-title":"Q J Exp Psychol"}],"container-title":["Cognitive Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10339-009-0256-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10339-009-0256-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10339-009-0256-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,16]],"date-time":"2020-05-16T13:33:56Z","timestamp":1589636036000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10339-009-0256-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,10]]},"references-count":40,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,11]]}},"alternative-id":["256"],"URL":"https:\/\/doi.org\/10.1007\/s10339-009-0256-0","relation":{},"ISSN":["1612-4782","1612-4790"],"issn-type":[{"value":"1612-4782","type":"print"},{"value":"1612-4790","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3,10]]}}}