IW Meeting 2008-10-06

From Inference Web

Jump to: navigation, search

AI Comm. journal paper

  • submission to AI communication, full (typically, 20-30 pages), high-quality papers, due by Dec 22, 2008
  • http://www.csc.liv.ac.uk/~konev/AICom/
  • combine content from UITP and PAAR
  • content (theme is integration of decentralized proof - inference web)
    • convert TPTP to PML
    • benefit 1: [focus] integration merge/combine proof, usage/extraction of lemma
    • benefit 3: proof validation
    • benefit 4: proof search
    • benefit 2: [should skip it] new user interface for proofs (review indicating not significant)

agreement

  • submit the paper
  • focus on combining
  • not focus on visualization

Proof Combination Demo

Personal tools
Navigation