Applying Lakatos-Style Reasoning to AI Domains
Attributed to:
A cognitive model of axiom formulation and reformulation with application to AI and software engineering
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.4018/9781616920142.ch010
Publication URI: http://dx.doi.org/10.4018/9781616920142.ch010
Type: Book Chapter
Book Title: Thinking Machines and the Philosophy of Computer Science - Concepts and Principles (2010)
ISBN: 9781616920142