• Login
    View Item 
    •   DSpace@RPI Home
    • Tetherless World Constellation
    • Tetherless World Publications
    • View Item
    •   DSpace@RPI Home
    • Tetherless World Constellation
    • Tetherless World Publications
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Different Proofs are Good Proofs

    Author
    Sutcliffe, Geoff; Chang, Cynthia; Ding, Li; McGuinness, Deborah; Pinheiro, Paulo
    Thumbnail
    Other Contributors
    Date Issued
    2010-07-20
    Subject
    Inference Web
    Degree
    Terms of Use
    Metadata
    Show full item record
    URI
    http://archive.tw.rpi.edu/media/latest/2010SC10EMSQMSSSEE.pdf; https://hdl.handle.net/20.500.13015/4617
    Abstract
    In order to compare the quality of proofs, it is necessary to measure artifacts of the proofs, and evaluate the measurements to determine differences between the proofs. This paper discounts the approach of ranking proofs by their measured proof artifacts, and takes the position that different proofs are good proofs. The position is based on proofs in the TSTP solution library, which are generated by Automated Theorem Proving (ATP) systems applied to first-order logic problems in the TPTP problem library.;
    Department
    Relationships
    https://tw.rpi.edu/project/InferenceWeb;
    Access
    Collections
    • Tetherless World Publications

    Browse

    All of DSpace@RPICommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    Login

    DSpace software copyright © 2002-2022  DuraSpace
    Contact Us | Send Feedback
    DSpace Express is a service operated by 
    Atmire NV