Log in

Relevant bibliographies by topics / Abstract reasoning / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Abstract reasoning.

Dissertations / Theses on the topic 'Abstract reasoning'

Author: Grafiati

Published: 4 June 2021

Last updated: 31 January 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 23 dissertations / theses for your research on the topic 'Abstract reasoning.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Dinsdale-Young, Thomas. "Abstract data and local reasoning." Thesis, Imperial College London, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.539276.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Goranson, Tamara Elaine. "On diagnosing Alzheimer's disease, assessing abstract thinking and reasoning." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp05/NQ62516.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Chan, Fiona. "Development of matrices abstract reasoning items to assess fluid intelligence." Thesis, University of Cambridge, 2018. https://www.repository.cam.ac.uk/handle/1810/277914.

Full text

Abstract:

Matrices reasoning tests, which contain missing pieces in matrices that participants attempt to figure out, are one of the most popular types of tests to measure general intelligence. This thesis introduces several methods to develop matrices items, and presents them in different test forms to assess general intelligence. Part 1 introduces the development of a matrices test with reference to Carpenter’s five rules of Raven’s Progressive Matrices. The test items developed were administered together with the Standard Ravens’ Progressive Matrices (SPM). Results based on confirmatory factor analys

APA, Harvard, Vancouver, ISO, and other styles

4

Furniss, Amy Elizabeth. "HybridLF : a system for reasoning in higher-order abstract syntax." Thesis, University of Leicester, 2015. http://hdl.handle.net/2381/33362.

Full text

Abstract:

In this thesis we describe two new systems for reasoning about deductive systems: HybridLF and Canonical HybridLF. HybridLF brings together the Hybrid approach (due to Ambler, Crole and Momigliano [15]) to higher-order abstract syntax (HOAS) in Isabelle/HOL with the logical framework LF, a dependently-typed system for proving theorems about logical systems. Hybrid provides a version of HOAS in the form of the lambda calculus, in which Isabelle functions are automatically converted to a nameless de Bruijn represenation. Hybrid allows untyped expressions to be entered as human-readable functions

APA, Harvard, Vancouver, ISO, and other styles

5

Covert, Julia L. "Abstract reasoning development: a result of formal schooling and natural development." The Ohio State University, 1996. http://rave.ohiolink.edu/etdc/view?acc_num=osu1399630695.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Strass, Hannes. "Approximating Operators and Semantics for Abstract Dialectical Frameworks." Universitätsbibliothek Leipzig, 2013. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-102943.

Full text

Abstract:

We provide a systematic in-depth study of the semantics of abstract dialectical frameworks (ADFs), a recent generalisation of Dung\'s abstract argumentation frameworks. This is done by associating with an ADF its characteristic one-step consequence operator and defining various semantics for ADFs as different fixpoints of this operator. We first show that several existing semantical notions are faithfully captured by our definition, then proceed to define new ADF semantics and show that they are proper generalisations of existing argumentation semantics from the literature. Most remarkably, th

APA, Harvard, Vancouver, ISO, and other styles

7

Serpell, Sylvia Mary Parnell. "Necessity, possibility and the search for counterexamples in human reasoning." Thesis, University of Plymouth, 2011. http://hdl.handle.net/10026.1/560.

Full text

Abstract:

This thesis presents a series of experiments where endorsement rates, latencies and measures of cognitive ability were collected, to investigate the extent to which people search for counterexamples under necessity instructions, and alternative models under possibility instructions. The research was motivated by a syllogistic reasoning study carried out by Evans, Handley, Harper, and Johnson-Laird (1999), and predictions were derived from mental model theory (Johnson-Laird, 1983; Johnson-Laird & Byrne, 1991). With regard to the endorsement rate data: Experiment 1 failed to find evidence th

APA, Harvard, Vancouver, ISO, and other styles

8

Garatti, Marinetta. "The role of syntax presentation mode, abstract reasoning, and learned instructional preference on second language achievement." The Ohio State University, 1999. http://rave.ohiolink.edu/etdc/view?acc_num=osu1250536529.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Garatti, Marinella. "The role of syntax presentation mode, abstract reasoning, and learner instructional preference on second language achievement /." The Ohio State University, 1999. http://rave.ohiolink.edu/etdc/view?acc_num=osu148818704953809.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Nettle, Valenzuela Alejandro Horacio. "Factores que afectan los razonamientos probabilísticos intuitivos de escolares que enfrentan situaciones problemáticas matemáticamente equivalentes." Doctoral thesis, Universitat de Girona, 2019. http://hdl.handle.net/10803/668666.

Full text

Abstract:

The objective is to associate intuitive probabilistic reasoning with cognitive factors: learning styles, arithmetic skills, school performance and the ability of abstract reasoning of schoolchildren facing mathematically equivalent problem situations. Ex-post-facto correlational study in which primary school students participated (N = 47 schoolchildren). The Maury Questionnaire was applied to identify predominant intuitive probabilistic reasoning, and related to learning styles, arithmetic skills, school performance, and the ability to abstract reasoning. The results show that “Y” school child

APA, Harvard, Vancouver, ISO, and other styles

11

Martin, Alan J. "Reasoning Using Higher-Order Abstract Syntax in a Higher-Order Logic Proof Environment: Improvements to Hybrid and a Case Study." Thesis, Université d'Ottawa / University of Ottawa, 2010. http://hdl.handle.net/10393/19711.

Full text

Abstract:

We present a series of improvements to the Hybrid system, a formal theory implemented in Isabelle/HOL to support specifying and reasoning about formal systems using higher-order abstract syntax (HOAS). We modify Hybrid's type of terms, which is built definitionally in terms of de Bruijn indices, to exclude at the type level terms with `dangling' indices. We strengthen the injectivity property for Hybrid's variable-binding operator, and develop rules for compositional proof of its side condition, avoiding conversion from HOAS to de Bruijn indices. We prove representational adequacy of Hybrid

APA, Harvard, Vancouver, ISO, and other styles

12

Gething, Kate. "The process of developing a novel proverbs task : is it possible to create a 'culture-fair' test of verbal abstract reasoning?" Thesis, University of East London, 2007. http://roar.uel.ac.uk/3809/.

Full text

Abstract:

Within an increasingly multicultural society the largely 'Western' enterprise of Clinical Neuropsychology must endeavour to make assessments relevant to clients who do not speak English and who originate from different cultures. Previous attempts at such assessments have resulted in a largely non-verbal focus to assessments of abstraction, problem solving etc. This study investigates the possibility of developing a verbal 'culture-fair' test, with specific focus on verbal abstract reasoning. An understanding of the universal nature of proverbs has highlighted the utility of proverbs in constru

APA, Harvard, Vancouver, ISO, and other styles

13

Battell, Chelsea. "The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid." Thesis, Université d'Ottawa / University of Ottawa, 2016. http://hdl.handle.net/10393/35264.

Full text

Abstract:

Hybrid is a two-level logical framework that supports higher-order abstract syntax (HOAS), where a specification logic (SL) extends the class of object logics (OLs) we can reason about. We develop a new Hybrid SL and formalize its metatheory, proving weakening, contraction, exchange, and cut admissibility; results that greatly simplify reasoning about OLs in systems providing HOAS. The SL is a sequent calculus defined as an inductive type in Coq and we prove properties by structural induction over SL sequents. We also present a generalized SL and metatheory statement, allowing us to prove ma

APA, Harvard, Vancouver, ISO, and other styles

14

Teague, Donna. "Neo-Piagetian Theory and the novice programmer." Thesis, Queensland University of Technology, 2015. https://eprints.qut.edu.au/86690/1/Donna_Teague_Thesis.pdf.

Full text

Abstract:

This PhD project studied the genetic epistemology of novice programmers, and provides empirical evidence that the development of programming skills can be described using the neo-Piagetian cognitive development framework. The thesis identifies the manifestations of each of the early neo-Piagetian stages of development in the programming domain – that is: sensorimotor, preoperational and concrete operational. This research informs not only tertiary pedagogy, but teaching and learning of computer programming in any setting. It will enable educators to (a) identify the developmental stage of thei

APA, Harvard, Vancouver, ISO, and other styles

15

Cook, Kristian Ciarah. "Designing and Assessing New Educational Pedagogies in Biology and Health Promotion." BYU ScholarsArchive, 2020. https://scholarsarchive.byu.edu/etd/8403.

Full text

Abstract:

Recent developments in educational research raise important questions about the design of learning environments—questions that suggest the value of rethinking what is taught, how it is taught, and how is it assessed. During the past few decades, STEM disciplines began formally recognizing and integrating discipline-based education research (DBER) into their research programs to improve STEM education. One of the less literature-affluent areas of DBER addresses curriculum order and design appertaining to concept types and the order in which we teach those concepts. As educational researchers, w

APA, Harvard, Vancouver, ISO, and other styles

16

Gélat, Mona. "Peer interaction, cognition and argumentative writing (Key Stage 2 children)." n.p, 2001. http://dart.open.ac.uk/abstracts/page.php?thesisid=116.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Straß, Hannes. "Abstract Dialectical Frameworks – An Analysis of Their Properties and Role in Knowledge Representation and Reasoning." 2016. https://ul.qucosa.de/id/qucosa%3A16720.

Full text

Abstract:

Abstract dialectical frameworks (ADFs) are a formalism for representing knowledge about abstract arguments and various logical relationships between them. This work studies ADFs in detail. Firstly, we use the framework of approximation fixpoint theory to define various semantics that are known from related knowledge representation formalisms also for ADFs. We then analyse the computational complexity of a variety of reasoning problems related to ADFs. Afterwards, we also analyse the formal expressiveness in terms of realisable sets of interpretations and show how ADFs fare in comparison to

APA, Harvard, Vancouver, ISO, and other styles

18

"Balancing the concrete and abstract in public intellectual reasoning: A study of Hannah Arendt." CARNEGIE MELLON UNIVERSITY, 2008. http://pqdtopen.proquest.com/#viewpdf?dispub=3286684.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Yun, Chen Chia, and 陳家韻. "The Influence of Thinking Styles and Abstract Reasoning Ability on Searching Behavior of Image Searching Tasks." Thesis, 2007. http://ndltd.ncl.edu.tw/handle/30805443239491311233.

Full text

Abstract:

碩士<br>國立交通大學<br>理學院碩士在職專班網路學習學程<br>95<br>"Searching" is the process of solving questions. The individual psychological operation and the behavior operational difference both affect searching performance. The question features also affect individual searching strategies. This research attempts to present the questions through the images, and use the thinking styles scope grouping to be the discussed factor of the individual difference when the individual processes the questions. The ability of inducing the principles in the non-writing images for reasoning is called abstract reasoning abili

APA, Harvard, Vancouver, ISO, and other styles

20

Brandstätter, Monika. "Exploring the relationship between personal persistance and personal projects : abstract reasoning and everyday undertakings as functions of self." 2004. http://hdl.handle.net/1828/509.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Stoddard, Carmella N. "Cultivating Color-blindness?: The Impact of TV-viewing, Racial Policy Reasoning, and Colorblind Racism on Opposition toward Affirmative Action Policy." 2015. https://scholarworks.umass.edu/masters_theses_2/300.

Full text

Abstract:

I examine the effect of television viewing and ideological orientations associated with “modern” racism such as minimization of the impact of racial discrimination and individual attribution on opposition toward preferential hiring of Blacks. Using cross-sectional General Social Survey (GSS) responses from U.S. adults between 2004 and 2010, I estimate ordered logistic regression models predicting attitudes toward preferential hiring of Blacks. Additionally, I compare agreement with key tenets of abstract liberalism to the findings of previous policy reasoning studies to determine the importanc

APA, Harvard, Vancouver, ISO, and other styles

22

"An investigation of the link between spirituality and intelligence." Thesis, 2015. http://hdl.handle.net/10388/ETD-2015-06-2093.

Full text

Abstract:

Self-rated religiosity has been studied alongside intelligence for nearly 100 years. The predominant finding is a negative relationship between measures of self-rated religiosity and individual measures of intelligence. That is, as intelligence increases, the degree of self-rated religiosity decreases; as intelligence scores decrease, self-rated religiosity tends to increase. Spirituality has been studied intermittently as a separate theoretical construct since the 1970’s and there has been a recent empirical drive to consider and refer to these concepts separately. Valid and reliable measures

APA, Harvard, Vancouver, ISO, and other styles

23

Groves, Julia. "The predictive validity of the Abstract Reasoning Test and the Raven's Advanced Progressive Matrices Test for the academic results of first year engineering students." Thesis, 2015. http://hdl.handle.net/10539/18270.

Full text

Abstract:

A research project submitted in partial fulfilment of the requirements for the degree of MA by coursework and Research Report in the field of Industrial Psychology in the Faculty if Humanities, University of Witwatersrand, Johannesburg, 14 February 2015.<br>This research project examined the predictive validity of the Abstract Reasoning Test and the Raven’s Advanced Progressive Matrices on the academic results of first year engineering students. Additionally, biographical variables were examined in order to assess their contribution to the student’s scores on the psychometric tests. This r

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!