## Search

Now showing items 21-30 of 60

#### A Comprehensive Comparison between Generalized Incidence Calculus and the Dempster-Shafer Theory of Evidence

(Elsevier, 1994-06)

Dealing with uncertainty problems in intelligent systems has attracted a lot of attention in the AI community. Quite a few techniques have been proposed. Among them, the Dempster-Shafer theory of evidence (DS theory) has ...

#### Coloured rippling: An extension of a theorem proving heuristic

(John Wiley & Sons, 1994)

Rippling is a type of rewriting developed in inductive theorem
proving for removing differences between terms; the induction
conclusion is annotated to mark its differences from the induction
hypothesis and rippling ...

#### A Single-Significant-Digit Calculus for Semi-Automated Guesstimation

(SpringerLink, 2010)

We describe a single-significant-digit calculus for estimating approximate solutions to guesstimation problems. The calculus is formalised as a collection of proof methods, which are combined into proof plans. These proof ...

#### Formalising Term Synthesis for Isacosy

(2010)

IsaCoSy is a theory formation system for inductive theories. It synthesises conjectures and uses
the ones that can be proved to produce a background theory for a new formalisation within a proof
assistant. We present a ...

#### Proof Plans for the Correction of False Conjectures

(Springer Verlag, 1994)

Theorem proving is the systematic derivation of a mathcmaticM
proof from a set of axioms by the use of rules of inference. We ~re
interested in a related but far less explored problem: the analysis and
correction of ...

#### Scheme-Based Synthesis of Inductive Theories

(2010)

We describe an approach to automatically invent/explore new mathematical theories, with the goal of producing results comparable to those produced by humans, as represented, for example, in the libraries of the Isabelle ...

#### The Use of Prolog for Improving the Rigour and Accessibility of Ecological Modelling

(Elsevier, 1989-07)

We introduce three concepts that offer considerable benefit to the process of ecological modelling: the descriptive representation of models; the explicit representation of knowledge about how to model; and the development ...

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