2009 (1)
Twitter Iran RT chaos Dan Brinkley 2009.
Twitter Iran RT chaos [link]Paper   bibtex
  2007 (1)
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
  2006 (1)
A Proof Markup Language for Semantic Web Services Pinheiro Da Silva, P.; McGuinness; L, D.; and Fikes, R. Information Systems, 31(4-5):381--395. 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
Towards Checking Hybrid Proofs Pinheiro Da Silva, P.; Hayes, P.; McGuinness; L, D.; Fikes, R.; and Deshwal, P. Technical Report KSL-05-01, Knowledge Systems Laboratory, Stanford University, Stanford, CA, USA, 2005.
bibtex
  2004 (1)
PPDR: A Proof Protocol for Deductive Reasoning Pinheiro Da Silva, P.; Hayes, P.; McGuinness; L, D.; and Fikes, R. Technical Report KSL-04-04, Knowledge Systems Laboratory, Stanford University, Stanford, CA, USA, March 2004.
bibtex
  2003 (2)
Combinable Proof Fragments for the Web Pinheiro Da Silva, P.; McGuinness; L, D.; and Fikes, R. Technical Report KSL-03-04, Knowledge Systems Laboratory, Stanford University, Stanford, CA, USA, January 2003.
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