𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Consolution as a Framework for Comparing Calculi

✍ Scribed by Peter Baumgartner; Ulrich Furbach

Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
994 KB
Volume
16
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

✦ Synopsis

In this paper, stepwise and nearly stepwise simulation results for a number of first-order proof calculi are presented and an overview is given that illustrates the relations between these calculi. For this purpose, we modify the consolution calculus in such a way that it can be instantiated to resolution, tableaux model elimination, a connection method and Loveland's model elimination.

πŸ“œ SIMILAR VOLUMES

Structural archetypes for coherency: A f
Structural archetypes for coherency: A framework for comparing power system equivalents
✍ John F. Dorsey; Robert A. Schlueter πŸ“‚ Article πŸ“… 1984 πŸ› Elsevier Science 🌐 English βš– 412 KB

The power system model is divided into a study system (SS) and an external group (EG). Three structural archetypes for coherency (SAC) are defined. Each SAC is a set of structural conditions on the power system which when satisfied cause the EG to remain coherent for disturbances confined to the SS.

PBR Designs for Transcos: Toward a Compa
PBR Designs for Transcos: Toward a Comparative Framework
✍ Steven Stoft; Frank Graves πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 501 KB

## Toward a Comparative Framework No off-the-shelf performance-based regulation formula for transcos appears readily workable, either politically or administratively, yet neither is conventional cost-ofservice regulation sufficient. The most suitable compromise may be to apply cost of service, but