Tutorial Overview

Preliminaries

Research Programmes

The Graphical Interface

Putting Flesh on the Bones

The Fundamentals of Processing

Improving the Classification Model

Representation

Unification

Notes on Methodology

A Model of Arithmetic

A Propositional Model of Medical Diagnosis

Elaborating the Experimental Environment

A First-Order Model of Medical Diagnosis

COGENT Home Page