PPDR: A Proof Protocol for Deductive Reasoning. Pinheiro Da Silva, P., Hayes, P., McGuinness, L, D., & Fikes, R. Technical Report KSL-04-04, Knowledge Systems Laboratory, Stanford University, Stanford, CA, USA, March, 2004.
@techreport{ pinheirodasilva2004:PPDR,
  author = {{Pinheiro Da Silva}, Paulo and Hayes, Patrick and McGuinness, Deborah
	L and Fikes, Richard},
  title = {{PPDR: A Proof Protocol for Deductive Reasoning}},
  institution = {Knowledge Systems Laboratory, Stanford University},
  year = {2004},
  number = {KSL-04-04},
  address = {Stanford, CA, USA},
  month = {March},
  file = {:C$\backslash$:/Users/Dani/AppData/Local/Mendeley Ltd./Mendeley Desktop/Downloaded/Pinheiro Da Silva et al. - 2004 - PPDR A Proof Protocol for Deductive Reasoning.pdf:pdf},
  keywords = {#InferenceWeb,#content,#entailment,#explanation,#justification},
  mendeley-tags = {#InferenceWeb,#content,#entailment,#explanation,#justification}

Downloads: 0