[To Appear] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001] [2000] [1999] [1998]

To Appear

• Deborah L. McGuinness, Vasco Furtado, Paulo Pinheiro da Silva, Li Ding, Alyssa Glass, Cynthia Chang. Explaining Semantic Web Applications. To appear as a chapter in Semantic Web Engineering in the Knowledge Society, Eds. Jorge Cardoso and Miltiadis D. Lytras.
• Patricia Victor, Chris Cornelis, Martine De Cock, Paulo Pinheiro da Silva. Gradual Trust and Distrust in Recommender Systems. To appear in Fuzzy Sets and Systems (PDF)

2008

• Paulo Pinheiro da Silva, Aaron Velasco, Martine Ceberio, Christian Servin, Matthew G. Averill, Nicholas Del Rio, Luc Longpre, and Vladik Kreinovich. Propagation and Provenance of Probabilistic and Interval Uncertainty in Cyberinfrastructure-Related Data Processing and Data Fusion In Proceedings of the International Workshop on Reliable Engineering Computing (REC'08), Savannah, Georgia, February 20-22, 2008. (also Technical Report UTEP-CS-07-56, University of Texas at El Paso) (Abstract)(PDF)

2007

• Nicholas Del Rio and Paulo Pinheiro da Silva. Probe-It! Visualization Support for Provenance. In Proceedings of the Third International Symposium on Visual Computing (ISVC 2007), Lake Tahoe, NV/CA, November 26-28, 2007. (Abstract) (PDF)
• Nicholas Del Rio, Paulo Pinheiro da Silva, Ann Q. Gates, Leonardo Salayandia. Semantic Annotation of Maps Through Knowledge Provenance. In Proceedings of the Second International Conference on Geospatial Semantics (GeoS 2007), Mexico City, Mexico, November 29-30, 2007. (Abstract) (PDF)
• Ann Q. Gates, G. Randy Keller, Flor Salcedo, Paulo Pinheiro da Silva, Leonardo Salayandia. The Gravity Data Ontology: Laying the Foundation for Workflow-Driven Ontologies. In Proceedings of the Second International Conference on Geospatial Semantics (GeoS 2007), Mexico City, Mexico, November 29-30, 2007. (Abstract) (PDF)
• Deborah L. McGuinness, Alyssa Glass, Michael Wolverton, Paulo Pinheiro da Silva. A Categorization of Explanation Questions for Task Processing Systems. In Proceedings of the AAAI 2007 Workshop on Explanation-aware Computing, Vancouver, British Columbia, Canada, July 22-23, 2007. (Abstract) (PDF)
• Deborah L. McGuinness, Li Ding, Paulo Pinheiro da Silva, Cynthia Chang. PML2: A Modular Explanation Interlingua. In Proceedings of the AAAI 2007 Workshop on Explanation-aware Computing, Vancouver, British Columbia, Canada, July 22-23, 2007.
• Deborah McGuinness, Alyssa Glass, Michael Wolverton and Paulo Pinheiro da Silva. Explaining Task Processing in Cognitive Assistants That Learn. In Proceedings of the Twentieth International FLAIRS Conference. Key, West, Florida, May 7-9, 2007. (Enhanced version of Stanford KSL Tech Report KSL-06-06) (Abstract) (PDF)
• Vasco Furtado, Paulo Pinheiro da Silva, Deborah McGuinness, Pryendra Deshwal, Dhyanesh Narayanan, Juliana Carvalho, Vladia Pinheiro and Cynthia Chang. Abstracting Web Agent Proofs into Human-Level Justifications In Proceedings of the Twentieth International FLAIRS Conference. Key, West, Florida, May 7-9, 2007 (Abstract) (PDF)
• Deborah L. McGuinness, Alyssa Glass, Michael Wolverton, Paulo Pinheiro da Silva. Explaining Task Processing in Cognitive Assistants That Learn. In Proceedings of AAAI 2007 Spring Symposium Interaction Challenges for Intelligent Assistants, 26-28 March 2007, Stanford University, CA, USA. (Abstract) (PDF)
• Paulo Pinheiro da Silva, leonardo Salayandia, Ann Q. Gates, Using WDO-It to Build a Geoscience Ontology, In Geoinformatics 2007, San Diego, CA, 17-18 May 2007. (HTML)
• Nicholas Del Rio and Paulo Pinheiro da Silva. Towards Debugging Maps Generated By GEON Applications Through Provenance (demonstration session). In Geoinformatics 2007, San Diego, CA, 17-18 May 2007. (HTML)
• Paulo Pinheiro da Silva, Leonardo Salayandia and Ann Gates. WDO-It! A Tool for Building Scientific Workflows from Ontologies. Technical Report UTEP-CS-07-XX, University of Texas at El Paso, 2007. (PDF)
• Nicholas Del Rio and Paulo Pinheiro da Silva. Identifying and Explaining Map Imperfections Through Knowledge Provenance Visualization. Technical Report UTEP-CS-07-43, The University of Texas at El Paso, 2007. (Abstract) (PDF)

2006

• Leonardo Salayandia, Paulo Pinheiro da Silva, Ann Q. Gates, and Flor Salcedo. Workflow-Driven Ontologies: An Earth Sciences Case Study. Proceedings of the 2nd IEEE International Conference on e-Science and Grid Computing, p. 17, Amsterdam, Netherlands, December 2006. (PDF)
• Leonardo Salayandia, Paulo Pinheiro da Silva, Ann Q. Gates, and Alvaro Rebellon. A Model-Based Workflow Approach for Scientific Applications. In Proceedings of the 6th OOPSLA Workshop on Domain-Specific Modeling, Portland, Oregon, USA, p. 20, October, 2006. (PDF)
• J. William Murdock, Deborah McGuinness, Paulo Pinheiro da Silva, Chris Welty, and David Ferrucci. Explaining Conclusions from Diverse Knowledge Sources. In Proceedings of the 5th International Semantic Web Conference (ISWC2006), Athens, GA, USA, p. 861-872, November 2006. (PDF)
• Gilbert Ornelas, Paulo Pinheiro da Silva. Towards Believing Answers from Cyber-Infrastructure-based Applications. In Proceedings of the 4th Annual Conference on Privacy, Security and Trust (PST2006), Ontario, Canada, October 2006. (PDF)
• Paulo Pinheiro da Silva, Deborah L. McGuinness and Richard Fikes. A Proof Markup Language for Semantic Web Services. Information Systems 31(4-5): 381-395, 2006. (Abstract) (PDF)
• Deborah L. McGuinness, Honglei Zeng, Paulo Pinheiro da Silva, Li Ding, Dhyanesh Narayanan and Mayukh Bhaowal. Investigations into Trust for Collaborative Information Repositories: A Wikipedia Case Study. In Proceedings of the WWW'06 Workshop on Models of Trust for the Web (MTW'06), CEUR-WS, Vol. 190, p. 5, Edinburgh, Scotland, May 22, 2006. (Abstract) (PDF)
• Patricia Victor, Chris Cornelis, Martine De Cock, Paulo Pinheiro da Silva. Towards a Provenance-Preserving Trust Model in Agent Networks. In Proceedings of the WWW'06 Workshop on Models of Trust for the Web (MTW'06), CEUR-WS, Vol. 190, p. 7, Edinburgh, Scotland, May 22, 2006. (PDF)
• 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. Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering (SEKE'06), San Francisco Bay, USA, July 5-7, 2006. (PDF)
• Ann Gates, Vladik Kreinovich, Luc Longpre, Paulo Pinheiro da Silva, and G. Randy Keller. Towards Secure Cyberinfrastructure for Sharing Border Information Proceedings of the Lineae Terrarum: International Border Conference, El Paso, Las Cruces, and Cd. Juarez, March 27-30, 2006. (PDF)
• Leonardo Salayandma, Paulo Pinheiro da Silva, and Ann Gates. Evaluating BDI Agents to Integrate Resources Over Cyberinfrastructure, In Geoinformatics 2006-Abstracts, pg. 13, USGS, Reston, VA, May 10-12, 2006. (PDF)
• Gilbert Ornelas and Paulo Pinheiro da Silva. Believing Answers From GEON Applications, In Geoinformatics 2006-Abstracts, pg. 50, USGS, Reston, VA, May 10-12, 2006. (PDF)

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

• 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)