Skip to main navigation
Skip to search
Skip to main content
Discovery - the University of Dundee Research Portal Home
Home
Profiles
Research units
Research Outputs
Projects
Datasets
Theses
Activity
Press/Media
Research Facilities
Prizes
Search by expertise, name or affiliation
A computational model of Lakatos-style reasoning
Alison Pease
Research output
:
Contribution to journal
›
Article
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A computational model of Lakatos-style reasoning'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Computational Model
100%
Theory Formation
100%
Lakatos
100%
Concept Definition
66%
Automated Theorem Proving
66%
Object of Interest
66%
Computer Program
33%
Philosophy of Science
33%
Multi-agent
33%
Formation System
33%
Dialogue Systems
33%
Mathematical Discovery
33%
Computational philosophy
33%
Method of Use
33%
Mathematical Justification
33%
Computational Theory
33%
Computer Science
Computational Modeling
100%
Theory Formation
100%
Automated Theorem Proving
66%
Computer Software
33%
multi-agent
33%
Theory of Computation
33%
Dialog System
33%
Mathematics
Counterexample
100%
Communicates
50%
Test Hypothesis
50%