TPTP-PML
From Tetherless World Wiki
| TPTP-PML | |
| type | Research Project |
| status | active |
| Management | |
| team | Tetherless World Constellation |
| investigator | Deborah L. McGuinness |
| participant | Geoff Sutcliffe,Cynthia Chang,Paulo Pinheiro da Silva,Li Ding |
| Tags | |
| part of | Inference Web |
| tag | TPTP,Proof |
| Internal | |
Contents |
Overview
Work Plan
In Progress
- (July 21,2008) The new TPTP-PML tools demo. http://www.cs.miami.edu/~geoff/Guest/
Resources
Resources
Meetings
Facts about TPTP-PMLRDF feed
