Now showing items 1-10 of 102
The Partial Lambda Calculus
(University of Edinburgh. College of Science and Engineering. School of Informatics., 1988-07)
This thesis investigates various formal systems for reasoning about partial functions or partial elements, with particular emphasis on lambda calculi for partial functions. Beeson's (intuitionistic) logic of partial terms ...
A strategy for the visual recognition of objects in an industrial environment
(The University of Edinburgh, 1985)
This thesis is concerned with the problem of recognizing industrial objects rapidly and flexibly. The system design is based on a general strategy that consists of a generalized local feature detector, an extended ...
From Surfaces to Objects: Recognizing Objects Using Surface Information and Object Models
(The University of Edinburgh, 1986)
This thesis describes research on recognizing partially obscured objects using surface information like Marr's 2D sketch ([MAR82]) and surface-based geometrical object models. The goal of the recognition process is to ...
Tense, aspect and temporal reference.
(The University of Edinburgh, 1987)
English exhibits a rich apparatus of tense, aspect, time adverbials and other expressions that can be used to order states of affairs with respect to each other, or to locate them at a point in time with respect to the ...
The ECO Program Construction System: Ways of Increasing its Representational Power and their Effects on the User Interface
There is a growing interest in programs which help users with little experience of computing to construct simulation models. Much recent development work on such systems has utilized comparatively simple mathematical methods ...
A Generalized Interval Package and its Use for Semantic Checking
(Transactions on Mathematical Software, 1984-12)
Special Purpose, but Domain Independent, Inference Mechanisms
vie describe a number of special purpose, but domain independent, inference mechanisms. While these rl1echanisms are limited to certain kinds of inference and illference rules, they do not rely ...
Solving Symbolic Equations with PRESS
We outline a program, PRESS (PRolog Equation Solving System) for solving symbolic, transcendental, non-differential equations. The methods used for solving equations are described, together with the service facilities. The ...
Discovery and Reasoning in Mathematics
We discuss the automation of mathematical reasoning, surveying the abilities displayed by human mathematicians and the computational techniques available for automating these abilities. We argue the importance of the ...