IW Meeting 2007 Sep 17

From Inference Web

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