IW Meeting 2009-01-27

From Inference Web

Jump to: navigation, search

Contents

notes

Proof Quality

  • todo geoff - report out on work with student on tools -
  • todo - geoff - analyze cynthias results
    • benzmueller - tp and front end
    • irving - mathematician
    • schultz - hard core theorem proving
    • irving -> urban
  • todo - geoff and all - analyze comments on quality
  • remaining todo - paulo talk to cynthia about link and report out (waiting on cynthia)
  • general note - need an upgrade to the architecture that handles the fact that we will not have a complete ordering and not even partial orders


ProbeIt Browser

http://inference-web.org/proofs/tptp/Solutions/PUZ/PUZ001-1/Metis---2.1/combined11.owl#answer


meetings

regular: Thursday noon EST

Personal tools
Navigation