Knowledge Provenance Infrastructure. Pinheiro Da Silva, P.; McGuinness; L, D.; and McCool, R. 2003. IEEE Data Engineering Bulletin, 25(2):179--227, December.

A Proof Markup Language for Semantic Web Services. Pinheiro Da Silva, P.; McGuinness; L, D.; and Fikes, R. 2006. Information Systems, 31(4-5):381--395.

PML 2: A Modular Explanation Interlingua.. McGuinness; L, D.; Ding, L.; Pinheiro Da Silva, P.; and Chang, C. 2007. In Proceedings of the AAAI'07 Workshop on Explanation-Aware Computing, Knowledge Systems Laboratory, Stanford University.

Towards Checking Hybrid Proofs. Pinheiro Da Silva, P.; Hayes, P.; McGuinness; L, D.; Fikes, R.; and Deshwal, P. 2005. Knowledge Systems Laboratory, Stanford University, Technical Report KSL-05-01.

Combinable Proof Fragments for the Web. Pinheiro Da Silva, P.; McGuinness; L, D.; and Fikes, R. 2003. Knowledge Systems Laboratory, Stanford University, Technical Report KSL-03-04, January.

Encoding Extraction as Inferences. Murdock; William, J.; Pinheiro Da Silva, P.; Ferrucci; A, D.; Welty; A, C.; McGuinness; and L, D. 2005. In Proc. of AAAI Spring Symposium on Metacognition on Computation, 92--97, AAAI Press, Stanford University, USA.

Twitter Iran RT chaos. Dan Brinkley 2009.

PPDR: A Proof Protocol for Deductive Reasoning. Pinheiro Da Silva, P.; Hayes, P.; McGuinness; L, D.; and Fikes, R. 2004. Knowledge Systems Laboratory, Stanford University, Technical Report KSL-04-04, March.

Statistics: ? unique visitors, ? downloads | Link To This Page.