Now showing items 11-20 of 60
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)
Automation of Diagrammatic Reasoning
(Morgan Kaufmann, 1997)
Theorems in automated theorem proving are usually proved by logical formal proofs. However, there is a subset of problems which humans can prove in a different way by the use of geometric operations on diagrams, so called ...
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 ...
Increasing the Versatility of Heuristic Based Theorem Provers
(Springer Verlag, 1993)
Heuristic based theorem proving systems typically impose a fixed ordering on the strategies which they embody. The ordering reflects the general experience of the system designer. As a consequence, there will exist a variety ...
Plan Execution Failure Analysis Using Plan Deconstruction
We consider the challenges that arise when plans are based on an incorrect representation of the domain in which they are executed. We describe how information about plan formation, and how the way in which each plan step ...
Diagnosing and Repairing Ontological Mismatches
The development of the semantic web ensures that the facilitation of agent communication is an issue of increasing importance. It is usually assumed that agents are using the same ontology and hence can understand one ...
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 ...
`Semantic procedure' is an oxymoron
(Cambridge University Press, 1993)