Skip to main navigation
Skip to search
Skip to main content
University of Edinburgh Research Explorer Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Datasets
Prizes
Activities
Press/Media
Equipment
Search by expertise, name or affiliation
A congnitive model of axiom formulation and reformulation with application to AI and software engineering
Smaill, Alan
(Principal Investigator)
Clark, Andy
(Co-investigator)
School of Informatics
School of Philosophy, Psychology and Language Sciences
University of Edinburgh
Overview
Fingerprint
Research output
(6)
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Models
100%
Information Flow
42%
Domains
28%
Mathematical Reasoning
28%
Commutativity
28%
Generation
28%
Mathematical Modelling
28%
Utilities
28%
Heuristics
14%
Unification
14%
Presented Approach
14%
Generalization
14%
Reasoning
14%
Incremental Algorithm
12%
Psychology
Abilities
46%
Metaphors
42%
Analogical Reasoning
28%
Mathematical Reasoning
28%
Humans
28%
Thinking
28%
Cognitive Process
14%
Flow Theory
14%
Cognitive Modeling
14%
Heuristics
14%
Merging
14%
Solar System
14%
Computational
11%
Realization
7%
Evaluation
7%
Earth and Planetary Sciences
Model
28%
Utility
28%
Algorithms
12%
Term
8%