IW Meeting 2009-11-05

From Inference Web

Jump to: navigation, search

agenda

status code in TPTP

  • SQATPTP - useful
  • PreTPTP - not useful
  • SB4TPTP - useful
  • SoTPTP - useful - engines
  • SoTSTP - useful - tools for processing solutions
  • SQATPTP - external sources of data - new stuff - all very exciting - dynamic data curation that is then fed into an ATP system
Personal tools
Navigation