Publications

From Inference Web

Jump to: navigation, search

Contents

Selected References

This is a selection of PML-related publications highlighting key PML features and applications.

PML Theory and Infrastructure
  • Inference Web (infrastructure in support of PML)
    • 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., pages 397-413, October 2004. PDF
    • 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
    • Paulo Pinheiro da Silva and Deborah L. McGuinness and Nicholas Del Rio and Li Ding. Inference Web in Action: Lightweight Use of Proof Markup Language, In International Semantic Web Conference, pp. 847-860, 2008. PDF
  • PML (v1 - proof theory foundations; v2 - modular ontologies)
    • Paulo Pinheiro da Silva and Deborah L. McGuinness and Richard Fikes. A Proof Markup Language for Semantic Web Services. Information Systems. Volume 31, Issues 4-5, June-July 2006, Pages 381-395. PDF
    • Deborah L. McGuinness and Li Ding and Paulo Pinheiro da silva and Cynthia Chang. PML 2: A Modular Explanation Interlingua. In Proceedings of the AAAI'07 Workshop on Explanation-Aware Computing, July, 2007. PDF
PML Applications
  • PML encoding of provenance for extracted information/knowledge
    • 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
  • PML encoding of provenance for agent behavior
    • 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. PDF
  • PML encoding of spatial information provenance
    • 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
  • PML-based trust computation
    • 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. PDF
  • PML visualization
    • 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
    • Paulo Pinheiro da Silva, Nicholas Del Rio, Deborah McGuinness, Li Ding, Cynthia Chang and Geoff Sutcliffe. User Interfaces for Portable Proofs. In Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08), Friday, 22nd August 2008, Montreal, Quebec, Canada. PDF
  • PML and TPTP
    • Geoff Sutcliffe, Cynthia Chang, Li Ding, Deborah McGuinness,Paulo Pinheiro da Silva, Different Proofs are Good Proofs, ESM-QMS workshop, 2010. PDF


Refereed Publications

Journal Articles

  • Paulo Pinheiro da Silva, Deborah L. McGuinness and Richard Fikes. A Proof Markup Language for Semantic Web Services. Information Systems. Volume 31, Issues 4-5, June-July 2006, Pages 381-395. Previous version, technical report, Knowledge Systems Laboratory, Stanford University. (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., pages 397-413, October 2004. (PDF)
  • 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)
  • Alyssa Glass, Deborah L. McGuinness, Paulo Pinheiro da Silva, and Michael Wolverton. Trustable Task Processing Systems. In Roth-Berghofer, T., and Richter, M.M., editors, KI Journal, Special Issue on Explanation, Kunstliche Intelligenz, 2008. (PDF)
  • Paulo Pinheiro da Silva, Leonardo Salayandia, Aida Gandara, Ann Q. Gates. CI-Miner: Semantically Enhancing Scientific Processes. In Earth Science Informatics, 2(4): 249-269, 2009. (PDF)

Conference Publications and Book Chapters

  • 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)
  • Li Ding and Tim Finin, Characterizing the Semantic Web on the Web, The 5th International Semantic Web Conference(ISWC2006), Athens, Georgia, USA, November 5th - 9th, 2006. (PDF) (PPT)
  • Vasco Furtado, Paulo Pinheiro da Silva, and Deborah L. McGuinness. WebExplain: A UPML Extension to Support the Development of Explanations in the Web for Knowledge-Based Systems. Proceedings of the Eighteenth International Conference on Software Engineering and Knowledge Engineering. San Francisco, CA, July 5-7, 2006. SEKE2006.
  • 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. (DOC)
  • 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, 2005. (Abstract) (PDF)
  • Ilya Zaihrayeu, Paulo Pinheiro da Silva and Deborah L. McGuinness. IWTrust: Improving User Trust in Answers from the Web. Proceedings of 3rd International Conference on Trust Management (iTrust2005), Springer, Rocquencourt, France, 2005. (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 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 Is., FL, USA. Springer, pages 113-129, October 2003. (Abstract) (PDF) (PS)

Refereed Workshop Publications

  • Sutcliffe, G. and Chang, C. and McGuinness, D. and Ding, L. and Lebo, T. and Pinheiro da Silva, P. Combining Proofs to form Different Proofs, in Proceedings of the 1st Workshop on Proof eXchange for Theorem Proving. eds. Fontaine, P. and Stump, A. 2011
  • Paulo Pinheiro da Silva, Leonardo Salayandia, Nicholas Del Rio, and Ann Q. Gates. On the Use of Abstract Workflows to Capture Scientific Process Provenance, In The 2nd Workshop on the Theory and Pratice of Provenance (TaPP'10) at USENIX, San Jose, CA, February 2010.
  • Nicholas Del Rio, Paulo Pinheiro da Silva, Raed Aldouri. Identifying and Explaining Map Quality Through Provenance: A User Study. In Proceedings of IJCAI 2009 Workshop on Explanation-Aware Computing (ExACT 2009), Pasadena, CA, USA, July 11-13, 2009.
  • Deborah L. McGuinness. Ontologies are Everywhere - Now What?. Keynote presentation for ARCOE 2009 - Automated Reasoning, Context and Ontology Evolution - co-located with IJCAI 2009, Pasadena, CA, July 12, 2009.
  • Paulo Pinheiro da Silva, Vladik Kreinovich, and Christian Servin. Maximum Entropy in Support of Semantically Annotated Datasets. In Proceedings of the 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW'08), 2008, Karlsruhe, Germany. (PDF)
  • Paulo Pinheiro da Silva, Nicholas Del Rio, Vladik Kreinovich, and Alejandro Castaneda. TrustMap: Towards Trust Recommendations for Maps. In Proceedings of the Terra Cognita 2008 Workshop, October 26, 2008, Karlsruhe, Germany. (PDF)
  • Deborah L. McGuinness. Explaining Complex Systems. Semantic e-Science Workshop co-located with the Association for the Advancement of Artificial Intelligence Conference, Vancouver, British Columbia, Canada, July 23, 2007. (PPT)
  • Deborah L. McGuinness, Alyssa Glass, Michael Wolverton and Paulo Pinheiro da Silva. A Categorization of Explanation Questions for Task Processing Systems. AAAI 2007 Workshop on Explanation-aware Computing, Vancouver, British Columbia, Canada, July 2007. (Abstract) (PPT)
  • Deborah L. McGuinness, Li Ding, Paulo Pinheiro da silva, Cynthia Chang. PML 2: A Modular Explanation Interlingua. AAAI 2007 Workshop on Explanation-aware Computing, Vancouver, British Columbia, Canada, July 2007. (Abstract) (PPT)
  • Deborah L. McGuinness, Alyssa Glass, Michael Wolverton and Paulo Pinheiro da Silva. Explaining Task Processing in Cognitive Assistants That Learn. Proceedings of the AAAI 2007 Spring Symposium on Interaction Challenges for Intelligent Assistants, March 2007. (Abstract) (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)
  • Deborah L. McGuinness, Li Ding, Alyssa Glass, Cynthia Chang, Honglei Zeng and Vasco Furtado. Explanation Interfaces for the Semantic Web: Issues and Models. Presented in the 3rd International Semantic Web User Interaction Workshop(SWUI'06), Co-located with the International Semantic Web Conference, Athens, Georgia, USA, November 6, 2006. (Abstract) (PDF) (PPT) (Poster)
  • 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. WWW2006 Workshop on the Models of Trust for the Web (MTW'06), Edinburgh, Scotland, May 22, 2006. (Abstract) (PDF) (PPT)
  • Daniel J. Weitzner, Hal Abelson, Tim Berners-Lee, Chris P. Hanson, Jim Hendler, Lalana Kagal, Deborah L. McGuinness, Gerald J. Sussman, K. Krasnow Waterman. Transparent Accountable Inferencing for Privacy Risk Management. Proceedings of AAAI Spring Symposium on The Semantic Web meets eGovernment. AAAI Press, Stanford University, USA 2006. Also available as MIT CSAIL Technical Report-2006-007 and Stanford KSL Technical Report KSL-06-03. (Abstract) (PDF)
  • Andrew. J. Cowell, Deborah L. McGuinness, Carrie F. Varley, and David A. Thurman. Knowledge-Worker Requirements for Next Generation Query Answering and Explanation Systems. In the Proceedings of the Workshop on Intelligent User Interfaces for Intelligence Analysis, International Conference on Intelligent User Interfaces (IUI 2006), Sydney, Australia. (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)
  • 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 and Paulo Pinheiro da Silva. Registry-Based Support for Information Integration. In Proceedings of IJCAI-2003's Workshop on Information Integration on the Web (IIWeb-03), S. Kambhampati and C. Knoblock (Eds.), Acapulco, Mexico, pages 117-122 August 2003. (Abstract) (PDF)
  • Deborah L. McGuinness and Paulo Pinheiro da Silva. Inference Web: Portable and Shareable Explanations for Question Answering. In Proceedings of the American Association for Artificial Intelligence Spring Symposium Workshop on New Directions for Question Answering. Stanford University, Stanford, CA. pages 67-71, AAAI Press, March 2003. (Abstract)
  • Deborah L. McGuinness. Knowledge Representation for Question Answering. In Proceedings of the American Association for Artificial Intelligence Spring Symposium Workshop on New Directions for Question Answering. Stanford University, Stanford, CA. pages 75-77, AAAI Press, March 2003. (Abstract)

Other Publications

Technical Reports

  • 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. (PDF)
  • Deborah L. McGuinness, Paulo Pinheiro da Silva, J. William Murdock and David Ferrucci. Exposing Extracted Knowledge Supporting Answers. Technical Report KSL-05-03, Knowledge Systems Laboratory, Stanford University, USA, 2005. (Abstract)
  • 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)
  • 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)
  • 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)
  • 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
  • Paulo Pinheiro da Silva, Deborah L. McGuinness and Richard Fikes. Combinable Proof Fragments for the Web. Technical Report KSL-03-04, Knowledge Systems Laboratory, Stanford University, USA, 2003. (Abstract
  • 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


Posters

  • Deborah L. McGuinness, Alyssa Glass, and Michael Wolverton. Toward Establishing Trust in CALO. DARPA CALO PI Meeting, Menlo Park, CA, USA, February 2008. (PPT)
  • Deborah L. McGuinness, Alyssa Glass, and Michael Wolverton. Explaining Cognitive Assistants that Learn: CALO Year 3 ICEE Advances DARPA CALO PI Meeting, Menlo Park, CA, USA, January 2007. (PDF)
  • Deborah L. McGuinness, Paulo Pinheiro da Silva, Alyssa Glass, and Michael Wolverton. Explainable Cognitive Assistants. DARPA CALO PI Meeting, Menlo Park, CA, USA, October 2005. (PPT) (PDF)
  • Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes et al. Inference Web: OWL-Based Support for Proofs. DARPA DAML PI Meeting, San Antonio, TX, USA, November 2004. (PPT)
  • Daniel J. Mandell, Sheila McIlraith, Deborah L. McGuinness and Paulo Pinheiro da Silva. BPEL4WS : An Explainable Dynamic Discovery and Translation Service. DARPA DAML PI Meeting, San Antonio, TX, USA, November 2004. (PPT)
  • Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes, Priyendra Deshwal Towards Explaining CALO-QM Answers. DARPA CALO PI Meeting, SRI International, Menlo Park, CA, USA, May 2004. (PPT)
  • Deborah McGuinness, Paulo Pinheiro da Silva, Richard Fikes, Cynthia Chang, Priyendra Deshwal, Baloglu Kaan, Jessica Jenkins. Inference Web: OWL-Based Support for Proofs. DARPA DAML PI Meeting, New York, NY, USA, May 2004. (PPT)
  • Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro da Silva, Deborah L. McGuinness. Explanations for Semantic Heterogeneity Discovery. In International Semantic Web Conference 2004, Hiroshima, Japan, November 2004. (PPT)
  • Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes, Jessica Jenkins, Bill MacCartney, Rob McCool and Natasha Noy. Scaling Answer Explanations for the Semantic Web. DARPA DAML PI Meeting, Oct 2003, Captiva Island, FL, USA. (PPT)
  • Deborah L. McGuinness and Paulo Pinheiro da Silva Registry-Based Support for Information Integration. Proceedings of IJCAI-2003's Workshop on Information Integration on the Web (IIWeb-03), Acapulco, Mexico, August 2003. (PPT)
  • Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes, Jessica Jenkins, Bill MacCartney, Gleb Frank and Rob McCool. Inference Web: Portable and Sharable Proofs for Hybrid Systems. DARPA RKF PI Meeting, May 2003, San Diego, CA, USA. (PPT)
  • Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes, Jessica Jenkins and Gleb Frank. Inference Web: Portable and Sharable Explanations for Question Answering. AAAI Spring Symposium Workshop on New Directions for Question Answering, March 2003. Stanford University, Stanford, CA, USA. (PPT)
  • Deborah L. McGuinness, Paulo Pinheiro da Silva, Richard Fikes, Jessica Jenkins and Gleb Frank. Inference Web: Explanations on the Semantic Web. DARPA DAML PI Meeting, October 2002, Portland, OR, USA. (PPT)

Presentations

  • Fox, P., McGuinness, D., Garcia, J., Zednik, S., & Ding, L. (June 11, 2008). Semantic Provenance for Image Data Processing. In: Geoinformatics 2008
  • Deborah McGuinness, Li Ding. Explanation in GILA Phase II. Presented at the DARPA Integrated Learning PI Meeting, Washington DC., January 15, 2008. (PPT)
  • Deborah McGuinness, Alyssa Glass, Michael Woverton. Explaining Cognitive Assistants that Learn. Presented at the DARPA PAL Cognitive Assistant that Learns PI Meeting in the Process Execution Assistant Meeting. SRI International, Menlo Park, CA., January 22, 2007. (PPT)
  • Li Ding, Enhancing Web-scale Semantic Web Data Access, logic group meeting, Stanford, CA, Nov 15, 2006. (PPT)
  • Li Ding, Deborah L. McGuinness, Tim Finin, Anupam Joshi. Semantic Web Technologies: A Tutorial. Kodak Research Laboratories, Rochester, NY, July 18, 2006. (Abstract) (PPT)
  • Deborah L. McGuinness, Li Ding, Cynthia Chang, Vasco Furtado. Explanation Infrastructure Supporting Transparency and Accountability. *Portia*/*Tami* Workshop on Privacy and Accountability, MIT, Cambridge Mass., June 28, 2006. (PPT)
  • Alyssa Glass. Explaining Task Processing in Cognitive Agents. Presented to Stanford Logic Lunch, March 22, 2006. (PPT)
  • Deborah McGuinness, Paulo Pinheiro da Silva, Cynthia Chang, Bill Millar, Li Ding, Dhyanesh Narayanan, Honglei Zeng, Mayukh Bhaoval, Selene Makarios, Richard Fikes, Andrew Cowell, Dave Thurman, Alan Chappell, Liam McGrath, Bill Murdock, Chris Welty, Dave Ferrucci. Towards Trustable, Explainable Answers from Intelligence Tools. Final NIMD Site Visit, Seattle Washington, March 15, 2006. (PPT)
  • Deborah McGuinness, Paulo Pinheiro da Silva, Cynthia Chang, Bill Murdock. Recording Provenance for UIMA Components. UIMA Working Group Meeting, IBM Watson Research Center in Hawthorne, NY., Nov 10, 2005. (PPT)
  • Deborah McGuinness, Paulo Pinheiro da Silva, Cynthia Chang, Bill Millar, Li Ding, Dhyanesh Narayanan, Selene Makarios, Richard Fikes, Alan Chappell, Liam McGrath, Bill Murdock. Explaining KANI Answers. NIMD Site Visit, Stanford California, Nov 1, 2005. (PPT)
  • Deborah L. McGuinness, Paulo Pinheiro da Silva, Li Ding, Cynthia Chang. Enabling Explanations: The Inference Web and PML Approach. MIT Notions and Notations Invited Presenation, Cambridge, Mass. October 26, 2005. (PPT)
  • Deborah L. McGuinness. Next Generation Knowledge Systems. Research Topics Seminar, Stanford, CA. October 19, 2005. (PPT)
  • Deborah L. McGuinness. Increasing Trust in Answers from Intelligence Applicaions: The Inference Web Approach. Invited Talk, Pacific Northwest Research Center, Richland, Washington, August 5, 2005. (PPT)
  • Deborah L. McGuinness. Increasing Trust in Answers from Intelligence Applicaions: The Inference Web Approach. Transparent Accountable Data Mining Kickoff Meeting, Cambridge Mass, August, 2005. (PPT)
  • Paulo Pinheiro da Silva. Explainable Systems: The Inference Web Approach. Invited Talk, Knowledge Media Institute, Open University, Milton Keynes, UK, 2005. (PPT)
  • Deborah L. McGuinness. Why Should You Trust Answers from the Web. Invited talk for the Joint Conference on Information Sciences,Web Intelligence and Security Track, Salt Lake City, Utah, July 23, 2005. A paper accompanies this talk. (PPT)
  • Deborah L. McGuinness. Next Generation Scientific Digital Libraries: (or The Semantic Web and Digital Libraries as Knowledge Systems). Invited talk for Digital Libraries: Cyberinfrastructure for Research and Education (JCDL2005). International Scientific Data, Standards, and Digital Libraries Track. Denver, Colorado, June 11, 2005. (PPT)
  • Deborah L. McGuinness. Semantically-Enabled Explanations of Text Analysis Results. Invited talk for the Department of Homeland Security Advanced Scientific Computing Program Text Analysis Workshop, Alexandria, Virginia, May 25, 2005. (PPT)
  • Deborah L. McGuinness. The Substance of the Semantic Web. Invited talk for the Semantic Web Applications for National Security. Washington, DC, April 7, 2005.
  • Ilya Zaihrayeu, Paulo Pinheiro da Silva and Deborah L. McGuinness. IWTrust: Improving User Trust in Answers from the Web. Proceedings of 3rd International Conference on Trust Management (iTrust2005), Springer, Rocquencourt, France, 2005. (PPT)
  • Deborah L. McGuinness, Dan Mandell, Sheila Mcllraith, Paulo Pinheiro da Silva. Explainable Semantic Discovery Services. Stanford Networking Research Center Project Review, February 17, 2005, Stanford, CA (PPT)
  • Deborah McGuinness, Richard Fikes, Sheila Mcllraith, Paulo Pinheiro da Silva. Tools for DAML-Based Service, Document Templates, and Query Answering, DARPA DAML PI Meeting, San Antonio, TX, November 30, 2004. (PPT)
  • Deborah L. McGuinness and Paulo Pinheiro da Silva. OWL-Based Proofs and Explanations for Answers from Semantic Web Applications & Services, DARPA DAML PI Meeting, San Antonio, TX, November, 2004. (PPT)
  • Daniel J. Mandell, Deborah L. McGuinness, Sheila Mcllraith and Paulo Pinheiro da Silva. Explainable Semantic Discovery Services, DARPA DAML PI Meeting, San Antonio, TX, November, 2004. (PPT)
  • Deborah McGuinness. Explaining Information. New Paradigms in Using Computers , Amaden, CA. August 4, 2004. (PPT)
  • Paulo Pinheiro da Silva and Deborah L. McGuinness. Inference Web: Infrastructure for Web Explanations. UFMG, Belo Horizonte, MG, Brazil, August 2004. (PPT)
  • Deborah L. McGuinness and Paulo Pinheiro da Silva. Increasing Trust of Text Analytics Results (or Explanation of UIMA using Inference Web) DARPA Unstructured Information Management Architecture workshop. Palisades NY June 17-18, 2004 (PPT)
  • Deborah L. McGuinness and Paulo Pinheiro da Silva. Explanation Infrastructure for KANI ARDA NIMD, IBM Site Visit, Hawthorn, NY, USA. February 2004. (PPT) (Demo)
  • Deborah L. McGuinness and Paulo Pinheiro da Silva. Explanation Infrastructure for KANI ARDA NIMD, Stanford University Site Visit, Stanford, CA, USA. February 2004. (PPT)
  • Deborah L. McGuinness and Richard Fikes. DAML Query. DARPA DAML PI Meeting, Capitiva Island, FL, USA. October 2003. (PPT)
  • Deborah L. McGuinness, Paulo Pinheiro da Silva and Bill MacCartney. Inference Web: Portable and Sharable Proofs for Hybrid Systems. DARPA RKF PI Meeting, May 2003, San Diego, CA, USA. (PPT)
  • Deborah L. McGuinness and Paulo Pinheiro da Silva. Explanations in Support of NIMD: Inference Web. ARDA NIMD Site Visit, April 16 2003, Stanford, CA, USA. (PPT)
  • Deborah L. McGuinness and Paulo Pinheiro da Silva. Inference Web: Portable and Sharable Explanations for Question Answering. AAAI Spring Symposium Workshop on New Directions for Question Answering, March 2003. Stanford University, Stanford, CA, USA. (PPT)
  • Deborah L. McGuinness and Paulo Pinheiro da Silva. Inference Web: A Path to Interperable, Trustable, and Understandable Reasoning Systems. DARPA RKF PI Meeting, November 13-15 2002, Hilton Head, NC, USA. (PPT)
  • Deborah L. McGuinness. Explanation for Query Answering. American Association for Artificial Intelligence Spring Symposium Series Meeting on Mining Answers from Texts and Knowledge Bases. March 26, 2002. (PPT)
  • Deborah L. McGuinness. Explanation for Query Answering. DARPA RKF PI Meeting, February 27 - March 1, 2002, USA. (PPT)
Personal tools
Navigation