[2005] [2004] [2003] [2002] [2001] [2000] [1999] [1998]

2005

• Honglei Zeng, Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes. Explaining Results from Information Retrieval and Integration. In International Symposium on Explanation-aware Computing, AAAI Fall Symposium, Washington, D.C., November 3-6, 2005. (Abstract) (PDF)
• Christopher Welty, J. William Murdock, Paulo Pinheiro da Silva, Deborah L. McGuinness, David Ferrucci, Richard Fikes. 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. (Abstract) (PDF)
• Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva and Deborah L. McGuinness. Web Explanations for Semantic Heterogeneity Discovery. In Proceedings of the 2nd European Semantic Web Conference (ESWC 2005), Heraklion, Greece, May 29 to June 1, 2005 Springer, pages 303-317, 2005. (Abstract) (PDF)
• Ilya Zaihrayeu, Paulo Pinheiro da Silva and Deborah L. McGuinness. IWTrust: Improving User Trust in Answers from the Web. In Proceedings of 3rd International Conference on Trust Management (iTrust2005), Springer, Rocquencourt, France, pages 384-392, 2005. (Abstract) (PDF)
• J. William Murdock, Paulo Pinheiro da Silva, David Ferrucci, Christopher Welty and Deborah L. McGuinness. Encoding Extraction as Inferences. In Proceedings of AAAI Spring Symposium on Metacognition on Computation, AAAI Press, Stanford University, USA, pages 92-97, 2005. (Abstract) (PDF)
• Martine De Cock, Paulo Pinheiro da Silva. A Many Valued Representation and Propagation of Trust and Distrust. In Proceedings of International Workshop on Fuzzy Logic and Applications 2005 (WILF2005), Springer, Crema, Italy, 2005. (Abstract) (PDF)
• Li Ding, Tim Finin, Y. Peng, Paulo Pinheiro da Silva, Deborah L. McGuinness. Tracking RDF Graph Provenance using RDF Molecules. Technical Report KSL-05-06, Knowledge Systems, AI Laboratory, Stanford University. 2005. (Abstract) (PDF)
• Deborah L. McGuinness, Paulo Pinheiro da Silva, J. William Murdock and David Ferrucci. Exposing Extracted Knowlegde Supporting Answers. Technical Report KSL-05-03, Knowledge Systems Laboratory, Stanford University, USA, 2005. (Abstract) (PDF)
• Vladia Pinheiro, Vasco Furtado, Paulo Pinheiro da Silva, and Deborah L. McGuinness. Explaining Problem Solver Answers. Technical Report KSL-05-02, Knowledge Systems Laboratory, Stanford University, USA, 2005. (Abstract) (PDF)
• Paulo Pinheiro da Silva, Patrick Hayes, Deborah L. McGuinness, Richard Fikes and Priyendra Deshwal. Towards Checking Hybrid Proofs. Technical Report KSL-05-01, Knowledge Systems Laboratory, Stanford University, USA, 2005. (Abstract) (PDF)
• Vladia Pinheiro, Andreia Liborio, Tiago Cordeiro, Ismael Rocha, Paulo Pinheiro da Silva, Elizabeth Furtado and Vasco Furtado. Auxiliando o Desenvolvimento de Explicacoes para Sistemas Baseados em Conhecimento (in Portuguese). In Encontro Nacional de Inteligencia Artificial (ENIA2005), Sao Leopoldo, RS, Brazil, SBC, July 2005. (DOC)

2004

• Paulo Pinheiro da Silva, Deborah L. McGuinness and Richard Fikes. A Proof Markup Language for Semantic Web Services. Information Systems (to appear). (Abstract) (PDF)
• Deborah L. McGuinness and Paulo Pinheiro da Silva. Explaining Answers from the Semantic Web: The Inference Web Approach. Journal of Web Semantics, Vol. 1 No. 4. October 2004, pages 397-413. (Abstract) (PDF)
• Deborah L. McGuinness and Paulo Pinheiro da Silva. Trusting Answers from Web Applications. In Mark T. Maybury, editor, New Directions in Question Answering. Chapter 21, AAAI/MIT Press, October 2004. (PDF) (PS)
• Deborah L. McGuinness, Pavel Shvaiko, Fausto Giunchiglia and Paulo Pinheiro da Silva. Towards Explaining Semantic Matching. In 2004 International Workshop on Description Logics - DL2004, Whistler, British Columbia, Canada. CEUR Workshop Proceedings Vol. 104, 2004. (PDF)
• Deborah L. McGuinness, Paulo Pinheiro da Silva, Cynthia Chang. IWBase: Provenance Metadata Infrastructure for Explaining and Trusting Answers from the Web. Technical Report KSL-04-07, Knowledge Systems Laboratory, Stanford University, USA, 2004. (Abstract) (PDF)
• Paulo Pinheiro da Silva, Patrick Hayes, Deborah L. McGuinness and Richard Fikes. PPDR: A Proof Protocol for Deductive Reasoning. Technical Report KSL-04-04, Knowledge Systems Laboratory, Stanford University, USA, 2004. (Abstract) (PDF)
• Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva and Deborah L. McGuinness. Web Explanations for Semantic Heterogeneity Discovery. In Poster track of the 3rd International Semantic Web Conference (ISWC 2004), Hiroshima, Japan, 7-11 Nov. 2004. (PDF)

2003

• Paulo Pinheiro da Silva, Deborah L. McGuinness and Rob McCool. Knowledge Provenance Infrastructure. IEEE Data Engineering Bulletin. Vol. 26 No. 4, pages 26-32, December 2003. (PDF) (PS)
• Deborah L. McGuinness and Paulo Pinheiro da Silva. Infrastructure for Web Explanations. In Proceedings of 2nd International Semantic Web Conference (ISWC2003), D. Fensel, K. Sycara and J. Mylopoulos (Eds.), LNCS 2870, Sanibel, FL, USA. Springer, pages 113-129, October 2003. (Abstract) (PDF) (PS)
• Deborah L. McGuinness and Paulo Pinheiro da Silva. Registry-Based Support for Information Integration. In Proceedings of IJCAI-2003 Workshop on Information Integration on the Web (IIWeb-03), S. Kambhampati and C. Knoblock (Eds.), Acapulco, Mexico. August, 2003, pages 117-122. (Abstract) (PDF) (PS)
  
• Deborah L. McGuinness and Paulo Pinheiro da Silva. Inference Web: Portable and Shareable Explanations for Question Answering. Proceedings of the American Association for Artificial Intelligence Spring Symposium Workshop on New Directions for Question Answering. M. Maybury (Ed.), Stanford University, Stanford, CA, USA, pages 67-71, AAAI Press, March 2003. (PDF) (PS)
• Paulo Pinheiro da Silva and Norman W. Paton. Improving UML Support for User Interface Design: A Metric Assessment of UMLi. Proceedings of ICSE-2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, R. Kazman, L. Bass and J. Bosch (Eds.), Portland, OR, USA, 2003. IFIP, pages 76-83. (Abstract) (PDF) (PS)
  
• Paulo Pinheiro da Silva and Norman W. Paton. User Interface Modeling in UMLi. IEEE Software, Vol.20 No. 4, July/August 2003, pages 62-69. (Abstract) (PDF)
• Paulo Pinheiro da Silva and Deborah L. McGuinness. Combinable Proof Fragments for the Web. Technical Report KSL-03-04, Knowledge Systems Laboratory, Stanford University, USA, 2003. (Abstract) (PDF) (PS)
• Deborah L. McGuinness and Paulo Pinheiro da Silva. Inference Web: Portable Explanations for the Web. Technical Report KSL-03-02, Knowledge Systems Laboratory, Stanford University, USA, 2003. (Abstract) (PDF) (PS)

2002

• Emmanuel Dubois, Paulo Pinheiro da Silva and Philip D. Gray. Notational Support for the Design of Augmented Reality Systems. In Proceedings of the 9th International Workshop on Design, Specification and Verification of Interactive Systems, P. Forbrig, Q. Limbourg, B. Urban and J. Vanderdonckt (Eds.), Rostock, Germany. LNCS Vol 2545, pages 74-88, Springer, 2002. (Abstract) (PDF) (PS)
• Paulo Pinheiro da Silva. Object Modelling of Interactive Systems: The UMLi Approach. PhD's thesis, Department of Computer Science, University of Manchester, United Kingdom, 2002. (PDF) (PS)

• Paulo Pinheiro da Silva and Norman W. Paton. A UML-Based Design Environment  for Interactive Applications. In Proceedings of the 2nd International Workshop on User Interfaces to Data Intensive Systems (UIDIS'01), E. Kapetanios and H. Hinterberger (Eds.), Zurich, Switzerland, pages 60-71, IEEE Computer Society, 2001. (Abstract) (PDF)
• Paulo Pinheiro da Silva, Alberto H. F. Laender and Paulo B. Golgher. A Simulation Model for Performance Evaluation when Migrating a Legacy System. In Proceedings of the 5th European Conference on Software Maintenance and Reengineering (CSMR2001), P. Sousa and J. Ebert (Eds.), Lisbon, Portugal, pages 210-216, IEEE Computer Society, 2001. (Abstract) (PDF) (PS)
• Paulo Pinheiro da Silva. A Proposal for a LOTOS-Based Semantics for UML. Technical Report UMCS-01-06-1, Department of Computer Science, University of Manchester, UK, June 2001. (Abstract) (PDF) (PS)
• Tony Griffiths, Peter J. Barclay, Norman W. Paton, Jo McKirdy, Jessie Kennedy, Philip D. Gray, Richard Cooper, Carole A. Goble and Paulo Pinheiro da Silva. Teallach: A Model-Based User Interface Development Environment for Object Databases. In Interacting with Computers, Vol. 14, Issue 1, pages 31-68, December 2001. (Abstract) (PDF)

• Paulo Pinheiro da Silva and Norman W. Paton. UMLi: The Unified Modeling Language for Interactive Applications. In <<UML>>2000 - The Unified Modeling Language: Advancing the Standard (3rd International Conference on the Unified Modeling Language, York, United Kingdom, October, 2-6, 2000), A. Evans, S. Kent and B. Selic (Eds.). LNCS Vol 1939,  pages 117-132, Springer, 2000. (Abstract) (PDF)
• Paulo Pinheiro da Silva. UMLi: Integrating User Interface and Application Design. In Electronic proceedings of the UML2000 Workshop on Towards a UML Profile for Interactive Systems Development (TUPIS2000), York, United Kingdom, October 2000. (HTML)
• Paulo Pinheiro da Silva. User Interface Declarative Models and Development Environments: A Survey. In Interactive Systems: Design, Specification, and Verification (7th International Workshop DSV-IS, Limerick, Ireland, June, 2000), Ph. Palanque and F. Paternò (Eds.). LNCS Vol. 1946, pages 207-226, Springer, 2000. (Abstract) (PDF) (Compressed PS)
• Paulo Pinheiro da Silva and Norman W. Paton. User Interface Modelling with UML. In Information Modelling and Knowledge Bases XII (10th European-Japanese Conference on Information Modelling and Knowledge Representation, Saariselka, Finland, May, 8-11, 2000), H. Kangassalo, H. Jaakkola, E. Kawaguchi (Eds), pages 203-217, IOS Press, Amsterdam, 2001. (Abstract) (PDF) (Compressed PS)
• Paulo Pinheiro da Silva, Tony Griffiths and Norman W. Paton, Generating User Interface Code in a Model Based User Interface Development Environment. In Proceedings of the International Working Conference on Advance Visual Interfaces2000 (AVI2000), V. Gesu, S. Levialdi and L. Tarantino (Eds.). Palermo, Italy, pages 155-160, ACM Press, May 2000. (Abstract) (PDF) (Compressed PS)
• Paulo Pinheiro da Silva, Alberto H. F. Laender, Rodolfo Resende and Paulo B. Golgher. Characterizing a Synthetic Workload for Performance Evaluation during the Migration of a Legacy System. In Proceedings of the 4th European Conference on Software Maintenance and Reengineering (CSMR2000), J. Ebert and C. Verhoef (Eds.). Zurich, Switzerland, pages 173-181, IEEE Computer Society, 2000. (Abstract) (PDF) (PS)

• Paulo Pinheiro da Silva, Alberto H. F. Laender, Rodolfo Resende and Paulo B. Golgher. CAPPLES - A Capacity Planning and Performance Analysis Method for the Migration of Legacy Systems. In Advances in Conceptual Modeling (ER'99 Workshop on Reverse Engineering in Information Systems, Paris, France, November 15-18,1999), P.P. Chen, D.W. Embley, J. Kouloumdjian, S.W. Liddle and J.F. Roddick (Eds.). LNCS Vol. 1727, Springer,  pages 198-212, 1999. (Abstract) (PDF) (PS)

• Paulo Pinheiro da Silva. A Study on the Migration of Centralised Legacy Systems to Distributed Environments. Master's thesis, Departamento de Ciência da Computação, Universidade Federal de Minas Gerais, Brazil, June 1998. (In Portuguese). (PDF) (PS)