Combinable Proof Fragments for the Web. Pinheiro Da Silva, P., McGuinness, L, D., & Fikes, R. Technical Report KSL-03-04, Knowledge Systems Laboratory, Stanford University, Stanford, CA, USA, January, 2003. bibtex @techreport{ pinheirodasilva2003:ksl04,
author = {{Pinheiro Da Silva}, Paulo and McGuinness, Deborah L and Fikes, Richard},
title = {{Combinable Proof Fragments for the Web}},
institution = {Knowledge Systems Laboratory, Stanford University},
year = {2003},
number = {KSL-03-04},
address = {Stanford, CA, USA},
month = {January},
keywords = {#InferenceWeb,#PML,#content,#entailment,#justification},
mendeley-tags = {#InferenceWeb,#PML,#content,#entailment,#justification}
}
Downloads: 0
{"_id":{"_str":"5218856caa2f288d1f0002ae"},"__v":7,"authorIDs":["546d98d7ec3c47a518000b01"],"author_short":["Pinheiro Da Silva, P.","McGuinness","L, D.","Fikes, R."],"bibbaseid":"pinheirodasilva-mcguinness-l-fikes-combinableprooffragmentsfortheweb-2003","bibdata":{"address":"Stanford, CA, USA","author":["Pinheiro Da Silva, Paulo","McGuinness","L, Deborah","Fikes, Richard"],"author_short":["Pinheiro Da Silva, P.","McGuinness","L, D.","Fikes, R."],"bibtex":"@techreport{ pinheirodasilva2003:ksl04,\n author = {{Pinheiro Da Silva}, Paulo and McGuinness, Deborah L and Fikes, Richard},\n title = {{Combinable Proof Fragments for the Web}},\n institution = {Knowledge Systems Laboratory, Stanford University},\n year = {2003},\n number = {KSL-03-04},\n address = {Stanford, CA, USA},\n month = {January},\n keywords = {#InferenceWeb,#PML,#content,#entailment,#justification},\n mendeley-tags = {#InferenceWeb,#PML,#content,#entailment,#justification}\n}","bibtype":"techreport","id":"pinheirodasilva2003:ksl04","institution":"Knowledge Systems Laboratory, Stanford University","key":"pinheirodasilva2003:ksl04","keywords":"#InferenceWeb,#PML,#content,#entailment,#justification","mendeley-tags":"#InferenceWeb,#PML,#content,#entailment,#justification","month":"January","number":"KSL-03-04","title":"Combinable Proof Fragments for the Web","type":"techreport","year":"2003","bibbaseid":"pinheirodasilva-mcguinness-l-fikes-combinableprooffragmentsfortheweb-2003","role":"author","urls":{},"keyword":["#InferenceWeb","#PML","#content","#entailment","#justification"],"downloads":0,"html":""},"bibtype":"techreport","biburl":"http://delicias.dia.fi.upm.es/prov-xgCURATED.bib","downloads":0,"keywords":["#inferenceweb","#pml","#content","#entailment","#justification"],"search_terms":["combinable","proof","fragments","web","pinheiro da silva","mcguinness","l","fikes"],"title":"Combinable Proof Fragments for the Web","title_words":["combinable","proof","fragments","web"],"year":2003,"dataSources":["drTBSwRdnSo2Wujnd"]}