User interfaces for portable proofs
From Semantic Portal Wiki
| Edit |
Reference:
- Paulo Pinheiro da Silva, Nicholas Del Rio, Deborah L. McGuinness, Li Ding, Cynthia Chang, Geoff Sutcliffe. User Interfaces for Portable Proofs , Proceedings of the 8th International Workshop On User Interfaces for Theorem Provers (UITP'08), 2008
bibtex
@inproceedings { silva2008user ,
author = "Paulo Pinheiro da Silva, Nicholas Del Rio, Deborah L. McGuinness, Li Ding, Cynthia Chang, Geoff Sutcliffe",
booktitle = "Proceedings of the 8th International Workshop On User Interfaces for Theorem Provers (UITP'08)",
title = "User Interfaces for Portable Proofs",
year = "2008",
}
abstract: Portable proofs are a new and interesting way of integrating theorem provers into distributed environments like the web. This article reports on user interface’s challenges and opportunities for theorem provers in such environments. In particular, this article reports on the design of user interfaces used for searching, browsing and inspecting TSTP problems when published as portable proofs.
download:
- paper: TW-2008-09.pdf (http://www.ags.uni-sb.de/%7Eomega/workshops/UITP08/UITP08-proceedings.pdf)
- slides:
Facts about User interfaces for portable proofsRDF feed
| Abstract | Portable proofs are a new and interesting … Portable proofs are a new and interesting way of integrating theorem provers into distributed environments like the web. This article reports on user interface’s challenges and opportunities for theorem provers in such environments. In particular, this article reports on the design of user interfaces used for searching, browsing and inspecting TSTP problems when published as portable proofs. roblems when published as portable proofs. |
| Address | Montreal, Quebec, Canada + |
| Author | Paulo Pinheiro da Silva +, Nicholas Del Rio +, Deborah McGuinness +, Li Ding +, Cynthia Chang +, and Geoff Sutcliffe + |
| Bibtype | inproceedings + |
| Booktitle | Proceedings of the 8th International Workshop On User Interfaces for Theorem Provers (UITP'08) + |
| Key | silva2008user + |
| Month | August + |
| Paper | TW-2008-09.pdf + |
| Paper url | http://www.ags.uni-sb.de/~omega/workshops/UITP08/UITP08-proceedings.pdf + |
| Relation | Inference web + |
| Tag | Computer science + |
| Title | User Interfaces for Portable Proofs + |
| Tr id | TW-2008-09 + |
| Year | 2008 + |
