IW Meeting 2010-01-28

From Inference Web

• 2010-01-28
• IW Meeting 2010-01-14

agenda

• Mizar proof findings
• linked proofs statistics, http://inference-web.org/wiki/iw:TPTP-IW
  • any translation specific issues
  • equivalent semantics
  • proof selection: (i) all revisions; (ii) latest version of ATP system; (iii)

• linked proof paper: are findings correct? should we use sameAs relation?

• future publication plan
  • TPTP-PML translation, details and findings
  • linked proof analysis, run different measures to show the interesting spot of linked proofs ,
  • algorithms on using linked proofs
    • AO* search: improve a proof,
    • diff: ATP behavior analysis
    • trust: find critical path in proof