نتائج البحث

Characterizing belief bias in syllogistic reasoning: A hierarchical Bayesian meta-analysis of ROC data

• Authors : Trippas, D; Kellen, D; Singmann, H

Subjects: Deductive reasoning; Syllogisms; Belief bias

• Source: Psychonomic Bulletin & Review , 25 (6) pp. 2141-2174. (2018)

تفاصيل العنوان

Transitioning from 'It Looks Like' to 'It Has To Be' in Geometrical Workspaces: affect and near-to-me attention

• Authors : Rodd, M

Subjects: School Geometry; Mathematical Working Spaces; Top-Down Attention

• Source: Bolema: Boletim de Educação Matemática , 30 (54) pp. 142-164. (2016)

تفاصيل العنوان

Normalisation for Classical Bilateral Logic with some Philosophical Remarks

• Authors : Kurbis, N

• Source: Journal of Applied Logics - IfCoLog Journal , 8 (2) pp. 531-556. (2021)

تفاصيل العنوان

Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof

• Authors : Tellez, G; Brotherston, J

Subjects: Cyclic proof; Temporal logic; Separation logic

• Source: Journal of Automated Reasoning (2019) (In press).

تفاصيل العنوان

Dissociating frontoparietal brain networks with neuroadaptive Bayesian optimization

• Authors : Lorenz, R; Violante, IR; Monti, RP

Subjects: Cognitive control,Cognitive neuroscience,Problem solving; Psychology

• Source: Nature Communications , 9 (1) , Article 1227. (2018)

تفاصيل العنوان

Automatically verifying temporal properties of pointer programs with cyclic proof

• Authors : Tellez, G; Brotherston, J; De Moura, L

• Source: In: De Moura, L, (ed.) Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings. (pp. pp. 491-508). Springer: Cham,

تفاصيل العنوان

Precis of Bayesian Rationality: The Probabilistic Approach to Human Reasoning

• Authors : Oaksford, M; Chater, N

Subjects: Bayes' theorem; conditional inference; logic

• Source: BEHAV BRAIN SCI , 32 (1) 69 - 84. (2009)

تفاصيل العنوان

Automatically Verifying Temporal Properties of Heap Programs with Cyclic Proof

• Authors : Tellez Espinosa, Gadi de Leon

• Source: Doctoral thesis, UCL (University College London).

تفاصيل العنوان

Diagrammatic reasoning and propositional logic

• Authors : Norman, Alexander Jesse

Subjects: Philosophy; religion and theology; Diagrammatic reasoning

• Source: Masters thesis, UCL (University College London).

تفاصيل العنوان

A cognitive analysis of discourse processing in native and non-native speakers of English

• Authors : Fourali, Chahid El-Hak.

• Source: Doctoral thesis, Institute of Education, University of London.

تفاصيل العنوان