Controlled integration of the cut rule into connection tableau calculi (Q1344875)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Controlled integration of the cut rule into connection tableau calculi |
scientific article; zbMATH DE number 724133
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Controlled integration of the cut rule into connection tableau calculi |
scientific article; zbMATH DE number 724133 |
Statements
Controlled integration of the cut rule into connection tableau calculi (English)
0 references
22 February 1995
0 references
As the authors point out, ``connection tableau calculi are significantly weaker concerning deductive power than resolution systems''. Nevertheless, they try to improve the performance of their systems by incorporating atomic cut and other techniques of the same power.
0 references
automated deduction
0 references
connection tableau calculi
0 references
atomic cut
0 references
