Pinheiro da Silva, P.

KSL-08-01

Glass, A.; McGuinness, D.L.; Pinheiro da Silva, P.; Wolverton, M. Trustable Task Processing Systems. In Roth-Berghofer, T., and Richter, M.M., editors, KI Journal, Special Issue on Explanation, Kunstliche Intelligenz, 2008.

KSL-08-02

McGuinness, D.L.; Furtado, V.; Pinheiro da Silva, P.; Ding, L.; Glass, A.; Chang, C. Explaining Semantic Web Applications. In Cardoso, J., and Lytras, M.D., editors, Semantic Web Engineering in the Knowledge Society, Information Science Reference, IGI Global Press, 2008.

KSL-07-03

McGuinness, D.L.; Glass, A.; Wolverton, M.; Pinheiro da Silva, P. Explaining Task Processing in Cognitive Assistants that Learn. Proceedings of the 20th International FLAIRS Conference (FLAIRS-20), Key West, Florida, May 7-9, 2007.

KSL-07-05

McGuinness, D.L.; Glass, A.; Wolverton, M.; Pinheiro da Silva, P. A Categorization of Explanation Questions for Task Processing Systems. Proceedings of the 2007 Workshop on Explanation-aware Computing (ExaCt-2007), Vancouver, Canada, July 22-23, 2007.

KSL-07-06

Furtado, V.; Pinheiro da Silva, P.; McGuinness, D.L.; Deshwal, P.; Narayanan, D.; Carvalho, J.; Pinheiro, V.; Chang, C. Abstracting Web Agent Proofs into Human-Level Justifications. Proceedings of the 20th International FLAIRS Conference (FLAIRS-20), Key West, Florida, May 7-9, 2007.

KSL-07-07

McGuinness, D.L.; Ding, L.; Pinheiro da Silva, P.; Chang, C. PML 2: A Modular Explanation Interlingua. Proceedings of the 2007 Workshop on Explanation-aware Computing (ExaCt-2007), Vancouver, Canada, July 22-23, 2007.

KSL-06-05

McGuinness, D.L.; Zeng, H.; Pinheiro da Silva, P.; Ding, L.; Narayanan, D.; Bhaowal, M. Investigations into Trust for Collaborative Information Repositories: A Wikipedia Case Study. The Workshop on the Models of Trust for the Web (MTW'06), Edinburgh, Scotland, May 22, 2006. 2006.

KSL-06-06

McGuinness, D.L.; Glass, A.; Wolverton, M.; Pinheiro da Silva, P. Explaining Task Processing in Cognitive Assistants that Learn. Proceedings of the AAAI 2007 Spring Symposium on Interaction Challenges for Intelligent Assistants March, 2007.

KSL-06-13

Pinheiro, V.; Furtado, V.; Pinheiro da Silva, P.; McGuinness, D.L. WebExplain: A UPML Extension to Support the Development of Explanations on the Web for Knowledge-based Systems. The 18th International Conference on Software Engineering and Knowledge Engineering 2006.

KSL-06-17

Murdock, J. W.; McGuinness, D.L.; Pinheiro da Silva, P.; Welty, C.; Ferrucci, D. Explaining Conclusions from Diverse Knowledge Sources. the 5th International Semantic Web Conference (ISWC2006) Athens, Georgia, USA, November 5th - 9th, 2006.

KSL-05-01

Pinheiro da Silva, P.; Hayes, P.; McGuinness, D. L.; Fikes, R.; & Deshwal, P. Towards Checking Hybrid Proofs. Technical Report, Knowledge Systems, AI Laboratory, Stanford University., 2005.

KSL-05-02

Pinheiro, V.; Furtado, V.; Pinheiro da Silva, P.; McGuinness, D. L. Explaining Problem Solver Answers. Technical Report, Knowledge Systems, AI Laboratory, Stanford University., 2005.

KSL-05-03

McGuinness, D.L.; Pinheiro da Silva, P.; Murdock, J. W.; & Ferrucci, D. Exposing Extracted Knowledge Supporting Answers. Technical Report, Knowledge Systems, AI Laboratory, Stanford University., 2005.

KSL-05-05

Welty, C.; Murdock, J. W.; Pinheiro da Silva, P.; McGuinness, D.L.; Ferrucci, D.; Fikes, R. Tracking Information Extraction from Intelligence Documents. In Proceedings of the 2005 International Conference on Intelligence Analysis (IA 2005), McLean, VA, USA, 2-6 May, 2005. 2005.

KSL-05-06

Ding, L.; Finin, T.; Peng, Y.; Pinheiro da Silva, P.; McGuinness, D.L. Tracking RDF Graph Provenance using RDF Molecules. Proceedings of the Fourth International Semantic Web Conference, November 2005. 2005.

KSL-05-08

Zeng, H.; McGuinness, D.L.; Pinheiro da Silva, P.; Fikes, R. Explaining Results from Information Retrieval and Integration. International Symposium on Explanation-aware Computing, AAAI Symposium, Washington, D.C., November 3-6, 2005 2005.

KSL-05-09

Martine De Cock; Pinheiro da Silva, P. A Many Valued Representation and Propagation of Trust and Distrust. Technical Report, Knowledge Systems, AI Laboratory, Stanford University. 2005.

KSL-05-11

McGuinness, D.L.; Pinheiro da Silva, P.; Wolverton, M. Plan for Explaining Task Execution in CALO. Technical Report. 2005.

KSL-04-01

Pinheiro da Silva, P.; McGuinness, D. L.; & Fikes, R. E. A Proof Markup Language for Semantic Web Services. Technical Report, Knowledge Systems Laboratory, Stanford University., 2004.

KSL-04-02

Shvaiko, P.; Giunchiglia, F.; Pinheiro da Silva, P.; & McGuinness, D. L. Web Explanations for Semantic Heterogeneity Discovery. In Proceedings of the 2nd European Semantic Web Conference (ESWC 2005), pp 303-317, 2004.

KSL-04-03

McGuinness, D.L.; Pinheiro da Silva, P. Explaining Answers from the Semantic Web: The Inference Web Approach. Journal of Web Semantics Vol.1 No.4, pages 397-413, October 2004.

KSL-04-04

Pinheiro da Silva, P.; Hayes, P.; McGuinness, D. L.; & Fikes, R. PPDR: A Proof Protocol for Deductive Reasoning. Technical Report, Knowledge Systems Laboratory, Stanford University., 2004, 2004.

KSL-04-06

Murdock, J. W.; Pinheiro da Silva, P.; Ferrucci, D.; Welty, C.; & McGuinness, D. L. Encoding Extraction as Inferences. 2004.

KSL-04-08

Zaihrayeu, I.; Pinheiro da Silva, P.; & McGuinness, D. L. IWTrust: Improving User Trust in Answers from the Web. Rocquencourt, France, 2005., 2004.

KSL-03-02

McGuinness, D.L.; Pinheiro da Silva, P. Inference Web: Portable Explanations for the Web. Knowledge Systems Laboratory, January, 2003.

KSL-03-03

McGuinness, D.L.; Pinheiro da Silva, P. Registry-Based Support for Information Integration. Knowledge Systems Laboratory, March, 2003.

KSL-03-04

Pinheiro da Silva, P.; McGuinness, D.L.; Fikes, R. Combinable Proof Fragments for the Web. Knowledge Systems Laboratory, January, 2003.

KSL-03-10

McGuinness, D.L.; Pinheiro da Silva, P. Inference Web: Portable and Shareable Explanations for Question Answering. In the Proceedings of the American Association for Artificial Intelligence Spring Symposium Workshop on New Directions for Question Answering. Stanford University, Stanford, CA., March 2003, 2003.

KSL-02-04

Pinheiro da Silva, P. & Paton, N. W. Improving UML Support for User Interface Design: A Metric Assessment of UMLi. Stanford University, 2002.