2010 (1)
Leveraging The Open Provenance Model as a Multi-Tier Model for Global Climate Research Stephan; G, E.; Halter; D, T.; Ermold; and D, B. In Proc. of 3rd International Provenance and Annotation Workshop (IPAW'10), Troy, NY, 2010.
bibtex
  2009 (5)
Expressive Reusable Workflow Templates Gil, Y.; Groth, P.; Ratnakar, V.; and Fritz, C. In Proceedings of the Fifth IEEE International Conference on e-Science, Oxford, UK, 2009.
 [pdf]Paper   bibtex
Semantic History: Towards Modeling and Publishing Changes of Online Semantic Data Jie, B.; Ding, L.; McGuinness; and L, D. In The 2nd Social Data on the Web workshop (SDoW2009), 2009.
 [pdf]Paper   bibtex
You Are Where You Edit: Locating Wikipedia Contributors through Edit Histories and Jimmy Lin, .M‥ In The Third International Conference on Weblogs and Social Media, 2009.
bibtex
Towards the Explanation of workflow Michaelis; R, J.; Ding, L.; McGuinness; and L, D. In Proceedings of the IJCAI'09 Workshop on Explanation-Aware Computing., 2009.
bibtex
Towards Usable and Interoperable Workflow Provenance: Empirical Case Studies Using PML Michaelis; R, J.; Ding, L.; Shangguan, Z.; Zednik, S.; Huang, R.; da Silva; Pinheiro, P.; Rio; Del, N.; McGuinness; and L, D. In Proceedings of the First International Workshop on the role of Semantic Web in Provenance Management, pages TW--2009--20, 2009.
bibtex
  2008 (4)
Querying and Managing Provenance through User Views in Scientific workflow Biton, O.; Davidson; B, S.; Boulakia; Cohen, S.; Hara; and S, C. 2008.
 [4497516]Paper   bibtex   abstract
The Provenance of Electronic Data Moreau, L.; Groth, P.; Miles, S.; Vazquez, J.; Ibbotson, J.; Jiang, S.; Munroe, S.; Rana, O.; Schreiber, A.; Tan, V.; and Varga, L. Communications of the ACM, 51:52--58. 2008.
 [pdf]Paper   bibtex   abstract
User Interfaces for Portable Proofs Pinheiro Da Silva, P.; Del Rio, N.; McGuinness; L, D.; Ding, L.; Chang, C.; and Sutcliffe, G. In Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08), August 2008.
 [de/\~omega/workshops/uitp08/]Paper   bibtex
Presenting TSTP Proofs with Inference Web Tools Pinheiro Da Silva, P.; Sutcliffe, G.; Chang, C.; Ding, L.; Del Rio, N.; McGuinness; and L, D. In Schmidt, R.; Konev, B.; and Schulz, S., editor(s), Proceedings of the Workshop on Practical Aspects of Automated Reasoning, 4th International Joint Conference on Automated Reasoning, pages Accepted, Sydney, Australia, 2008.
bibtex
  2007 (6)
Probe-it! visualization support for provenance Del Rio, N.; and Pinheiro Da Silva, P. In Proceedings of the Second International Symposium on Visual Computing (ISVC 2), pages 732--741, Lake Tahoe, NV, 2007. Springer
bibtex
Explaining Complex Systems McGuinness; and L, D. In Semantic e-Science Workshop co-located with the Association for the Advancement of Artificial Intelligence Conference, 2007.
bibtex
PML 2: A Modular Explanation Interlingua McGuinness; L, D.; Ding, L.; Pinheiro Da Silva, P.; and Chang, C. In Proceedings of the AAAI'07 Workshop on Explanation-Aware Computing, 2007. Knowledge Systems Laboratory, Stanford University
bibtex
A Categorization of Explanation Questions for Task Processing Systems McGuinness; L, D.; Glass, A.; Wolverton, M.; and Pinheiro Da Silva, P. In Proceedings of the AAAI 2007 Workshop on Explanation-aware Computing, \Vancouver, British Columbia, Canada, July 2007.
bibtex
Explaining Task Processing in Cognitive Assistants that Learn McGuinness; L, D.; Glass, A.; Wolverton, M.; and Pinheiro Da Silva, P. In Proceedings of the 20th International FLAIRS Conference (FLAIRS-20), pages 284--289, 2007.
bibtex
Extracting Causal Graphs from an Open Provenance Data Model Miles, S.; Groth, P.; Munroe, S.; Jiang, S.; Assandri, T.; and Moreau, L. Concurrency and Computation: Practice and Experience, . 2007.
 [1236]Paper   bibtex
  2006 (5)
Provenance Explorer–Customized Provenance Views Using Semantic Inferencing Cheung, K.; and Hunter, J. In Procs. ISWC 2006, pages 215 -- 227, 2006.
 [pdf]Paper   bibtex
Knowledge-Worker Requirements for Next Generation Query Answering and Explanation Systems Cowell; J, A.; McGuinness; L, D.; Varley; F, C.; Thurman; and A, D. In Proceedings of the Workshop on Intelligent User Interfaces for Intelligence Analysis, International Conference on Intelligent User Interfaces (IUI 2006), Sydney, Australia, 2006.
bibtex
Explanation Interfaces for the Semantic Web: Issues and Models McGuinness; L, D.; Glass, A.; Ding, L.; Chang, C.; Zeng, H.; and Furtado, V. In Athens, Georgia, USA, November 2006.
bibtex
The Requirements of Using Provenance in e-Science Experiments Miles, S.; Groth, P.; Branco, M.; and Moreau, L. Journal of Grid Computing, 5(1):1--25. December 2006.
 [1007/s10723-006-9055-3]Paper   bibtex   abstract
WebExplain: A UPML Extension to Support the Development of Explanations in the Web for Knowledge-Based Systems Pinheiro, V.; Furtado, V.; Pinheiro Da Silva, P.; McGuinness; and L, D. In Proceedings of the the Eighteenth International Conference on Software Engineering and Knowledge Engineering, San Francisco, CA, July 2006.
bibtex
  2005 (2)
Encoding Extraction as Inferences Murdock; William, J.; Pinheiro Da Silva, P.; Ferrucci; A, D.; Welty; A, C.; McGuinness; and L, D. In Proc. of AAAI Spring Symposium on Metacognition on Computation, pages 92--97, Stanford University, USA, 2005. AAAI Press
bibtex
Web Explanations for Semantic Heterogeneity Discovery Shvaiko, P.; Giunchiglia, F.; Pinheiro Da Silva, P.; McGuinness; and L, D. In Proceedings of the 2nd European Semantic Web Conference (ESWC 2005), Heraklion, Greece, May 2005. Springer
bibtex
  2004 (2)
IW-Base: Provenance Metadata Infrastructure for Explaining and Trusting Answers from the Web McGuinness; L, D.; Pinheiro Da Silva, P.; and Chang, C. Technical Report KSL-04-07, Knowledge Systems Laboratory, Stanford University, 2004.
bibtex
Towards Explainig Semantic Matching McGuinness; L, D.; Shvaiko, P.; Giunchiglia, F.; and Pinheiro Da Silva, P. In Haarslev, V.; and M̈oller, R., editor(s), Proceedings of the 2004 International Workshop on Description Logics, volume 104. CEUR-WS, June 2004.
 [pdf]Paper   bibtex   buy
  2003 (3)
Inference Web: Portable Explanations for the Web McGuinness; L, D.; and Pinheiro Da Silva, P. Technical Report Knowledge Systems Laboratory, Stanford University, 2003.
bibtex
Inference Web: Portable and Sharable Explanations for Question Answering McGuinness; L, D.; and Pinheiro Da Silva, P. In Proc. of the AAAI Spring Symposium Workshop on New Directions for Question Answering, pages 67--71, Stanford, CA, USA, March 2003. AAAI Press
bibtex
Knowledge Provenance Infrastructure Pinheiro Da Silva, P.; McGuinness; L, D.; and McCool, R. IEEE Data Engineering Bulletin, 25(2):179--227. December 2003.
bibtex
  2002 (1)
WhyNot: Debugging Failed Queries in Large Knowledge Bases Chalupsky, H.; and Russ, T. In Proc. of the 14th Innovative Applications of Artificial Intelligence Conference (IAAI-02), pages 870--877, 2002.
bibtex
  1997 (1)
Proof Verbalization as an Application of NLG Huang, X.; and Fiedler, A. In Proc. of the 15th International Joint Conference on Artificial Intelligence, pages 965--972, Nagoya, Japan, 1997. Morgan Kaufmann
bibtex
  1991 (1)
Explanations in Knowledge Systems: Design for Explainable Expert Systems Swartout, W.; Paris, C.; and Moore, J. IEEE Intelligent Systems, . June 1991.
 [htm]Paper   bibtex
  1989 (1)
A Reactive Approach to Explanation Moore; D, J.; Swartout; and R, W. In Proc. of the 11th International Joint Conference on Artificial Intelligence, pages 1504--1510, Detroit, MI, USA, August 1989. Morgan Kaufmann
bibtex