Geoff Sutcliffe
From Tetherless World Wiki
| Geoff Sutcliffe [ Edit ] | |
|---|---|
| Photo: | 
|
| Name: | Geoff Sutcliffe |
| Occupation: | |
| Affiliation(s): | |
| Homepage(s): | |
| Email(s): | |
| Phone: | |
| Fax: | |
| Interests: | |
| Other tags: | |
| Alias: | |
| Please also add"{{alias}}" to your alias pages. | |
Publication
- Cynthia Chang, Paulo Pinheiro da Silva, Deborah L. McGuinness, Geoff Sutcliffe. Explaining Results from Deductive Engines: The TPTP Environment, In Tetherless World Constellation Grand Opening, Demo Program, 2008 (Download) .
- [TW-2008-09] Paulo Pinheiro da Silva, Nicholas Del Rio, Deborah McGuinness, Li Ding, Cynthia Chang, Geoff Sutcliffe. User Interfaces for Portable Proofs, In Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08), August,2008 (Download) .
- [TW-2008-10] Paulo Pinheiro da Silva, Geoff Sutcliffe, Cynthia Chang, Li Ding, Nick del Rio, Deborah McGuinness. Presenting TSTP Proofs with Inference Web Tools, In Proceedings of IJCAR '08 Workshop on Practical Aspects of Automated Reasoning (PAAR-2008), August,2008 (Download) .
External Links
More information on Google, and DBLP
Facts about Geoff SutcliffeRDF feed
| Foaf:depiction | Anonymous.png + |
| Foaf:firstName | Geoff + |
| Foaf:name | Geoff Sutcliffe + |
| Foaf:surname | Sutcliffe + |
| Has identifier | Geoff Sutcliffe + |
