2005 (1)
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 (1)
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