Controlled integration of the cut rule into connection tableau calculi (Q1344875)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Controlled integration of the cut rule into connection tableau calculi |
scientific article |
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