List of Publications (Since 2003)

  [To Appear] [2008] [2007] [2006] [2005] [2004] [2003]

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. (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. (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. (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)
  • Leonardo Salayandia and Ann Q. Gates Towards a Workflow Management System for Service Oriented Modules In International Journal of Simulation and Process Modeling, 3(1-2), 2007.
  • Oscar Mondragon, Ann Q. Gates, Steve Roach and Oleg Sokolsky, Generating Properties for Runtime Monitoring from Software Specification Patterns In International Journal of Software Engineering and Knowledge Engineering, 17(1): 107-126 (2007).
  • Omar Ochoa, Irbis Gallegos, Steve Roach, and Ann Q. Gates Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification In Electronic Notes in Theoretical Computer Science, 2007.
  • Salamah Salamah, Vladik Kreinovich, Ann Q. Gates, A., and Steve Roach, Using Patterns and Composite Propositions to Automate the Generation of Complex LTL Specifications In 2007 Proceedings of the Automated Technology for Verification and Analysis 5th International Symposium, LNCS, Namjoshi, K., Yoneda, T., Higashino, T. and Y. Okamura (Eds.), Vol. 4762, 2007.
  • Salamah Salamah, Vladik Kreinovich, and Ann Q. Gates Generating Linear Temporal Logic Formulas for Patterns-Based Specifications In Proceedings of the Nineteenth International Conference on Software Engineering and Knowledge Engineering, Boston, July 2007.

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)
  • Leonardo Salayandia, Y. Huang, Ann Q. Gates, Steve Roach GeoNet: Use of Grid Technologies in Geoinformatics for the Transition Zone between the Colorado Plateau and the Basin & Range Province In Geoinformatics: Data to Knowledge, (A.K. Sinha, ed.), Geological Society of America, 2006.

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)
  • Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon Verifying Pattern-Generated LTL Formulas: A Case Study In Model Checking Software, Proceedings 12th International SPIN Workshop, LNCS, Springer, 2005, pp. 200-220.
  • Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, Oleg Sokolsky Generating Properties for Runtime Monitoring from Software Specification Patterns In Proceedings 17th International Conference on Software Engineering and Knowledge Engineering, July 2005.
  • Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky JavaMaC and Runtime Monitoring for Geoinformatics Grid Services In Proceedings 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems WORDS 2005, February 2005, pp. 105-112.

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)
  • Nelly Delgado, Ann Q. Gates, Steve Roach A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools In IEEE Transactions on Software Engineering, 30(12), December 2004, 859-872.
  • Oscar Mondragon, Ann Q. Gates Supporting Elicitation and Specification of Software Properties through Patterns and Composite Propositions In International Journal on Software Engineering and Knowledge Engineering, 14(1):21-41, February 2004.
  • G. Randy Keller, et al. A Community Effort to Construct a Gravity Database for the United States and an Associated Web Portal In Geological Society of America Special Paper on Geoinformatics, 2004.
  • Raed Aldouri, et al. GEON: Geophysical Data Add the 3rd Dimension in Geospatial Studies In Proceedings of the ESRI User Conference, Aug. 2004.

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)
  • Ann Q. Gates, Oscar Mondragon, Fadi Kassem, Automated Support for Property Specification Based on Patterns In Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering, July 2003, pp. 174-181.
  • Oscar Mondragon, Ann Q. Gates, Steve Roach Prospec: Support for Elicitation and Formal Specification of Software Properties In Electronic Notes in Theoretical Computer Science, O. Sokolsky and V. Mahesh (eds.), 2003.
  • Ann Q. Gates, Oscar Mondragon, M. Payne, Steve Roach Instrumentation of Intermediate Code for Runtime Verification In Proceedings 28th Annual NASA Goddard/IEEE Software Engineering Workshop, December 2003.