## Search

Now showing items 1-10 of 14

#### The ECO Program Construction System: Ways of Increasing its Representational Power and their Effects on the User Interface

(Elsevier, 1989-07)

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

(1987)

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

(1982)

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

(1985)

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 ...

#### Intelligent Front Ends

(1984)

An intelligent front end is a user-friendly interface to a software package, which
uses Artificial Intelligence techniques to enable the user to interact with the computer
using his/her own terminology rather than that ...

#### Incidence Calculus: A Mechanism for Probabilistic Reasoning

(D. Reidet Publishing Company, 1985)

Mechanisms for the automation of uncertainty are required for expert systems. Sometimes these
mechanisms need to obey the properties of probabilistic reasoning. We argue that a purely numeric
mechanism, ...

#### Correctness criteria of some algorithms for uncertain reasoning using Incidence Calculus

(SpringerLink, 1986-06)

Incidence Calculus is a technique for associating uncertainty values with logical sentences. These uncertainty values are called incidences and they are sets of points, which may be thought of as representing equivalence ...

#### The Use of Explicit Plans to Guide Inductive Proofs

(SpringerLink, 1988-05)

We propose the use of explicit proof plans to guide the search for a proof in automatic theorem proving. By representing proof plans as the specifications of LCF-like tactics, [Gordon et al 79], and by recording these ...