𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Meta-level inference: Two applications

✍ Scribed by Alan Bundy; Leon Sterling

Book ID
104680178
Publisher
Springer Netherlands
Year
1988
Tongue
English
Weight
637 KB
Volume
4
Category
Article
ISSN
0168-7433

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Using meta-level inference for selective
Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation
✍ Alan Bundy; Bob Welham πŸ“‚ Article πŸ“… 1981 πŸ› Elsevier Science 🌐 English βš– 948 KB

In this paper we describe a technique for controlling inference, called meta-level inference, and a program for algebraic manipulation, PRESS, which embodies this technique. In PRESS, algebraic expressions are manipulated by a series of methods. The appropriate method is chosen by recta-level infere