Paulo Pinheiro da Silva

From Tetherless World Wiki

Paulo Pinheiro da Silva [ Edit ]
Photo:
Name:	Paulo_Pinheiro_da Silva
Occupation:
Affiliation(s):
Homepage(s):
Email(s):
Phone:
Fax:
Interests:
Other tags:
Alias:
	Please also add"{{alias}}" to your alias pages.

Publication

Update publication from DBLP

1. [TW-2009-20] James R. Michaelis, Li Ding, Zhenning Shangguan, Stephan Zednik, Rui Huang, Paulo Pinheiro da Silva, Nicholas Del Rio, Deborah L. McGuinness. Towards Usable and Interoperable Workflow Provenance: Empirical Case Studies Using PML, In Proceedings of the First International Workshop on the role of Semantic Web in Provenance Management, pp. TW-2009-20, 2009 .
   
2. [TW-2008-13] Paulo Pinheiro da Silva, Deborah McGuinness, Li Ding, Nicholas Del Rio. Inference Web in Action: Lightweight Use of Proof Markup Language, In Proceedings of the 7th International Semantic Web Conference (ISWC'08), October,2008 .
   
3. [TW-2008-11] Peter Fox, Deborah L. McGuinness, Paulo Pinheiro da Silva, Stephan Zednik, Jose Garcia, Li Ding, Nicholas Del Rio, Cynthia Chang. Semantic Provenance for Image Data Processing, In Proceedings of Geoinformatics 2008 Data to Knowledge, June,2008 .
   
4. 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) .
   
5. [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) .
   
6. [TW-2008-12] Alyssa Glass, Deborah L. McGuinness, Paulo Pinheiro da Silva, Michael Wolverton. Trustable Task Processing Systems, In Kunstliche Intelligenz, Special Issue on Explanation, 12-18,January,2008 .
   
7. Peter Fox, Deborah L. McGuinness, Paulo Pinheiro da Silva. Knowledge Provenance in Virtual Observatories: Application to Image Data Pipelines, In International Semantic Web Conference (Posters \& Demos), , 2008 .
   
8. Alyssa Glass, Deborah McGuinness, Michael Wolverton, Paulo Pinheiro da Silva, Cynthia Chang. Explainable Adaptive Assistants, In Tetherless World Constellation Grand Opening, Demo Program, 2008 (Download) .
   
9. [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) .
   
10. Deborah L. McGuinness, Alyssa Glass, Michael Wolverton, Paulo Pinheiro da Silva. Explaining Task Processing in Cognitive Assistants That Learn, In Interaction Challenges for Intelligent Assistants, pp. 80-87, 2007 (Download) .
    
11. Vladia Pinheiro, Vasco Furtado, Paulo Pinheiro da Silva, Deborah L. McGuinness. WebExplain: A UPML Extension to Support the Development of Explanations on the Web for Knowledge-Based Systems, In SEKE, pp. 550-555, 2006 (Download) .
    
12. Paulo Pinheiro da Silva, Deborah L. McGuinness, Richard Fikes. A proof markup language for Semantic Web services, In Inf. Syst., 31(4-5):381-395, 2006 .
    
13. J. William Murdock, Paulo Pinheiro da Silva, David A. Ferrucci, Christopher A. Welty, Deborah L. McGuinness. Encoding extraction as inferences, In Metacognition in Computation, pp. 92-97, 2005 (Download) .
    
14. Deborah L. McGuinness, Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva. Towards Explaining Semantic Matching, In Description Logics, , 2004 (Download) .
    
15. Deborah L. McGuinness, Paulo Pinheiro da Silva. Trusting Answers from Web Applications, In New Directions in Question Answering, pp. 275-286, 2004 (Download) .
    
16. Deborah L. McGuinness, Paulo Pinheiro da Silva. Explaining Answers from the Semantic Web: the Inference Web Approach, In J. Web Sem., 1(4):397-413, 2004 .
    
17. Deborah L. McGuinness, Paulo Pinheiro da Silva. Inference Web: Portable and Sharable Explanations for Question Answering, In New Directions in Question Answering, pp. 67-71, 2003 (Download) .
    
18. Paulo Pinheiro da Silva, Deborah L. McGuinness, Rob McCool. Knowledge Provenance Infrastructure, In IEEE Data Eng. Bull., 26(4):26-32, 2003 (Download) .
    
19. Deborah L. McGuinness, Paulo Pinheiro da Silva. Infrastructure for Web Explanations, In International Semantic Web Conference, pp. 113-129, 2003 (Download) .
    

External Links

More information on Google, and DBLP