IW Meeting 2010-03-04
From Inference Web
- 2010-03-04
- IW Meeting 2010-02-25
agenda
- TPTP-IW Project
- iw:EMSQMS 2010 proof quality
- Inference Web Website updates
- PML Ontology Project
- PML primer (Paulo will meet with both Nick and Jitin by tomorrow March 2, 2010; Deb will talk to Tim)
- PML examples and scenarios, need diversity (e.g. Source Usage), Tools#Datasets
