2009 (1)
Twitter Iran RT chaos Dan Brinkley 2009.
 [org/words/2009/06/16/415]Paper   bibtex mark as read
  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 mark as read
  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 mark as read
  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, page 92--97, Stanford University, USA, 2005. AAAI Press
bibtex mark as read
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 mark as read
  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 mark as read
  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 mark as read
Knowledge Provenance Infrastructure Pinheiro Da Silva, P.; McGuinness; L, D.; and McCool, R. IEEE Data Engineering Bulletin, 25(2):179--227. December 2003.
bibtex mark as read