IW Meeting 2007 Sep 10

From Inference Web

Jump to: navigation, search

agenda

notes

TPTP mapping

  • basic mapping
 formulae ::=  langauge( name, conclusion, step ).
 step  ::=   role(rule, useful-info, antecedent-names). 


action items

  • remap inference-web.org to rpi
  • paulo completes the mapping table, all review
Personal tools
Navigation