IW Meeting 2008-07-16

From Inference Web

Jump to: navigation, search
  • title=TPTP meeting
  • participant=Deborah L. McGuinness; Li Ding; Cynthia Chang; Geoff Sutcliffe

agenda

  • versioning in TPTP inference engine
  • video demo
  • IWSearch in TPTP space
  • are any of the tptp provers working with common logic
  • omdoc
  • next meeting

notes

versioning in TPTP inference engine

  • done
  • Cynthia and Geoff

IW tools demo

  • not yet
  • content? 5 minutes for each of the tools mentioned Australia paper (August); use agatha example as theme
  • todo: produce video (geoff)
  • todo: need demo script: IWBrowser (Cynthia), NodeSet Browser(Geoff), ProbeIt(Nick/Paulo), IWsearch(Li)
  • note: demo Script == URLs, rough sequence of things to show, reasons why to show it.
  • date: first draft due before the next TPTP meeting(by Sunday);
  • date: Geoff can start produce the video by the end of July

are any of the tptp provers working with common logic

omdoc

next meeting

  • todo: discuss the IW tools demo scripts (due mid-night sunday )
  • noon Moday ET (July 21)
  • paulo and nick are expected

outcome

  • next meeting Moday ET (July 21), will discuss the demo scripts
  • todo: need demo script: IWBrowser (Cynthia), NodeSet Browser(Geoff), ProbeIt(Nick/Paulo), IWsearch(Li)
Personal tools
Navigation