## Search

Now showing items 21-30 of 60

#### A Subsumption Architecture for Theorem Proving?

(The Royal Society, 1994-10)

Brooks has criticized traditional approaches
to artificial
intelligence as too ineffi-
cient. In particular, he has singled out techniques involving
search as
inadequate
to achieve the fast reaction times ...

#### Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs

(Springer Verlag, 1990)

In earlier papers we described a technique for automatically constructing inductive proofs, using a heuristic search control tactic called rippling-out. Further testing on harder examples has shown that the rippling-out ...

#### 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 Recursive Techniques Editor for Prolog

(SpringerLink, 1991-03)

We describe an editor geared to recursive Prolog procedures. It is similar to the structure editors built for many programming languages, except that instead of just ensuring the correctness of the syntax of the procedures ...

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

#### Qualitative Causal Analysis of Empirical Knowledge for Ontology Evolution in Physics

(2010-08-16)

Ontology evolution and its automation are key factors for achieving
software’s ﬂexibility and adaptability. In the approach to automated
ontology evolution adopted in the GALILEO project, progress in
physics is modelled ...