IW Meeting 2007 Sep 17

From Inference Web

Jump to: navigation, search

agenda

  • stefanos registration process (at stanford)
  • tptp; mapping process ;
  • machines (if paulo is needed in that);
  • alyssa's progress
  • iw search, [|architecture]

notes

action items

  • li work on IWSearch
  • cynthia work on example translation
  • paulo on TPTP translation
Personal tools
Navigation