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
    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
    0 references
    0 references
    0 references
    0 references

    Identifiers