<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">

<HTML>
  
  <HEAD>
    <TITLE>Neil Smith's Homepage</TITLE>
    <META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
    <META NAME="author" CONTENT="Neil Smith">
    <META NAME="description" 
    CONTENT="Neil Smith's Homepage, including research details and teaching material">
    <META NAME="keywords" 
    CONTENT="neil smith, qualitative reasoning, research, automated, modeling, modelling, automatic">
    <META NAME="GENERATOR" CONTE