John Gooday

From September 1st 1996 John will be working for:
DECISION SOLUTIONS
EQUIFAX EUROPE (UK) LTD.
Capital House
25 Chapel Street
London NW1 5DS

John was a Research Fellow in the Qualitative Spatial Reasoning Group at the University of Leeds, 1993-1996. He holds a B.Sc in Physics from University College London, an M.Sc in Computing from Imperial College and a PhD in Computer Science from the University of Exeter.

In addition to his research activities, John ran the Leeds Artificial Intelligence seminar series and was co-organiser of the annual Leeds-York Knowledge Representation lectures. He was also actively involved in the running of Spacenet, the European qualitative spatial reasoning network and was a member of the Centre for Theoretical Computer Science.

Research interests

John's research interests centre on applications of logic to commonsense reasoning, in particular spatial, temporal and nonmonotonic reasoning. During his time at Leeds he was involved in the following projects:

Some of John's QSR group papers

Visual Language Syntax and Semantics: A Spatial Logic Approach

J M Gooday and A G Cohn
Proceedings of the International Workshop on Theory of Visual Languages, Italy, May 1996.

The Transition Calculus: A High-Level Formalism for Reasoning about Action and Change

J M Gooday and A P Galton
Journal of Theoretical and Applied Artificial Intelligence, 1996.

A Connection Based Approach to Commonsense Topological Description and Reasoning

N M Gotts, J M Gooday and A G Cohn
The Monist, 1996.

Transition-based Qualitative Simulation

J M Gooday and A G Cohn
Proceeding of the 10 International Workshop on Qualitative Reasoning, Lake Tahoe, California, May 1996. AAAI press.

Using Spatial Logic to Describe Visual Programming Languages

J M Gooday and A G Cohn
To appear in Artificial Intelligence Review, 1996.

Nonmonotonic Reasoning about Action and Change

J M Gooday and A P Galton
Proceedings of the MPI Workshop, 1st International Conference on Temporal Logics, Bonn, June 1994.

Exploiting Temporal Continuity in Qualitative Spatial Calculi

A G Cohn, N M Gotts, Z Cui, D A Randell, B Bennett and J M Gooday
In Reginald G. Golledge and Max J. Egenhofer (eds) Spatial and Temporal Reasoning in Geographical Information Systems, Elsevier (forthcoming).

A Comparison of Structures in Spatial and Temporal Logics

A G Cohn, J M Gooday and B Bennett
In Philosophy and the Cognitive Sciences, R Casati and G White (eds.), Holder-Pichler-Tempsky, Vienna, 1994.

Conceptual Neighbourhoods in Temporal and Spatial Reasoning

J M Gooday and A G Cohn
Workshop on Spatial and Temporal Reasoning at ECAI-94, Amsterdam, August 1994.

Defining the Syntax and the Semantics of a Visual Programming Language in a Spatial Logic

A G Cohn and J M Gooday
Workshop on Spatial and Temporal Reasoning at AAAI-94, Seattle, July 1994.

Contact details:

Division of Artificial Intelligence
School of Computer Studies
University of Leeds
Leeds LS2 9JT, ENGLAND.

Email: gooday@scs.leeds.ac.uk

Phone: Office: +44 (0)113 2336806
Mobile: +44 (0)370 211500
Vodata: +44 (0)370 499999 (7E1/2400 modem)