Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

University: University of Edinburgh

You searched for subject:(Reasoning). Showing records 1 – 24 of 24 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Edinburgh

1. Macdonald, Tracey M. Using gesture to train three-year-olds in embedded-rule-based causal reasoning.

Degree: 2009, University of Edinburgh

 The present study aimed to investigate three-year-olds’ understanding embedded rules, and whether encouraging three-year-olds to use gesture improves their application of the rules in a… (more)

Subjects/Keywords: gesture; causal reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Macdonald, T. M. (2009). Using gesture to train three-year-olds in embedded-rule-based causal reasoning. (Thesis). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/3562

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Macdonald, Tracey M. “Using gesture to train three-year-olds in embedded-rule-based causal reasoning.” 2009. Thesis, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/3562.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Macdonald, Tracey M. “Using gesture to train three-year-olds in embedded-rule-based causal reasoning.” 2009. Web. 21 Jul 2019.

Vancouver:

Macdonald TM. Using gesture to train three-year-olds in embedded-rule-based causal reasoning. [Internet] [Thesis]. University of Edinburgh; 2009. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/3562.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Macdonald TM. Using gesture to train three-year-olds in embedded-rule-based causal reasoning. [Thesis]. University of Edinburgh; 2009. Available from: http://hdl.handle.net/1842/3562

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Edinburgh

2. Thomson, Alice. Gesture facilitates three year olds’ understanding of a causal rule.

Degree: 2008, University of Edinburgh

 Abstract To investigate the role of gesture in three year olds’ understanding of a causal rule, 2 groups of children, a gesture and non-gesture group,… (more)

Subjects/Keywords: gesture; causal reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Thomson, A. (2008). Gesture facilitates three year olds’ understanding of a causal rule. (Thesis). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/3539

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Thomson, Alice. “Gesture facilitates three year olds’ understanding of a causal rule.” 2008. Thesis, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/3539.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Thomson, Alice. “Gesture facilitates three year olds’ understanding of a causal rule.” 2008. Web. 21 Jul 2019.

Vancouver:

Thomson A. Gesture facilitates three year olds’ understanding of a causal rule. [Internet] [Thesis]. University of Edinburgh; 2008. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/3539.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Thomson A. Gesture facilitates three year olds’ understanding of a causal rule. [Thesis]. University of Edinburgh; 2008. Available from: http://hdl.handle.net/1842/3539

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Edinburgh

3. Kohavi, Zohar. Animals, anthropocentrism, and morality : analysing the discourse of the animal issue.

Degree: 2007, University of Edinburgh

 This dissertation identifies and criticises a fundamental characteristic of the philosophical discourse surrounding the animal issue: the underlying anthropocentric reasoning that informs the accounts of… (more)

Subjects/Keywords: 100; anthropocentric reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kohavi, Z. (2007). Animals, anthropocentrism, and morality : analysing the discourse of the animal issue. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/6582

Chicago Manual of Style (16th Edition):

Kohavi, Zohar. “Animals, anthropocentrism, and morality : analysing the discourse of the animal issue.” 2007. Doctoral Dissertation, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/6582.

MLA Handbook (7th Edition):

Kohavi, Zohar. “Animals, anthropocentrism, and morality : analysing the discourse of the animal issue.” 2007. Web. 21 Jul 2019.

Vancouver:

Kohavi Z. Animals, anthropocentrism, and morality : analysing the discourse of the animal issue. [Internet] [Doctoral dissertation]. University of Edinburgh; 2007. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/6582.

Council of Science Editors:

Kohavi Z. Animals, anthropocentrism, and morality : analysing the discourse of the animal issue. [Doctoral Dissertation]. University of Edinburgh; 2007. Available from: http://hdl.handle.net/1842/6582


University of Edinburgh

4. Mahr, Johannes. Rationality outside the Head.

Degree: 2012, University of Edinburgh

 The ‘frame problem’ according to Jerry Fodor concerns the question of how a cognitive system like ours can frugally and reliably determine what is relevant… (more)

Subjects/Keywords: frame problem; relevance; heuristics; extended reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mahr, J. (2012). Rationality outside the Head. (Thesis). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/8458

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Mahr, Johannes. “Rationality outside the Head.” 2012. Thesis, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/8458.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Mahr, Johannes. “Rationality outside the Head.” 2012. Web. 21 Jul 2019.

Vancouver:

Mahr J. Rationality outside the Head. [Internet] [Thesis]. University of Edinburgh; 2012. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/8458.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Mahr J. Rationality outside the Head. [Thesis]. University of Edinburgh; 2012. Available from: http://hdl.handle.net/1842/8458

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Edinburgh

5. Shapira, Rei. Detecting Indirect Forms of Offensive Language using Commonsense Reasoning and Conceptual Modeling of Social Stereotypes.

Degree: 2013, University of Edinburgh

 Offensive user-generated comments in online social communities are a widespread problem due in part to the arguably inherent impersonal nature of the internet, which often… (more)

Subjects/Keywords: commonsense reasoning; offensive language; conceptnet; analogyspace

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Shapira, R. (2013). Detecting Indirect Forms of Offensive Language using Commonsense Reasoning and Conceptual Modeling of Social Stereotypes. (Thesis). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/8606

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Shapira, Rei. “Detecting Indirect Forms of Offensive Language using Commonsense Reasoning and Conceptual Modeling of Social Stereotypes.” 2013. Thesis, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/8606.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Shapira, Rei. “Detecting Indirect Forms of Offensive Language using Commonsense Reasoning and Conceptual Modeling of Social Stereotypes.” 2013. Web. 21 Jul 2019.

Vancouver:

Shapira R. Detecting Indirect Forms of Offensive Language using Commonsense Reasoning and Conceptual Modeling of Social Stereotypes. [Internet] [Thesis]. University of Edinburgh; 2013. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/8606.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Shapira R. Detecting Indirect Forms of Offensive Language using Commonsense Reasoning and Conceptual Modeling of Social Stereotypes. [Thesis]. University of Edinburgh; 2013. Available from: http://hdl.handle.net/1842/8606

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Edinburgh

6. Endsley, Tristan. The Language of Distance Perception: Cultural and Linguistic Implications in Distance Expression.

Degree: 2011, University of Edinburgh

 Do speakers that use different kinds of language representations to describe the same concept come to perceive and conceptualize the world in different ways? Particularly,… (more)

Subjects/Keywords: Distance Expression; Culture; Cognition; Spatial Reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Endsley, T. (2011). The Language of Distance Perception: Cultural and Linguistic Implications in Distance Expression. (Thesis). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/6080

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Endsley, Tristan. “The Language of Distance Perception: Cultural and Linguistic Implications in Distance Expression.” 2011. Thesis, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/6080.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Endsley, Tristan. “The Language of Distance Perception: Cultural and Linguistic Implications in Distance Expression.” 2011. Web. 21 Jul 2019.

Vancouver:

Endsley T. The Language of Distance Perception: Cultural and Linguistic Implications in Distance Expression. [Internet] [Thesis]. University of Edinburgh; 2011. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/6080.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Endsley T. The Language of Distance Perception: Cultural and Linguistic Implications in Distance Expression. [Thesis]. University of Edinburgh; 2011. Available from: http://hdl.handle.net/1842/6080

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Edinburgh

7. Alkhalifa, Eshaa Mohamed. Using novel semantic and informational manipulations of rules to extend an interpretive approach to conditional reasoning.

Degree: 2005, University of Edinburgh

 This thesis extends a view of human reasoning which emphasises a theory of interpretation in conditional reasoning. It extends work on Wason’s (1968) ‘selection task’,… (more)

Subjects/Keywords: 150.724; Conditional Reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Alkhalifa, E. M. (2005). Using novel semantic and informational manipulations of rules to extend an interpretive approach to conditional reasoning. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/807

Chicago Manual of Style (16th Edition):

Alkhalifa, Eshaa Mohamed. “Using novel semantic and informational manipulations of rules to extend an interpretive approach to conditional reasoning.” 2005. Doctoral Dissertation, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/807.

MLA Handbook (7th Edition):

Alkhalifa, Eshaa Mohamed. “Using novel semantic and informational manipulations of rules to extend an interpretive approach to conditional reasoning.” 2005. Web. 21 Jul 2019.

Vancouver:

Alkhalifa EM. Using novel semantic and informational manipulations of rules to extend an interpretive approach to conditional reasoning. [Internet] [Doctoral dissertation]. University of Edinburgh; 2005. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/807.

Council of Science Editors:

Alkhalifa EM. Using novel semantic and informational manipulations of rules to extend an interpretive approach to conditional reasoning. [Doctoral Dissertation]. University of Edinburgh; 2005. Available from: http://hdl.handle.net/1842/807


University of Edinburgh

8. Owen, Stephen G. Finding and using analogies to guide mathematical proof.

Degree: PhD, 1988, University of Edinburgh

 This thesis is concerned with reasoning by analogy within the context of auto-mated problem solving. In particular, we consider the provision of an analogical reasoning(more)

Subjects/Keywords: 003.5; Analogical reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Owen, S. G. (1988). Finding and using analogies to guide mathematical proof. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/27156

Chicago Manual of Style (16th Edition):

Owen, Stephen G. “Finding and using analogies to guide mathematical proof.” 1988. Doctoral Dissertation, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/27156.

MLA Handbook (7th Edition):

Owen, Stephen G. “Finding and using analogies to guide mathematical proof.” 1988. Web. 21 Jul 2019.

Vancouver:

Owen SG. Finding and using analogies to guide mathematical proof. [Internet] [Doctoral dissertation]. University of Edinburgh; 1988. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/27156.

Council of Science Editors:

Owen SG. Finding and using analogies to guide mathematical proof. [Doctoral Dissertation]. University of Edinburgh; 1988. Available from: http://hdl.handle.net/1842/27156

9. Meikle, Laura Isabel. Intuition in formal proof : a novel framework for combining mathematical tools.

Degree: PhD, 2014, University of Edinburgh

 This doctoral thesis addresses one major difficulty in formal proof: removing obstructions to intuition which hamper the proof endeavour. We investigate this in the context… (more)

Subjects/Keywords: 006.3; theorem proving; automated reasoning; computational geometry

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Meikle, L. I. (2014). Intuition in formal proof : a novel framework for combining mathematical tools. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/9663

Chicago Manual of Style (16th Edition):

Meikle, Laura Isabel. “Intuition in formal proof : a novel framework for combining mathematical tools.” 2014. Doctoral Dissertation, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/9663.

MLA Handbook (7th Edition):

Meikle, Laura Isabel. “Intuition in formal proof : a novel framework for combining mathematical tools.” 2014. Web. 21 Jul 2019.

Vancouver:

Meikle LI. Intuition in formal proof : a novel framework for combining mathematical tools. [Internet] [Doctoral dissertation]. University of Edinburgh; 2014. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/9663.

Council of Science Editors:

Meikle LI. Intuition in formal proof : a novel framework for combining mathematical tools. [Doctoral Dissertation]. University of Edinburgh; 2014. Available from: http://hdl.handle.net/1842/9663


University of Edinburgh

10. Lee, John Richard. Metalogic and the psychology of reasoning.

Degree: 1988, University of Edinburgh

 The central topic of the thesis is the relationship between logic and the cognitive psychology of reasoning. This topic is treated in large part through… (more)

Subjects/Keywords: 150; Reasoning : logic : Johnson-Laird : syllogistic reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lee, J. R. (1988). Metalogic and the psychology of reasoning. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/6625

Chicago Manual of Style (16th Edition):

Lee, John Richard. “Metalogic and the psychology of reasoning.” 1988. Doctoral Dissertation, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/6625.

MLA Handbook (7th Edition):

Lee, John Richard. “Metalogic and the psychology of reasoning.” 1988. Web. 21 Jul 2019.

Vancouver:

Lee JR. Metalogic and the psychology of reasoning. [Internet] [Doctoral dissertation]. University of Edinburgh; 1988. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/6625.

Council of Science Editors:

Lee JR. Metalogic and the psychology of reasoning. [Doctoral Dissertation]. University of Edinburgh; 1988. Available from: http://hdl.handle.net/1842/6625


University of Edinburgh

11. Cox, Richard Jeffrey. Analytical reasoning with multiple external representations.

Degree: PhD, 1996, University of Edinburgh

 This thesis presents work on analytical reasoning with external representations (ERs) using problems similar to those used in the US GRE college-entrance examination. The work… (more)

Subjects/Keywords: 155; Analytical reasoning : External representations

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Cox, R. J. (1996). Analytical reasoning with multiple external representations. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/10550

Chicago Manual of Style (16th Edition):

Cox, Richard Jeffrey. “Analytical reasoning with multiple external representations.” 1996. Doctoral Dissertation, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/10550.

MLA Handbook (7th Edition):

Cox, Richard Jeffrey. “Analytical reasoning with multiple external representations.” 1996. Web. 21 Jul 2019.

Vancouver:

Cox RJ. Analytical reasoning with multiple external representations. [Internet] [Doctoral dissertation]. University of Edinburgh; 1996. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/10550.

Council of Science Editors:

Cox RJ. Analytical reasoning with multiple external representations. [Doctoral Dissertation]. University of Edinburgh; 1996. Available from: http://hdl.handle.net/1842/10550


University of Edinburgh

12. Inder, R. The computer simulation of syllogism solving using restricted mental models.

Degree: PhD, 1987, University of Edinburgh

Subjects/Keywords: 150; Syllogistic reasoning analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Inder, R. (1987). The computer simulation of syllogism solving using restricted mental models. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/18981

Chicago Manual of Style (16th Edition):

Inder, R. “The computer simulation of syllogism solving using restricted mental models.” 1987. Doctoral Dissertation, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/18981.

MLA Handbook (7th Edition):

Inder, R. “The computer simulation of syllogism solving using restricted mental models.” 1987. Web. 21 Jul 2019.

Vancouver:

Inder R. The computer simulation of syllogism solving using restricted mental models. [Internet] [Doctoral dissertation]. University of Edinburgh; 1987. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/18981.

Council of Science Editors:

Inder R. The computer simulation of syllogism solving using restricted mental models. [Doctoral Dissertation]. University of Edinburgh; 1987. Available from: http://hdl.handle.net/1842/18981


University of Edinburgh

13. Priddle-Higson, Andrew. Computational models of ontology evolution in legal reasoning.

Degree: 2010, University of Edinburgh

 This thesis analyses the problem of creating computational models of ontology evolution in legal reasoning. Ontology evolution is the process of change that happens to… (more)

Subjects/Keywords: computational models; legal reasoning; ontology evolution; discourse context

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Priddle-Higson, A. (2010). Computational models of ontology evolution in legal reasoning. (Thesis). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/4152

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Priddle-Higson, Andrew. “Computational models of ontology evolution in legal reasoning.” 2010. Thesis, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/4152.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Priddle-Higson, Andrew. “Computational models of ontology evolution in legal reasoning.” 2010. Web. 21 Jul 2019.

Vancouver:

Priddle-Higson A. Computational models of ontology evolution in legal reasoning. [Internet] [Thesis]. University of Edinburgh; 2010. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/4152.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Priddle-Higson A. Computational models of ontology evolution in legal reasoning. [Thesis]. University of Edinburgh; 2010. Available from: http://hdl.handle.net/1842/4152

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

14. Chan, Michael. Ontology evolution in physics.

Degree: PhD, 2013, University of Edinburgh

 With the advent of reasoning problems in dynamic environments, there is an increasing need for automated reasoning systems to automatically adapt to unexpected changes in… (more)

Subjects/Keywords: ontology evolution; automated reasoning

…12 Non-monotonic Reasoning . . . . . . . . . . . . . . . . . . . . . . . 13 2.3.1 2.3.2… …Architecture . . . . . . . . . . . . . . . . . . . . . . . . 75 5.5 Modelling and Reasoning about… …96 6.2.3 Meta-Level Reasoning . . . . . . . . . . . . . . . . . . . . . 104 ix 6.3… …their own knowledge. For an agent to perform reasoning, the conceptualisation of the entities… …significant challenges to the representation of knowledge and the formalisation of reasoning by, for… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chan, M. (2013). Ontology evolution in physics. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/7907

Chicago Manual of Style (16th Edition):

Chan, Michael. “Ontology evolution in physics.” 2013. Doctoral Dissertation, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/7907.

MLA Handbook (7th Edition):

Chan, Michael. “Ontology evolution in physics.” 2013. Web. 21 Jul 2019.

Vancouver:

Chan M. Ontology evolution in physics. [Internet] [Doctoral dissertation]. University of Edinburgh; 2013. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/7907.

Council of Science Editors:

Chan M. Ontology evolution in physics. [Doctoral Dissertation]. University of Edinburgh; 2013. Available from: http://hdl.handle.net/1842/7907


University of Edinburgh

15. Jamnik, Mateja. Automating diagrammatic proofs of arithmetic arguments.

Degree: 1999, University of Edinburgh

 This thesis is on the automation of diagrammatic proofs, a novel approach to mechanised mathematical reasoning. Theorems in automated theorem proving are usually proved by… (more)

Subjects/Keywords: 510; diagrammatic proofs; mathematical reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Jamnik, M. (1999). Automating diagrammatic proofs of arithmetic arguments. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/529

Chicago Manual of Style (16th Edition):

Jamnik, Mateja. “Automating diagrammatic proofs of arithmetic arguments.” 1999. Doctoral Dissertation, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/529.

MLA Handbook (7th Edition):

Jamnik, Mateja. “Automating diagrammatic proofs of arithmetic arguments.” 1999. Web. 21 Jul 2019.

Vancouver:

Jamnik M. Automating diagrammatic proofs of arithmetic arguments. [Internet] [Doctoral dissertation]. University of Edinburgh; 1999. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/529.

Council of Science Editors:

Jamnik M. Automating diagrammatic proofs of arithmetic arguments. [Doctoral Dissertation]. University of Edinburgh; 1999. Available from: http://hdl.handle.net/1842/529


University of Edinburgh

16. Raggi, Daniel. Searching the space of representations : reasoning through transformations for mathematical problem solving.

Degree: PhD, 2016, University of Edinburgh

 The role of representation in reasoning has been long and widely regarded as crucial. It has remained one of the fundamental considerations in the design… (more)

Subjects/Keywords: 511; automated reasoning; representation; transformation; interactive theorem proving

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Raggi, D. (2016). Searching the space of representations : reasoning through transformations for mathematical problem solving. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/22936

Chicago Manual of Style (16th Edition):

Raggi, Daniel. “Searching the space of representations : reasoning through transformations for mathematical problem solving.” 2016. Doctoral Dissertation, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/22936.

MLA Handbook (7th Edition):

Raggi, Daniel. “Searching the space of representations : reasoning through transformations for mathematical problem solving.” 2016. Web. 21 Jul 2019.

Vancouver:

Raggi D. Searching the space of representations : reasoning through transformations for mathematical problem solving. [Internet] [Doctoral dissertation]. University of Edinburgh; 2016. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/22936.

Council of Science Editors:

Raggi D. Searching the space of representations : reasoning through transformations for mathematical problem solving. [Doctoral Dissertation]. University of Edinburgh; 2016. Available from: http://hdl.handle.net/1842/22936


University of Edinburgh

17. Miller, C.D.F. Analogy and mathematical reasoning : a survey.

Degree: 1983, University of Edinburgh

 We survey the literature of Artificial Intelligence, and other related work, pertaining to the modelling of mathematical reasoning and its relationship with the use of… (more)

Subjects/Keywords: artificial intelligence; logic, symbolic and mathematical; reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Miller, C. D. F. (1983). Analogy and mathematical reasoning : a survey. (Thesis). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/6676

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Miller, C D F. “Analogy and mathematical reasoning : a survey.” 1983. Thesis, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/6676.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Miller, C D F. “Analogy and mathematical reasoning : a survey.” 1983. Web. 21 Jul 2019.

Vancouver:

Miller CDF. Analogy and mathematical reasoning : a survey. [Internet] [Thesis]. University of Edinburgh; 1983. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/6676.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Miller CDF. Analogy and mathematical reasoning : a survey. [Thesis]. University of Edinburgh; 1983. Available from: http://hdl.handle.net/1842/6676

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Edinburgh

18. Oaksford, Michael Robert. Cognition and inquiry : the pragmatics of conditional reasoning.

Degree: 1989, University of Edinburgh

 This thesis reports the results of both normative and empirical investigations into human conditional reasoning, i.e. reasoning using if ... then and related constructions. Previous… (more)

Subjects/Keywords: 150; conditional reasoning, : normative theory : competence model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Oaksford, M. R. (1989). Cognition and inquiry : the pragmatics of conditional reasoning. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/6608

Chicago Manual of Style (16th Edition):

Oaksford, Michael Robert. “Cognition and inquiry : the pragmatics of conditional reasoning.” 1989. Doctoral Dissertation, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/6608.

MLA Handbook (7th Edition):

Oaksford, Michael Robert. “Cognition and inquiry : the pragmatics of conditional reasoning.” 1989. Web. 21 Jul 2019.

Vancouver:

Oaksford MR. Cognition and inquiry : the pragmatics of conditional reasoning. [Internet] [Doctoral dissertation]. University of Edinburgh; 1989. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/6608.

Council of Science Editors:

Oaksford MR. Cognition and inquiry : the pragmatics of conditional reasoning. [Doctoral Dissertation]. University of Edinburgh; 1989. Available from: http://hdl.handle.net/1842/6608


University of Edinburgh

19. Winterstein, Daniel. Using diagrammatic reasoning for theorem proving in a continuous domain.

Degree: PhD, 2005, University of Edinburgh

 This project looks at using diagrammatic reasoning to prove mathematical theorems. The work is motivated by a need for theorem provers whose reasoning is readily… (more)

Subjects/Keywords: 530.1; Diagrammatic Reasoning; Theorem Proving; Continuous Domain

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Winterstein, D. (2005). Using diagrammatic reasoning for theorem proving in a continuous domain. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/642

Chicago Manual of Style (16th Edition):

Winterstein, Daniel. “Using diagrammatic reasoning for theorem proving in a continuous domain.” 2005. Doctoral Dissertation, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/642.

MLA Handbook (7th Edition):

Winterstein, Daniel. “Using diagrammatic reasoning for theorem proving in a continuous domain.” 2005. Web. 21 Jul 2019.

Vancouver:

Winterstein D. Using diagrammatic reasoning for theorem proving in a continuous domain. [Internet] [Doctoral dissertation]. University of Edinburgh; 2005. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/642.

Council of Science Editors:

Winterstein D. Using diagrammatic reasoning for theorem proving in a continuous domain. [Doctoral Dissertation]. University of Edinburgh; 2005. Available from: http://hdl.handle.net/1842/642


University of Edinburgh

20. Hughson, Stuart Ian. Pitching an argument : intonation, information, and inference in syllogistic discourse.

Degree: PhD, 2007, University of Edinburgh

 In the century or so that syllogisms have received the attention of psychologists, their interpretation both as and within particular types of discourse has been… (more)

Subjects/Keywords: 150.724; information structure; intonation; reasoning; syllogism; discourse; argument

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hughson, S. I. (2007). Pitching an argument : intonation, information, and inference in syllogistic discourse. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/1907

Chicago Manual of Style (16th Edition):

Hughson, Stuart Ian. “Pitching an argument : intonation, information, and inference in syllogistic discourse.” 2007. Doctoral Dissertation, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/1907.

MLA Handbook (7th Edition):

Hughson, Stuart Ian. “Pitching an argument : intonation, information, and inference in syllogistic discourse.” 2007. Web. 21 Jul 2019.

Vancouver:

Hughson SI. Pitching an argument : intonation, information, and inference in syllogistic discourse. [Internet] [Doctoral dissertation]. University of Edinburgh; 2007. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/1907.

Council of Science Editors:

Hughson SI. Pitching an argument : intonation, information, and inference in syllogistic discourse. [Doctoral Dissertation]. University of Edinburgh; 2007. Available from: http://hdl.handle.net/1842/1907


University of Edinburgh

21. Castellini, Claudio. Automated reasoning in quantified modal and temporal logics.

Degree: PhD, 2005, University of Edinburgh

 This thesis is about automated reasoning in quantified modal and temporal logics, with an application to formal methods. Quantified modal and temporal logics are extensions… (more)

Subjects/Keywords: 006.3; automated reasoning; temporal logic; formal methods; proof theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Castellini, C. (2005). Automated reasoning in quantified modal and temporal logics. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/753

Chicago Manual of Style (16th Edition):

Castellini, Claudio. “Automated reasoning in quantified modal and temporal logics.” 2005. Doctoral Dissertation, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/753.

MLA Handbook (7th Edition):

Castellini, Claudio. “Automated reasoning in quantified modal and temporal logics.” 2005. Web. 21 Jul 2019.

Vancouver:

Castellini C. Automated reasoning in quantified modal and temporal logics. [Internet] [Doctoral dissertation]. University of Edinburgh; 2005. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/753.

Council of Science Editors:

Castellini C. Automated reasoning in quantified modal and temporal logics. [Doctoral Dissertation]. University of Edinburgh; 2005. Available from: http://hdl.handle.net/1842/753


University of Edinburgh

22. Fugard, Andrew J. B. Exploring individual differences in deductive reasoning as a function of 'autistic'-like traits.

Degree: PhD, 2009, University of Edinburgh

 From a logical viewpoint, people must reason to as well as from interpretations in deductive reasoning tasks. There are two main interpretative stances (e.g., Stenning… (more)

Subjects/Keywords: 155; reasoning; autism; autistic-like traits; psychology; logic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fugard, A. J. B. (2009). Exploring individual differences in deductive reasoning as a function of 'autistic'-like traits. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/3813

Chicago Manual of Style (16th Edition):

Fugard, Andrew J B. “Exploring individual differences in deductive reasoning as a function of 'autistic'-like traits.” 2009. Doctoral Dissertation, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/3813.

MLA Handbook (7th Edition):

Fugard, Andrew J B. “Exploring individual differences in deductive reasoning as a function of 'autistic'-like traits.” 2009. Web. 21 Jul 2019.

Vancouver:

Fugard AJB. Exploring individual differences in deductive reasoning as a function of 'autistic'-like traits. [Internet] [Doctoral dissertation]. University of Edinburgh; 2009. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/3813.

Council of Science Editors:

Fugard AJB. Exploring individual differences in deductive reasoning as a function of 'autistic'-like traits. [Doctoral Dissertation]. University of Edinburgh; 2009. Available from: http://hdl.handle.net/1842/3813


University of Edinburgh

23. Moseley, Darran A. A philosophy of war.

Degree: PhD, 1997, University of Edinburgh

 This thesis examines in four parts a collection of philosophical arguments dealing with war. The conclusions drawn are that war is a definable and applicable… (more)

Subjects/Keywords: 100; philosophy; philosophical arguments; metaphysical and epistemological beliefs; definitions of war; ethical and political reasoning to war

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Moseley, D. A. (1997). A philosophy of war. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/1721

Chicago Manual of Style (16th Edition):

Moseley, Darran A. “A philosophy of war.” 1997. Doctoral Dissertation, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/1721.

MLA Handbook (7th Edition):

Moseley, Darran A. “A philosophy of war.” 1997. Web. 21 Jul 2019.

Vancouver:

Moseley DA. A philosophy of war. [Internet] [Doctoral dissertation]. University of Edinburgh; 1997. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/1721.

Council of Science Editors:

Moseley DA. A philosophy of war. [Doctoral Dissertation]. University of Edinburgh; 1997. Available from: http://hdl.handle.net/1842/1721


University of Edinburgh

24. Pease, Alison. A computational model of Lakatos-style reasoning.

Degree: PhD, 2007, University of Edinburgh

 Lakatos outlined a theory of mathematical discovery and justification, which suggests ways in which concepts, conjectures and proofs gradually evolve via interaction between mathematicians. Different… (more)

Subjects/Keywords: 004.01; mathematical discovery and justification; computational philosophy of mathematics; argumentation; multi-agent systems; education theory; automated reasoning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pease, A. (2007). A computational model of Lakatos-style reasoning. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/2113

Chicago Manual of Style (16th Edition):

Pease, Alison. “A computational model of Lakatos-style reasoning.” 2007. Doctoral Dissertation, University of Edinburgh. Accessed July 21, 2019. http://hdl.handle.net/1842/2113.

MLA Handbook (7th Edition):

Pease, Alison. “A computational model of Lakatos-style reasoning.” 2007. Web. 21 Jul 2019.

Vancouver:

Pease A. A computational model of Lakatos-style reasoning. [Internet] [Doctoral dissertation]. University of Edinburgh; 2007. [cited 2019 Jul 21]. Available from: http://hdl.handle.net/1842/2113.

Council of Science Editors:

Pease A. A computational model of Lakatos-style reasoning. [Doctoral Dissertation]. University of Edinburgh; 2007. Available from: http://hdl.handle.net/1842/2113

.