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. bibtex @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
{"_id":{"_str":"5218856caa2f288d1f0002ad"},"__v":7,"authorIDs":["546d98d7ec3c47a518000b01"],"author_short":["Pinheiro Da Silva, P.","Hayes, P.","McGuinness","L, D.","Fikes, R."],"bibbaseid":"pinheirodasilva-hayes-mcguinness-l-fikes-ppdraproofprotocolfordeductivereasoning-2004","bibdata":{"address":"Stanford, CA, USA","author":["Pinheiro Da Silva, Paulo","Hayes, Patrick","McGuinness","L, Deborah","Fikes, Richard"],"author_short":["Pinheiro Da Silva, P.","Hayes, P.","McGuinness","L, D.","Fikes, R."],"bibtex":"@techreport{ pinheirodasilva2004:PPDR,\n author = {{Pinheiro Da Silva}, Paulo and Hayes, Patrick and McGuinness, Deborah\r\n\tL and Fikes, Richard},\n title = {{PPDR: A Proof Protocol for Deductive Reasoning}},\n institution = {Knowledge Systems Laboratory, Stanford University},\n year = {2004},\n number = {KSL-04-04},\n address = {Stanford, CA, USA},\n month = {March},\n 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},\n keywords = {#InferenceWeb,#content,#entailment,#explanation,#justification},\n mendeley-tags = {#InferenceWeb,#content,#entailment,#explanation,#justification}\n}","bibtype":"techreport","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","id":"pinheirodasilva2004:PPDR","institution":"Knowledge Systems Laboratory, Stanford University","key":"pinheirodasilva2004:PPDR","keywords":"#InferenceWeb,#content,#entailment,#explanation,#justification","mendeley-tags":"#InferenceWeb,#content,#entailment,#explanation,#justification","month":"March","number":"KSL-04-04","title":"PPDR: A Proof Protocol for Deductive Reasoning","type":"techreport","year":"2004","bibbaseid":"pinheirodasilva-hayes-mcguinness-l-fikes-ppdraproofprotocolfordeductivereasoning-2004","role":"author","urls":{},"keyword":["#InferenceWeb","#content","#entailment","#explanation","#justification"],"downloads":0,"html":""},"bibtype":"techreport","biburl":"http://delicias.dia.fi.upm.es/prov-xgCURATED.bib","downloads":0,"keywords":["#inferenceweb","#content","#entailment","#explanation","#justification"],"search_terms":["ppdr","proof","protocol","deductive","reasoning","pinheiro da silva","hayes","mcguinness","l","fikes"],"title":"PPDR: A Proof Protocol for Deductive Reasoning","title_words":["ppdr","proof","protocol","deductive","reasoning"],"year":2004,"dataSources":["drTBSwRdnSo2Wujnd"]}