#Access_Control,#Data_Provenance,#disease_outbreak,#accountability,#attribution,complex values,data provenance,semirings,xml,xquery (1)
Annotated XML : Queries and Provenance Foster; Nathan, J.; Green; J, T.; and Tannen, V. In pages 271--280, 2008.
bibtex
  #Access_Control,#attribution,#content,#Data_Provenance,#disease_outbreak,#Trust_Assessment,abilistic databases,all four cases,data lineage,data provenance,datalog,formal power series,incomplete databases,prob-,semirings,the calculations with an-,we observe that in (1)
Provenance Semirings Green, T. J.; Karvounarakis, G.; and Tannen, V. In PODS, pages 31--40, 2007.
bibtex
  #Business_Contract (4)
Capturing design rationale Bracewell, R.; Wallace, K.; Moss, M.; and Knott, D. Computer-Aided Design, 41(3):173--186. 2009.
bibtex
A Unified Approach for Representing Metametadata Eckert, K.; Pfeffer, M.; and Stuckenschmidt, H. In Proceedings of the 2009 Dublin Core Conference, Seoul, South Korea, 2009.
A Unified Approach for Representing Metametadata [link]Paper   bibtex
Toyota recalls 2.3m US vehicles News, B. 2010.
Toyota recalls 2.3m US vehicles [link]Paper   bibtex
Strategies for the Curation of CAD Engineering Models Patel, M.; Ball, A.; and Ding, L. International Journal of Digital Curation, 4(1):84--97. 2008.
bibtex
  #Business_Contract,#IQ,#PV,#RDF_Provenance,#linkeddata,#trust,#use,#provenance (1)
Using Web Data Provenance for Quality Assessment Hartig, O.; and Zhao, J. In Proceedings of the 1st Int. Workshop on the Role of Semantic Web in Provenance Management (SWPM) at ISWC, Washington, USA, 2009.
bibtex
  #Business_Contract,#News_Aggregator,#access,#license,#management (1)
liblicense Creative Commons 2009.
liblicense [link]Paper   bibtex   abstract
  #Business_Contract,#disease_outbreak,#News_Aggregator,#comparison,#content,#interoperability,#object,#OPM,#process,#use,#workflow,#workflow-provenance (1)
The open provenance model core specification (v1.1) Moreau, L.; Clifford, B.; Freire, J.; Futrelle, J.; Gil, Y.; Groth, P.; Kwasnikowska, N.; Miles, S.; Missier, P.; Myers, J.; Plale, B.; Simmhan, Y.; Stephan, E.; and Van den Bussche, J. Future Generation Computer Systems, . July 2010.
The open provenance model core specification (v1.1) [link]Paper   bibtex
  #Business_Contract,#disease_outbreak,#workflow,#workflow (1)
Scientific versus Business workflow Barga, R.; and Gannon, D. In workflow for e-Science, 2007.
Scientific versus Business workflow [pdf]Paper   bibtex
  #Business_Contract,#process,#trust,#use (1)
Determining the Trustworthiness of New Electronic Contracts Groth, P.; Miles, S.; Modgil, S.; Oren, N.; Luck, M.; and Gil, Y. In Proceedings of the Tenth Annual Workshop on Engineering Societies in the Agents' World, (ESAW-09), Utrecht, The Netherlands, 2009.
bibtex
  #Business_Contract,#provenance (1)
A Provenance-Aware Weighted Fault Tolerance Scheme for Service-Based Applications Townend, P.; Groth, P.; and Xu, J. In Proc. of the 8th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2005), 2005.
bibtex
  #DC,#content (1)
Draft DCMI Open Metadata Registry Functional Requirements Heery, R. October 2001.
bibtex
  #DC,#disease_outbreak,#News_Aggregator,#PV,#RDF_Provenance,#attribution,#content,#linkeddata,#object,#process,#provenance (1)
Provenance Information in the Web of Data Hartig, O. In Proceedings of the Linked Data on the Web (LDOW) Workshop at WWW, Madrid, Spain, 2009.
bibtex
  #Data_Provenance,#disease_outbreak,#RDF_Provenance,#SPARQL,#Trust_Assessment,#accountability,#attribution,#content (1)
On Provenance of Queries on Linked Web Data Theoharis, Y., Fundulaki, I., Karvounarakis, G., Christophides, V. 2010.
bibtex
  #Data_Provenance,#disease_outbreak,#accountability,#data_integration,collaborative data sharing,data exchange,data integration,update exchange,view maintenance,view update (1)
Bidirectional Mappings for Data and Update Exchange Ives, Zachary, Karvounarakis, G. In WebDB, 2008.
bibtex
  #Data_Provenance,#disease_outbreak,#accountability,#databases (1)
Containment of conjunctive queries on annotated relations Green, T. J. Proceedings of the 12th International Conference on Database Theory - ICDT '09, 00:296. 2009.
Containment of conjunctive queries on annotated relations [link]Paper   bibtex
  #DescriptionLogic,#Entailment,#Explanation,#Justification,#proof_theory (2)
Explaining Reasoning in Description Logics McGuinness; and L, D. Ph.D. Thesis, Rutgers University, 1996.
bibtex
Explaining Subsumption in Description Logics McGuinness; L, D.; and Borgida, A. In Proc. of the 14th International Joint Conference on Artificial Intelligence, pages 816--821, Montreal, Canada, August 1995. Morgan Kaufmann
bibtex
  #Explanation,#InferenceWeb,#PML,#Requirements (1)
Infrastructure for Web Explanations McGuinness; L, D.; and Pinheiro Da Silva, P. In Fensel, D.; Sycara, K.; and Mylopoulos, J., editor(s), Proceedings of 2nd International Semantic Web Conference (ISWC2003), of LNCS-2870, pages 113--129, Sanibel, FL, USA, October 2003. Springer
bibtex
  #Explanation,#InferenceWeb,#PML,#understanding,#escience (1)
Explaining Complex Systems McGuinness; and L, D. In Semantic e-Science Workshop co-located with the Association for the Advancement of Artificial Intelligence Conference, 2007.
bibtex
  #Explanation,#InferenceWeb,#PML,#use,#disease_outbreak (1)
Inference Web in Action: Lightweight Use of the Proof Markup Language Pinheiro Da Silva, P.; McGuinness; L, D.; Del Rio, N.; and Ding, L. In International Semantic Web Conference, 2008.
bibtex
  #Explanation,#KnowledgeProvenance,#PML,#understanding,#accountability (1)
IW-Base: Provenance Metadata Infrastructure for Explaining and Trusting Answers from the Web McGuinness; L, D.; Pinheiro Da Silva, P.; and Chang, C. Technical Report KSL-04-07, Knowledge Systems Laboratory, Stanford University, 2004.
bibtex
  #IQ,#trust,#use (2)
Quality-Driven Information Filtering in the Context of Web-Based Information Systems Bizer, C. Ph.D. Thesis, Freie Universiẗat Berlin, 2007.
bibtex
Quality-Driven Query Answering for Integrated Information Systems Naumann, F. Springer Berlin / Heidelberg, 2002.
bibtex   buy
  #IinferenceWeb,#Interoperability,#PML,#publication,#disease_outbreak,#explanation,#understanding (1)
Inference Web: Portable Explanations for the Web McGuinness; L, D.; and Pinheiro Da Silva, P. Technical Report Knowledge Systems Laboratory, Stanford University, 2003.
bibtex
  #Imperfections,#PML,#provenance,#use (1)
Identifying and Explaining Map Imperfections Through Knowledge Provenance Visualization Del Rio, N.; and Pinheiro Da Silva, P. Technical Report UTEP-CS-07-43a, The University of Texas at El Paso, June 2007.
Identifying and Explaining Map Imperfections Through Knowledge Provenance Visualization [pdf]Paper   bibtex
  #Imperfections,#PML,#use (1)
Identifying and Explaining Map Quality Through Provenance: A User Study Del Rio, N.; Pinheiro Da Silva, P.; and Aldouri, R. In Proceedings of IJCAI 2009 Workshop on Explanation-Aware Computing (ExACT 2009), Pasadena, CA, USA, July 2009.
bibtex
  #Implicit_Provenance,#News_Aggregator,#attribution,#content,#evolution,#in_use,#informationExtraction (1)
Meme-tracking and the Dynamics of the News Cycle and L. Backstrom and J. Kleinberg, .J. L. In ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD), 2009.
Meme-tracking and the Dynamics of the News Cycle [pdf]Paper   bibtex
  #Implicit_Provenance,#News_Aggregator,#management,#publication (1)
BlogTrackers: A Tool for Sociologists to Track and Analyze Blogosphere and Shamanth Kumar and Huan Liu and Mark Woodward, .N.A. In he Third International Conference on Weblogs and Social Media, 2009. The AAAI Press
bibtex
  #Implicit_Provenance,#News_Aggregator,#understanding,#use (1)
You Are Where You Edit: Locating Wikipedia Contributors through Edit Histories and Jimmy Lin, .M‥ In The Third International Conference on Weblogs and Social Media, 2009.
bibtex
  #InferenceWeb,#InformationExtraction,#Intelligence,#News_Aggregator,#PML,#explanation (1)
Tracking Information Extraction from Intelligence Documents Welty; A, C.; Murdock; William, J.; Pinheiro Da Silva, P.; McGuinness; L, D.; Ferrucci; A, D.; and Fikes, R. In Proceedings of the 2005 International Conference on Intelligence Analysis (IA 2005), May 2005.
bibtex
  #InferenceWeb,#KnowledgeProvenance,#PML,#disease_outbreak,#explanation,#justification,#understanding (1)
Knowledge Provenance Infrastructure Pinheiro Da Silva, P.; McGuinness; L, D.; and McCool, R. IEEE Data Engineering Bulletin, 25(2):179--227. December 2003.
bibtex
  #InferenceWeb,#KnowledgeProvenance,#PML,#escience,#explanation (1)
Annotating and embedding provenance in science data repositories to enable next generation science applications McGuinness; L, D.; Fox, P.; Pinheiro Da Silva, P.; Zednik, S.; Del Rio, N.; Ding, L.; West, P.; and Chang, C. In American Geophysical Union, Fall Meeting (AGU2008), Eos Trans. AGU, 89(53), Fall Meet. Suppl., Abstract IN11C-1052, 2008.
bibtex
  #InferenceWeb,#News_Aggregator,#PML,#interoperability,#justification,#understanding (1)
Encoding Extraction as Inferences Murdock; William, J.; Pinheiro Da Silva, P.; Ferrucci; A, D.; Welty; A, C.; McGuinness; and L, D. In Proc. of AAAI Spring Symposium on Metacognition on Computation, pages 92--97, Stanford University, USA, 2005. AAAI Press
bibtex
  #InferenceWeb,#News_Aggregator,#PML,#trust,#use (1)
IWTrust: Improving User Trust in Answers from the Web Zaihrayeu, I.; Pinheiro Da Silva, P.; McGuinness; and L, D. In Proceedings of 3rd International Conference on Trust Management (iTrust2005), pages 384--392, Paris, France, 2005. Springer
bibtex
  #InferenceWeb,#PML,#TaskProcessing,#trust,#use (1)
Trustable Task Processing Systems Glass, A.; McGuinness; L, D.; Pinheiro Da Silva, P.; and Wolverton, M. KI, 22(2):12--18. 2008.
bibtex
  #InferenceWeb,#PML,#accountability,#trust,#wiki (1)
Investigations into Trust for Collaborative Information Repositories: A Wikipedia Case Study McGuinness; L, D.; Zeng, H.; Pinheiro Da Silva, P.; Ding, L.; Narayanan, D.; and Bhaowal, M. In 2006.
bibtex
  #InferenceWeb,#PML,#content,#entailment,#justification (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
  #InferenceWeb,#PML,#explanation,#provenance (1)
Explaining Answers from the Semantic Web McGuinness; L, D.; and Pinheiro Da Silva, P. Journal of Web Semantics, 1(4):397--413. 2004.
Explaining Answers from the Semantic Web [link]Paper   bibtex
  #InferenceWeb,#PML,#explanation,#trust (1)
Toward establishing trust in adaptive agents Glass, A.; McGuinness; L, D.; and Wolverton, M. In IUI, 2008.
bibtex
  #InferenceWeb,#PML,#explanation,#understanding,#use (2)
Inference Web: Portable and Sharable Explanations for Question Answering McGuinness; L, D.; and Pinheiro Da Silva, P. In Proc. of the AAAI Spring Symposium Workshop on New Directions for Question Answering, pages 67--71, Stanford, CA, USA, March 2003. AAAI Press
bibtex
WebExplain: A UPML Extension to Support the Development of Explanations in the Web for Knowledge-Based Systems Pinheiro, V.; Furtado, V.; Pinheiro Da Silva, P.; McGuinness; and L, D. In Proceedings of the the Eighteenth International Conference on Software Engineering and Knowledge Engineering, San Francisco, CA, July 2006.
bibtex
  #InferenceWeb,#PML,#interoperability,#justification,#use (1)
A Proof Markup Language for Semantic Web Services Pinheiro Da Silva, P.; McGuinness; L, D.; and Fikes, R. Information Systems, 31(4-5):381--395. 2006.
bibtex
  #InferenceWeb,#PML,#proof_theory,#understanding (1)
Presenting TSTP Proofs with Inference Web Tools Pinheiro Da Silva, P.; Sutcliffe, G.; Chang, C.; Ding, L.; Del Rio, N.; McGuinness; and L, D. In Schmidt, R.; Konev, B.; and Schulz, S., editor(s), Proceedings of the Workshop on Practical Aspects of Automated Reasoning, 4th International Joint Conference on Automated Reasoning, pages Accepted, Sydney, Australia, 2008.
bibtex
  #InferenceWeb,#PML,#understanding,#UseCase,#explanation,#use (1)
Knowledge-Worker Requirements for Next Generation Query Answering and Explanation Systems Cowell; J, A.; McGuinness; L, D.; Varley; F, C.; Thurman; and A, D. In Proceedings of the Workshop on Intelligent User Interfaces for Intelligence Analysis, International Conference on Intelligent User Interfaces (IUI 2006), Sydney, Australia, 2006.
bibtex
  #InferenceWeb,#PML,#understanding,#use (1)
Towards Explainig Semantic Matching McGuinness; L, D.; Shvaiko, P.; Giunchiglia, F.; and Pinheiro Da Silva, P. In Haarslev, V.; and M̈oller, R., editor(s), Proceedings of the 2004 International Workshop on Description Logics, volume 104. CEUR-WS, June 2004.
Towards Explainig Semantic Matching [pdf]Paper   bibtex   buy
  #InferenceWeb,#PML,#understanding,#workflow (2)
Towards the Explanation of workflow Michaelis; R, J.; Ding, L.; McGuinness; and L, D. In Proceedings of the IJCAI'09 Workshop on Explanation-Aware Computing., 2009.
bibtex
Towards Usable and Interoperable Workflow Provenance: Empirical Case Studies Using PML Michaelis; R, J.; Ding, L.; Shangguan, Z.; Zednik, S.; Huang, R.; da Silva; Pinheiro, P.; Rio; Del, N.; McGuinness; and L, D. In Proceedings of the First International Workshop on the role of Semantic Web in Provenance Management, pages TW--2009--20, 2009.
bibtex
  #InferenceWeb,#content,#entailment,#explanation,#justification (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
  #Justification for Decisions,#content,#provenance (1)
Semantic provenance for eScience: Managing the deluge of scientific data Sahoo; S, S.; Sheth, A.; and Henson, C. IEEE Internet Computing, 12:46--54. 2008.
Semantic provenance for eScience: Managing the deluge of scientific data [link]Paper   bibtex
  #Justification for Decisions,#content,#provenance, #data_quality (1)
Exploiting provenance to make sense of automated data acceptance decisions in scientific workflow Missier, P.; Embury, S.; and Stapenhurst, R. In IPAW, volume 5272/2008, of LNCS series, Salt Lake City, Utah, June 2008. Springer
Exploiting provenance to make sense of automated data acceptance decisions in scientific workflow [link]Paper   bibtex   abstract
  #Management,#provenance (1)
Provenance and Search Issues in RDF Data Warehouse Ding, L. In Proceedings of SemGrail 2007 Workshop, June 2007.
Provenance and Search Issues in RDF Data Warehouse [link]Paper   bibtex
  #News_Aggregator,#OPM,#attribution,#content,#foaf,#process,#sioc,e-science,#linkeddata,#provenance,vre (1)
ourSpaces: linking provenance and social data in a virtual research environment Reid, R.; Pignotti, E.; Edwards, P.; and Laing, A. In International World Wide Web Conference, pages 1285--1288, 2010.
ourSpaces: linking provenance and social data in a virtual research environment [link]Paper   bibtex   abstract
  #News_Aggregator,#PML (1)
Exposing Extracted Knowledge Supporting Answers McGuinness; L, D.; Pinheiro Da Silva, P.; Murdock; William, J.; Ferrucci; and A, D. Technical Report Knowledge Systems Laboratory, Stanford University, 2005.
bibtex
  #News_Aggregator,#attribution,#authorship,#content (1)
Authorship attribution Juola, P. Foundations and Trends in Information Retrieval, 1(3):233--334. 2006.
Authorship attribution [link]Paper   bibtex   abstract
  #News_Aggregator,#attribution,#browser,#content,#in_use (1)
Why Retweet works the way it does Williams, E. 2009.
Why Retweet works the way it does [link]Paper   bibtex
  #News_Aggregator,#attribution,#content (1)
Measuring User Influence in Twitter: The Million Follower Fallacy and Hamed Haddadi and Fabricio Benevenuto and Krishna P. Gummadi, .M. In 2010. Fourth International AAAI Conference on Weblogs and Social Media
Measuring User Influence in Twitter: The Million Follower Fallacy [link]Paper   bibtex
  #News_Aggregator,#attribution,#content,#disease_outbreak,#evolution,Data Structures and Algorithms,Machine Learning,Physics and Society (1)
Inferring Networks of Diffusion and Influence Gomez-Rodriguez, M.; Leskovec, J.; and Krause, A. In Proceedings of the 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, volume Proceeding, pages 1019--1028, June 2010.
Inferring Networks of Diffusion and Influence [link]Paper   bibtex   abstract
  #News_Aggregator,#attribution,#content,#feed,#in_use,#management,#publication (1)
Sample Pool API 2.0 Creative Commons 2010.
Sample Pool API 2.0 [link]Paper   bibtex   abstract
  #News_Aggregator,#attribution,#content,#in_use,#license,#management,#publication,#tagged (1)
Google Book Rights Registry , editor . 2010.
Google Book Rights Registry [link]Paper   bibtex   abstract
  #News_Aggregator,#attribution,#content,#justification (1)
Twitter Iran RT chaos Dan Brinkley 2009.
Twitter Iran RT chaos [link]Paper   bibtex
  #News_Aggregator,#attribution,#content,#object (1)
User Stories - Multiple Identities Eduserv Digital Identity Workshop 2010.
User Stories - Multiple Identities [link]Paper   bibtex
  #News_Aggregator,#content,#evolution (1)
Information Contagion: An Empirical Study of the Spread of News on Digg and Twitter Social Networks and Rumi Ghosh, .K. In Fourth International AAAI Conference on Weblogs and Social Media, 2010. AAAI Publications
Information Contagion: An Empirical Study of the Spread of News on Digg and Twitter Social Networks [link]Paper   bibtex
  #News_Aggregator,#content,#object (9)
That Obscure Object of Desire: Multimedia Metadata on the Web (Part II) and Jacco van Ossenbruggen and Lynda Hardman, .F. In IEEE Multimedia, pages Volume 12, 2005.
bibtex
That Obscure Object of Desire: Multimedia Metadata on the Web (Part I) and Frank Nack and Lynda Hardman, .J. O. In IEEE Multimedia, 2004.
bibtex
Semantic Annotation of Image Collections and A.Th. Schreiber and B. Wielemaker and B. Wielinga, .L. H. In (KCAP) Workshop on Knowledge Markup and Semantic Annotation, Florida, USA, 2003.
bibtex
Multimedia Vocabularies on the Semantic Web M. Hausenblas and S. Boll and T. Bürger and O. Celma and C. Halaschek-Wiener and E. Mannens and R. Troncy 2007.
Multimedia Vocabularies on the Semantic Web [link]Paper   bibtex
Image Annotation on the Semantic Web R. Troncy and J. \van Ossenbruggen\ and J.Z. Pan and G. Stamou
Image Annotation on the Semantic Web [link]Paper   bibtex
MPEG-7 based Multimedia Ontologies: Interoperability Support or Interoperability Issue? and Óscar Celma and Suzanne Little and Roberto García and Chrisa Tsinaraki, .R. In International Workshop on Multimedia Annotation and Retrieval enabled by Shared Ontologies (MAReSO), Genova, Italy, 2007.
bibtex
COMM: Designing a Well-Founded Multimedia Ontology for the Web and Raphael Troncy and Steffen Staab and Lynda Hardman and Miroslav Vacura, .R. In International Semantic Web Conference, 2007.
bibtex
Semantic Annotation of Images and Videos for Multimedia Analysis and Kosmas Petridis and Carsten Saathoff and Nikos Simou and Vassilis Tzouvaras and Yannis Avrithis and Siegfried Handschuh and Yiannis Kompatsiaris and Steffen Staab and Michael G. Strintzis, .S.B. In European Semantic Web Conference, pages 592----607, 2005.
bibtex
Use Cases and Requirements for Ontology and API for Media Object 1.0 and Tobias Burger and Felix Sasaki and Veronique Malaise, .W. 2010.
Use Cases and Requirements for Ontology and API for Media Object 1.0 [link]Paper   bibtex
  #News_Aggregator,#content,#object,#pasoa,#process (1)
A model of process documentation to determine provenance in mash-ups Groth, P.; Miles, S.; and Moreau, L. ACM Transactions on Internet Technology (TOIT), V(December):1--30. 2009.
A model of process documentation to determine provenance in mash-ups [link]Paper   bibtex
  #OPM,#abstraction,#interoperability,#provenance,#publication,#understanding,#use (1)
Extracting Causal Graphs from an Open Provenance Data Model Miles, S.; Groth, P.; Munroe, S.; Jiang, S.; Assandri, T.; and Moreau, L. Concurrency and Computation: Practice and Experience, . 2007.
Extracting Causal Graphs from an Open Provenance Data Model [link]Paper   bibtex
  #OPM,#content,#provenance (1)
The Open Provenance Model Moreau, L.; Freire, J.; Futrelle, J.; McGrath, R.; Myers, J.; and P.Paulson December 2007.
The Open Provenance Model [link]Paper   bibtex
  #PML,#accountability,#understanding,#use (1)
Explanation Interfaces for the Semantic Web: Issues and Models McGuinness; L, D.; Glass, A.; Ding, L.; Chang, C.; Zeng, H.; and Furtado, V. In Athens, Georgia, USA, November 2006.
bibtex
  #PML,#accountability,#use (1)
CI-Miner: Semantically Enhancing Scientific Processes Pinheiro Da Silva, P.; Salayandia, L.; Gandara, A.; Gates; and Q, A. Earth Science Informatics, 2(4):249--269. 2009.
bibtex
  #PML,#attribution,#content (1)
Registry-Based Support for Information Integration McGuinness; L, D.; and Pinheiro Da Silva, P. In Proceedings of IJCAI-2003 Workshop on Information Integration on the Web (IIWeb-03), pages 117--122, Acapulco, Mexico, August 2003.
bibtex
  #PML,#attribution,#content,#provenance (1)
Semantic annotation of maps through knowledge provenance Del Rio, N.; Pinheiro Da Silva, P.; Gates; Q, A.; and Salayandia, L. In Proceedings of the Second International Conference on Geospatial Semantics (GeoS), of LNCS, pages 20--35, Mexico City, Mexico, 2007. Springer
bibtex
  #PML,#browser,#provenance,#understanding,#use (1)
Probe-it! visualization support for provenance Del Rio, N.; and Pinheiro Da Silva, P. In Proceedings of the Second International Symposium on Visual Computing (ISVC 2), pages 732--741, Lake Tahoe, NV, 2007. Springer
bibtex
  #PML,#content,#process (1)
Using Abstract workflow to Capture Provenance of Scientific Processes: A Report Pinheiro Da Silva, P.; Salayandia, L.; Del Rio, N.; Gates; and Q, A. Technical Report Technical Report UTEP-CS-09-24, Computer Science Department, University of Texas at El Paso, 2009.
bibtex
  #PML,#justification,#provenance,#trust,#understanding (1)
PML 2: A Modular Explanation Interlingua McGuinness; L, D.; Ding, L.; Pinheiro Da Silva, P.; and Chang, C. In Proceedings of the AAAI'07 Workshop on Explanation-Aware Computing, 2007. Knowledge Systems Laboratory, Stanford University
bibtex
  #PML,#trust,#use (3)
Trusting Answers on the Web McGuinness; L, D.; and Pinheiro Da Silva, P. In Maybury; and T, M., editor(s), New Directions in Question Answering, 21, pages 275--285. AAAI/MIT Press, October 2004.
bibtex   buy
Towards Believing Answers from Cyber-Infrastructure-based Applications Ornelas, G.; and Pinheiro Da Silva, P. In Proceedings of the 4th Annual Conference on Privacy, Security and Trust (PST2006), Ontario, Canada, October 2006.
bibtex
TrustMap: Towards Trust Recommendations for Maps Pinheiro Da Silva, P.; Del Rio, N.; Kreinovich, V.; and Castaneda, A. In Proceedings of the Terra Cognita 2008 Workshop, Karlsruhe, Germany, October 2008.
bibtex
  #PML,#understanding,#use (3)
A Categorization of Explanation Questions for Task Processing Systems McGuinness; L, D.; Glass, A.; Wolverton, M.; and Pinheiro Da Silva, P. In Proceedings of the AAAI 2007 Workshop on Explanation-aware Computing, \Vancouver, British Columbia, Canada, July 2007.
bibtex
Explaining Task Processing in Cognitive Assistants that Learn McGuinness; L, D.; Glass, A.; Wolverton, M.; and Pinheiro Da Silva, P. In Proceedings of the 20th International FLAIRS Conference (FLAIRS-20), pages 284--289, 2007.
bibtex
User Interfaces for Portable Proofs Pinheiro Da Silva, P.; Del Rio, N.; McGuinness; L, D.; Ding, L.; Chang, C.; and Sutcliffe, G. In Proceedings of 8th International Workshop On User Interfaces for Theorem Provers (UITP'08), August 2008.
User Interfaces for Portable Proofs [link]Paper   bibtex
  #Pegasus,#disease_outbreak,#workflow-provenance (1)
Pegasus: Mapping Large-Scale workflow to Distributed Resources Deelman, E.; Mehta, G.; Singh, G.; Su, M.; and Vahi, K. Springer London, London, 2007.
Pegasus: Mapping Large-Scale workflow to Distributed Resources [pdf]Paper   bibtex
  #Provenance_Vocabulary,#content,#provenance (1)
Provenance Information in the Web of Data Hartig, O. In In Proceedings of the Linked Data on the Web (LDOW) Workshop at WWW'09, 2009.
bibtex
  #Taverna,#disease_outbreak,#management,#workflow-provenance,Computational Biology,Computer Communication Networks,Computer Graphics,Database Management Systems,Information Storage and Retrieval,Information Storage and Retrieval: methods,Internet,Online Systems,Software,Software Design,User-Computer Interface (1)
Taverna: a tool for the composition and enactment of bioinformatics workflow Oinn, T.; Addis, M.; Ferris, J.; Marvin, D.; Senger, M.; Greenwood, M.; Carver, T.; Glover, K.; Pocock; R, M.; Wipat, A.; and Li, P. Bioinformatics (Oxford, England), 20(17):3045--54. 2004.
Taverna: a tool for the composition and enactment of bioinformatics workflow. [link]Paper   bibtex   abstract
  #Vistrails,#disease_outbreak,#use,#workflow-provenance (1)
Querying and Re-Using workflow with VisTrails Scheidegger, C.; Vo, H.; Koop, D.; and Freire, J. In Procs. SIGMOD, pages 1251--1254, 2008.
Querying and Re-Using workflow with VisTrails [link]Paper   bibtex
  #access,#content,#dissemination,#management,#process,#provenance,#understanding,pasoa provenance (1)
The Provenance of Electronic Data Moreau, L.; Groth, P.; Miles, S.; Vazquez, J.; Ibbotson, J.; Jiang, S.; Munroe, S.; Rana, O.; Schreiber, A.; Tan, V.; and Varga, L. Communications of the ACM, 51:52--58. 2008.
The Provenance of Electronic Data [pdf]Paper   bibtex   abstract
  #access,#content,#interoperability,#management,#pasoa,#process,#provenance,#scale (1)
Architecture for Provenance Systems Groth, P.; Miles, S.; Tan, V.; and Moreau, L. Technical Report University of Southampton, October 2005.
bibtex
  #access,#interoperability,#pasoa,#provenance (1)
Electronically Querying for the Provenance of Entities Miles, S. In Provenance and Annotation of Data, International Provenance and Annotation Workshop, IPAW 2006, Chicago, IL, USA, May 3-5, 2006, Revised Selected Papers, pages 184--192, 2006. Springer
Electronically Querying for the Provenance of Entities [link]Paper   bibtex
  #access,#management (1)
Graphs-at-a-time: query language and access methods for graph databases He, H.; Singh; and K, A. In SIGMOD Conference, pages 405--418, 2008.
bibtex
  #accountability (1)
Information accountability Weitzner; J, D.; Abelson, H.; Berners-Lee, T.; Feigenbaum, J.; Hendler, J.; Sussman; and Jay, G. Communications of the ACM, 51(6):5. 2008.
Information accountability [link]Paper   bibtex   abstract
  #accountability,#comparison,#debugging,#imperfections,#interoperability,#pasoa,#requirements,#understanding,#use,#provenance grid (1)
The Requirements of Using Provenance in e-Science Experiments Miles, S.; Groth, P.; Branco, M.; and Moreau, L. Journal of Grid Computing, 5(1):1--25. December 2006.
The Requirements of Using Provenance in e-Science Experiments [link]Paper   bibtex   abstract
  #accountability,#content,#process,#provenance,#use (1)
Provenance-based Auditing of Private Data Use Aldeco-Pérez, R.; and Moreau, L. In International Academic Research Conference, Visions of Computer Science, 2008. BCS
Provenance-based Auditing of Private Data Use [link]Paper   bibtex
  #accountability,#integrity,#News_Aggregator,#provenance,#use (1)
When Documents Deceive: Trust and Provenance as New Factors for Information Retrieval in a Tangled Web Lynch; and A, C. Journal of the American Society for Information Science and Technology, 52(1):12--17. 2001.
bibtex
  #accountability,#policy,#trust,#use (1)
Transparent Accountable Inferencing for Privacy Risk Management Weitzner; J, D.; Abelson, H.; Berners-Lee, T.; Hanson; P, C.; Hendler, J.; Kagal, L.; McGuinness; L, D.; Sussman; J, G.; Waterman; and Krasnow, K. In Proceedings of AAAI Spring Symposium on The Semantic Web meets eGovernment, Stanford, CA, USA, 2006.
bibtex
  #accountability,#provenance (1)
Information Accountability supported by a Provenance-based Compliance Framework Aldeco-Pérez, R.; and Moreau, L. In UK e-Science All Hands Meeting, volume 1, Oxford, UK, 2009.
Information Accountability supported by a Provenance-based Compliance Framework [link]Paper   bibtex
  #agents (1)
http://www.fetch.com/products.asp?sub=prod-agentplatform Inc.; and Technologies, F. .
bibtex
  #attribution,#Data_Provenance,#disease_outbreak,#content,#annotation,data provenance,query language,query processing (1)
Querying data provenance Karvounarakis, G.; Ives, Z. G.; and Tannen, V. In SIGMOD, pages 951, New York, New York, USA, 2010. ACM Press
Querying data provenance [link]Paper   bibtex
  #attribution,#content,#Data_Provenance (1)
Why and Where: A Characterization of Data Provenance Buneman, P.; Khanna, S.; Tan; and Chiew, W. In ICDT, pages 316--330, 2001.
Why and Where: A Characterization of Data Provenance [link]Paper   bibtex
  #attribution,#content,#Data_Provenance,#News_Aggregator,#Where_Provenance,#databases,#provenance (1)
A Provenance Model for Manually Curated Data Buneman, P.; Chapman, A.; Cheney, J.; and Vansummeren, S. In IPAW, pages 162--170, 2006.
A Provenance Model for Manually Curated Data [link]Paper   bibtex
  #attribution,#content,#Data_Provenance,#Where_Provenance,#databases,#disease_outbreak,#provenance (1)
Provenance management in curated databases Buneman, P.; Chapman, A.; and Cheney, J. In SIGMOD Conference, pages 539--550, 2006.
Provenance management in curated databases [link]Paper   bibtex
  #attribution,#content,#Data_Provenance,#disease_outbreak,#Entailment,#Lineage,#RDF_Provenance,#Trust_Assessment (1)
Coloring RDF Triples to Capture Provenance Flouris, G.; Fundulaki, I.; Pediaditis, P.; Theoharis, Y.; and Christophides, V. In Procs. ISWC, pages 196--212, 2009.
bibtex   abstract
  #attribution,#content,#News_Aggregator,#Trust_Assessment,#prov-xg,#trust (1)
Trusting Information Sources One Citizen at a Time Gil, Y.; and Ratnakar, V. In Proceedings of the First International Semantic Web Conference (ISWC), Sardinia, Italy, 2002.
Trusting Information Sources One Citizen at a Time [pdf]Paper   bibtex
  #attribution,#content,#disease_outbreak,#Entailment,#Named_Graphs,#RDF_Provenance,#Trust_Assessment,Inference,Named Graphs,#provenance,#RDF (1)
On Explicit Provenance Management in RDF / S Graphs Pediaditis, P., Flouris, G., Fundulaki, I., Christophides, V. In TAPP 2009, 2009.
bibtex   abstract
  #browser,#Business_Contract,#electronic_notebook (1)
Implementation Challenges Associated with Developing a Web-based E-notebook Reimer, Y‥; and Douglas, S‥ Journal of Digital Information, 4(3). .
Implementation Challenges Associated with Developing a Web-based E-notebook [link]Paper   bibtex   abstract
  #citation,#databases (1)
How to cite curated databases and how to make them citable Buneman, P. In Proceedings of the 18th International Conference on Scientific and Statistical Database Management, pages 195--203, 2006.
How to cite curated databases and how to make them citable [link]Paper   bibtex   abstract
  #collections,#disease_outbreak,#kepler,#management,#provenance,#workflow (1)
Provenance in collection-oriented scientific worklows Bowers, S.; McPhillips; M, T.; and B Concurrency and Computation: Practice and Experience, 20(5):519--529. 2008.
Provenance in collection-oriented scientific worklows [link]Paper   bibtex
  #comparison,#debugging,#disease_outbreak,#imperfections,#pasoa,#provenance,#use (1)
Provenance-Based Validation of E-Science Experiments Wong; C, S.; Miles, S.; Fang, W.; Groth, P.; and Moreau, L. In Procs. ISWC, pages 801--815, 2005.
Provenance-Based Validation of E-Science Experiments [link]Paper   bibtex
  #comparison,#debugging,#imperfections,#pasoa,#provenance,#use (1)
Provenance-based validation of e-science experiments Miles, S.; Wong; C, S.; Fang, W.; Groth, P.; Zauner, K.; and Moreau, L. J. Web Sem., 5:28--38. 2007.
Provenance-based validation of e-science experiments [link]Paper   bibtex
  #comparison,#imperfections,#use (1)
Maximum Entropy in Support of Semantically Annotated Datasets Pinheiro Da Silva, P.; Kreinovich, V.; and Servin, C. In Proceedings of the 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW'08), volume 423, of CEUR Workshop Proceedings, Karlsruhe, Germany, 2008. CEUR-WS.org
bibtex
  #comparison,#provenance,#survey (1)
The First Provenance Challenge Moreau, L.; Lud̈ascher, B.; Altintas, I.; Barga; and S, R. Concurrency and Computation: Practice and Experience, 20:409--418. April 2008.
The First Provenance Challenge [link]Paper   bibtex
  #comparison,#use (2)
Semantic matching Giunchiglia, F.; and Shvaiko, P. Technical Report Vol. 71, CEUR - WS, 2003.
Semantic matching [pdf]Paper   bibtex
Reconstructing Proofs at the Assertion Level Huang, X. In Proceedings of CADE-94, of LNAI-814, pages 738--752, 1994. Springer
bibtex
  #content,#databases,#management,#provenance (1)
Provenance in databases Buneman, P.; Tan; and Chiew, W. In SIGMOD Conference, pages 1171--1173, 2001.
Provenance in databases [link]Paper   bibtex
  #content,#databases,#provenance (1)
On the expressiveness of implicit provenance in query and update languages Buneman, P.; Cheney, J.; and Vansummeren, S. ACM Trans. Database Syst., 33:1--47. 2008.
On the expressiveness of implicit provenance in query and update languages [link]Paper   bibtex
  #content,#debugging,#provenance,#use (1)
Provenance as dependency analysis Cheney, J.; Ahmed, A.; and Acar, U. A. In Arenas, M.; and Schwartzbach, M., editor(s), Proceedings of the 11th International Symposium on Database Programming Languages (DBPL 2007, LNCS 4797), pages 138--152, 2007. Springer-Verlag
Provenance as dependency analysis [link]Paper   bibtex
  #content,#disease_outbreak,#Management,#trust,#use,#prov-xg,#survey (1)
A survey of trust in computer science and the Semantic Web Artz, D.; and Gil, Y. J. Web Sem., 5(2):58--71. 2007.
A survey of trust in computer science and the Semantic Web [pdf]Paper   bibtex   1 download
  #content,#disease_outbreak,#lineage,#management,#provenance (1)
Tracing the lineage of view data in a warehousing environment Cui, Y.; Widom, J.; and Wiener, J. ACM Transactions on Database Systems, 25:179--227. 2000.
bibtex
  #content,#disease_outbreak,#use,#workflow-provenance (1)
A conceptual model for e-science provenance Zhao, J. Ph.D. Thesis, University of Manchester, 2007.
A conceptual model for e-science provenance [pdf]Paper   bibtex
  #content,#disease_outbreak,#workflow-provenance (1)
A model for user-oriented data provenance in pipelined scientific workflow Bowers, S.; McPhillips; M, T.; Lud̈ascher, B.; Cohen, S.; Davidson; and B, S. In IPAW, 2006.
A model for user-oriented data provenance in pipelined scientific workflow [pdf]Paper   bibtex
  #content,#entailment,#explanation,#justification (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
  #content,#evolution,#publication,#understanding,#use (1)
Semantic History: Towards Modeling and Publishing Changes of Online Semantic Data Jie, B.; Ding, L.; McGuinness; and L, D. In The 2nd Social Data on the Web workshop (SDoW2009), 2009.
Semantic History: Towards Modeling and Publishing Changes of Online Semantic Data [pdf]Paper   bibtex
  #content,#kepler,#management,#workflow-provenance (1)
Kepler/pPOD: Scientific workflow and provenance support for assembling the tree of life Bowers, S.; McPhillips; M, T.; Riddle, S.; Anand, M.; and B In Freire, J.; Koop, D.; and Moreau, L., editor(s), Procs. Provenance and Annotation of Data and Processes (IPAW), pages 70--77, 2008. Springer
Kepler/pPOD: Scientific workflow and provenance support for assembling the tree of life [pdf]Paper   bibtex
  #content,#linkeddata,#versioning (1)
An HTTP-Based Versioning Mechanism for Linked Data Van de Sompel, H.; Sanderson, R.; Nelson, M. L.; Balakireva, L. L.; Shankar, H.; and Ainsworth, S. In 2010 Workshop on Linked Data on the Web, .
An HTTP-Based Versioning Mechanism for Linked Data [link]Paper   bibtex
  #content,#management,#provenance (1)
PASSing the provenance challenge Holland; A, D.; Seltzer; I, M.; Braun, U.; and Muniswamy-Reddy, K.-. Concurrency and Computation: Practice and Experience, 20:531--540. 2008.
PASSing the provenance challenge [link]Paper   bibtex
  #content,#management,#vistrails,#workflow,#provenance,#visualization,#workflow (1)
Tackling the provenance challenge one layer at a time Scheidegger, C.; Koop, D.; Santos, E.; and H Concurrency and Computation: Practice and Experience, 20(5):473--483. 2008.
Tackling the provenance challenge one layer at a time [link]Paper   bibtex
  #content,#process,#prov-xg,#provenance (1)
Examining the Challenges of Scientific workflow Gil, Y.; Deelman, E.; Ellisman, M.; Fahringer, T.; Fox, G.; and D IEEE Computer, . 2007.
Examining the Challenges of Scientific workflow [link]Paper   bibtex
  #content,#process,#provenance,#survey (1)
Provenance for Computational Tasks: A Survey Freire, J.; Koop, D.; Santos, E.; Silva; and T, C. Computing in Science and Engineering, 10(3):11--21. 2008.
bibtex
  #content,#process,#provenance,#understanding (1)
Leveraging The Open Provenance Model as a Multi-Tier Model for Global Climate Research Stephan; G, E.; Halter; D, T.; Ermold; and D, B. In Proc. of 3rd International Provenance and Annotation Workshop (IPAW'10), Troy, NY, 2010.
bibtex
  #content,#provenance (1)
DiALog: A Distributed Model for Capturing Provenance and Auditing Information Staab, S.; and Ringelstein, C. International Journal of Web Services Research, 7(2). 2010.
DiALog: A Distributed Model for Capturing Provenance and Auditing Information [pdf]Paper   bibtex
  #content,#provenance,#use,#workflow (1)
Towards a Model of Provenance and User Views in Scientific workflow Cohen, S.; Cohen-Boulakia, S.; Davidson; and B, S. In Procs DILS - Data Integration in the Life Sciences, pages 264--279, 2006.
Towards a Model of Provenance and User Views in Scientific workflow [pdf]Paper   bibtex
  #data_integration,#databases,#disease_outbreak,#use (1)
Data fusion Bleiholder, J.; and Naumann, F. ACM Computing Surveys, 41(1):1--41. 2008.
Data fusion [link]Paper   bibtex
  #databases,#disease_outbreak,#management,#provenance (1)
Efficient provenance storage Chapman, A.; Jagadish; V, H.; and Ramanan, P. In SIGMOD Conference, pages 993--1006, 2008.
Efficient provenance storage [link]Paper   bibtex
  #databases,#disease_outbreak,#management,#provenance,#uncertainty (1)
Trio: A System for Integrated Management of Data, Accuracy, and Lineage Widom, J. In Proceedings of the Second Biennial Conference on Innovative Data Systems Research, pages 262--276, Asilomar, CA, January 2005.
bibtex
  #databases,#lineage,#provenance,#use (1)
Supporting Fine-grained Data Lineage in a Database Visualization Environment Woodruff, A.; and Stonebraker, M. In Procs. ICDE, pages 91--102, 1997.
Supporting Fine-grained Data Lineage in a Database Visualization Environment [link]Paper   bibtex
  #databases,#semistructured (1)
A Deterministic Model for Semistructured Data Buneman, P.; Deutsch, A.; and Tan, W. In Proceedings of the Query Processing for Semistructured Data and Non-standard Data Formats, pages 14--19, 1999.
bibtex
  #differencing,#disease_outbreak,#provenance,#use,#workflow,#provenance_mining (1)
Differencing Provenance in Scientific workflow Bao, Z.; Davidson; B, S.; Cohen-Boulakia, S.; Eyal, A.; and Khanna, S. In Procs. ICDE, March 2009.
Differencing Provenance in Scientific workflow [link]Paper   bibtex
  #disease_outbreak,#Trust_Assessment,#attribution,#content,#prov-xg,#trust,#use (1)
IKRAFT: Interactive Knowledge Representation and Acquisition from Text Gil, Y.; and Ratnakar, V. In Proceedings of the 13th International Conference, EKAW 2002, Siguenza, Spain, October 1-4, 2002, 2002.
IKRAFT: Interactive Knowledge Representation and Acquisition from Text [pdf]Paper   bibtex
  #disease_outbreak,#abstraction,#content,#process,#prov-xg,#provenance,#use (1)
Provenance Trails in the Wings/Pegasus Workflow System Kim, J.; Deelman, E.; Gil, Y.; Mehta, G.; and Ratnakar, V. 20(5). 2008.
Provenance Trails in the Wings/Pegasus Workflow System [pdf]Paper   bibtex
  #disease_outbreak,#abstraction,#content,#process,#prov-xg,#use (1)
Semantic Metadata Generation for Large Scientific workflow Kim, J.; Gil, Y.; and Ratnakar, V. In The Semantic Web - ISWC 2006, 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings, 2006.
Semantic Metadata Generation for Large Scientific workflow [pdf]Paper   bibtex
  #disease_outbreak,#abstraction,#prov-xg,#understanding,#use,#workflow (1)
Expressive Reusable Workflow Templates Gil, Y.; Groth, P.; Ratnakar, V.; and Fritz, C. In Proceedings of the Fifth IEEE International Conference on e-Science, Oxford, UK, 2009.
Expressive Reusable Workflow Templates [pdf]Paper   bibtex
  #disease_outbreak,#content,#workflow,#provenance (1)
Using Semantic Web Technologies for Representing e-Science Provenance Zhao, J.; Wroe, C.; Goble, C.; Stevens, R.; Quan, D.; and Greenwood, M. In Third International Semantic Web Conference (ISWC2004), of LNCS, pages 92--106, Hiroshima, Japan, November 2004. Springer-Verlag
bibtex
  #disease_outbreak,#escience,#provenance (1)
Automatic capture and efficient storage of e-Science experiment provenance Barga; S, R.; Digiampietri; and A, L. Concurrency and Computation: Practice and Experience, 20:419--429. 2008.
Automatic capture and efficient storage of e-Science experiment provenance [link]Paper   bibtex
  #disease_outbreak,#evidence,#provenance,#use (1)
e-Social Science and Evidence-Based Policy Assessment: Challenges and Solutions Edwards, P.; Farrington, J.; Mellish, C.; Philip, L.; and Chorley, A. Social Science Computer Review., 27:553--568. 2009.
bibtex
  #disease_outbreak,#imperfections,#management,#provenance (1)
Lost source provenance Zhang, J.; and Jagadish, H. V. In ACM International Conference Proceeding Series; Vol. 426, pages 311--322, 2010.
Lost source provenance [link]Paper   bibtex   abstract
  #disease_outbreak,#kepler,#management,#workflow-provenance,#provenance (1)
Provenance Collection Support in the Kepler Scientific Workflow System Altintas, I.; Barney, O.; and Jaeger-Frank, E. In IPAW, pages 118--132, 2006.
Provenance Collection Support in the Kepler Scientific Workflow System [link]Paper   bibtex
  #disease_outbreak,#kepler,#provenance,#workflow (1)
Provenance in collection-oriented scientific workflow Bowers, S.; McPhillips; M, T.; and Lud̈ascher, B. Concurrency and Computation: Practice and Experience, 20:519--529. 2008.
Provenance in collection-oriented scientific workflow [link]Paper   bibtex
  #disease_outbreak,#management,#privacy,#provenance,#use,#workflow (1)
Privacy issues in scientific workflow provenance Davidson; B, S.; Khanna, S.; Roy, S.; Boulakia; and Cohen, S. In Missier, P.; Curcin, V.; and Dadvidson, S., editor(s), First International Workshop on Workflow Approaches to New Data-centric Science (WANDS'10), Indianapolis, 2010. ACM
Privacy issues in scientific workflow provenance [link]Paper   bibtex   abstract
  #disease_outbreak,#management,#provenance (1)
A Framework for Collecting Provenance in Data-Centric Scientific workflow Simmhan; L, Y.; Plale, B.; and Gannon, D. In ICWS, pages 427--436, 2006.
A Framework for Collecting Provenance in Data-Centric Scientific workflow [link]Paper   bibtex
  #disease_outbreak,#management,#provenance,#scale,#workflow (1)
A Pipeline-Centric Provenance Model Groth, P.; Deelman, E.; Juve, G.; Mehta, G.; and Berriman, B. In The 4th Workshop on workflow in Support of Large-Scale Science, 2009.
bibtex
  #disease_outbreak,#management,#provenance,#survey (1)
Metadata and Provenance Management Deelman, E.; Berriman, B.; Chervenak, A.; Corcho, O.; Groth, P.; and Moreau, L. 12, pages 433--466. Chapman \& Hall, 1 edition, 2009.
bibtex
  #disease_outbreak,#management,#provenance,#vistrails,#workflow,#provenance (1)
Managing rapidly-evolving scientific workflow Freire, J.; Silva; T, C.; Callahan; P, S.; Santos, E.; Scheidegger; E, C.; Vo; and T, H. In IPAW, 2006.
Managing rapidly-evolving scientific workflow [pdf]Paper   bibtex
  #disease_outbreak,#management,#workflow (1)
Looking into the Future of workflow: The Challenges Ahead Deelman, E. 2007.
Looking into the Future of workflow: The Challenges Ahead [pdf]Paper   bibtex
  #disease_outbreak,#provenance,#pasoa (1)
Applying Provenance in Distributed Organ Transplant Management Alvarez; Sergio, J.; Vazquez-Salceda, T.; Varga; Kifor, L.; and Willmott, S. In International Provenance and Annotation Workshop (IPAW'06), 2006.
Applying Provenance in Distributed Organ Transplant Management [pdf]Paper   bibtex
  #disease_outbreak,#provenance,#survey (1)
A survey of data provenance in e-science Simmhan, Y.; Plale, B.; and Gannon, D. SIGMOD Record, 34:31--36. 2005.
A survey of data provenance in e-science. [link]Paper   bibtex
  #disease_outbreak,#provenance,#taverna,#use,#workflow (1)
Mining Taverna's semantic web of provenance Zhao, J.; Goble, C.; Stevens, R.; and D Concurrency and Computation: Practice and Experience, 20(5):1--7. 2008.
Mining Taverna's semantic web of provenance [link]Paper   bibtex
  #disease_outbreak,#provenance,#understanding,#use (1)
Provenance Explorer–Customized Provenance Views Using Semantic Inferencing Cheung, K.; and Hunter, J. In Procs. ISWC 2006, pages 215 -- 227, 2006.
Provenance Explorer–Customized Provenance Views Using Semantic Inferencing [pdf]Paper   bibtex
  #disease_outbreak,#provenance,#workflow (1)
On the Use of Abstract workflow to Capture Scientific Process Provenance Pinheiro Da Silva, P.; Salayandia, L.; Rio; Del, N.; Gates; and Q, A. In Proceedings of the 2nd Workshop on the Theory and Pratice of Provenance (TaPP'10) at USENIX, San Jose, CA, 2010.
bibtex
  #disease_outbreak,#survey,#workflow-provenance (1)
Scientific Workflow: A Survey and Research Directions Barker, A.; van Hemert; and I, J. In Wyrzykowski, R.; Dongarra, J.; Karczewski, K.; and Wasniewski, J., editor(s), PPAM, volume 4967, of Lecture Notes in Computer Science, pages 746--753, 2007. Springer
bibtex
  #disease_outbreak,#tutorial,#workflow-provenance (1)
Provenance and Scientific workflow: Challenges and Opportunities Davidson; B, S.; and Freire, J. In Proc.s SIGMOD Conference, pages 1345--1350, 2008.
Provenance and Scientific workflow: Challenges and Opportunities [link]Paper   bibtex
  #disease_outbreak,#workflow-provenance (3)
Provenance in scientific workflow systems Davidson; B, S.; Cohen-Boulakia, S.; Eyal, A.; and Ludascher, B. In Proc.s IEEE Data Eng., volume 1, pages 1--7, 2007.
Provenance in scientific workflow systems [link]Paper   bibtex
Provenance of e-Science Experiments - experience from Bioinformatics Greenwood, M.; Goble, C.; Stevens, R.; Zhao, J.; Addis, M.; Marvin, D.; Moreau, L.; and Oinn, T. In Cox, S., editor(s), OST e-Science Second All Hands Meeting 2003 (AHM'03), Nottingham, UK, September 2003.
bibtex
Efficient Lineage Tracking For Scientific workflow Heinis, T.; and Alonso, G. In Proceedings of the 2008 ACM SIGMOD conference, pages 1007--1018, 2008.
Efficient Lineage Tracking For Scientific workflow [link]Paper   bibtex
  #disease_outbreak,#workflow-provenance,#zoom,#provenance (1)
Zoom*UserViews: Querying Relevant Provenance in Workflow Systems Biton, O.; Davidson; B, S.; Boulakia; and Cohen, S. In VLDB, pages 1366--1369, 2007.
Zoom*UserViews: Querying Relevant Provenance in Workflow Systems [pdf]Paper   bibtex
  #event_report,#provenance (1)
Report on the International Provenance and Annotation Workshop (IPAW'06) Bose, R.; Foster; T, I.; and Moreau, L. Sigmod Record, . September 2006.
Report on the International Provenance and Annotation Workshop (IPAW'06) [link]Paper   bibtex
  #explanation (1)
Knowledge Associates for Novel Intelligence (KANI) Fikes, R.; Marwick, A.; and Thurman, D. Technical Report KSL-03-16, Stanford Knowledge Systems Laboratory, October 2003.
bibtex
  #explanation,#proof_theory (1)
Proof Explanation and Revision Felty, A.; and Miller, D. Technical Report MSCIS8817, University of Pennsylvania, 1987.
Proof Explanation and Revision [link]Paper   bibtex
  #explanation,#understanding,#use (1)
Web Explanations for Semantic Heterogeneity Discovery Shvaiko, P.; Giunchiglia, F.; Pinheiro Da Silva, P.; McGuinness; and L, D. In Proceedings of the 2nd European Semantic Web Conference (ESWC 2005), Heraklion, Greece, May 2005. Springer
bibtex
  #filesystems,#management,#provenance_storage (1)
Provenance-Aware Storage Systems Muniswamy-Reddy; K, K.; Holland; A, D.; Braun, U.; Seltzer; and I, M. In USENIX Annual Technical Conference, General Track, pages 43--56, 2006.
Provenance-Aware Storage Systems [link]Paper   bibtex
  #imperfections,#provenance,#security (1)
The Case of the Fake Picasso: Preventing History Forgery with Secure Provenance Hasan, R.; Sion, R.; and Winslett, M. In FAST, pages 1--14, 2009.
The Case of the Fake Picasso: Preventing History Forgery with Secure Provenance [pdf]Paper   bibtex
  #karma,#management,#provenance (1)
Query capabilities of the Karma provenance framework Simmhan, Y.; Plale, B.; and Gannon, D. Concurrency and Computation: Practice and Experience, 20:441--451. 2008.
Query capabilities of the Karma provenance framework [link]Paper   bibtex
  #lineage,#survey,#workflow (1)
Lineage retrieval for scientific data processing: a survey Bose, R.; and Frew, J. ACM Comput. Surv., 37(1):1----28. 2005.
Lineage retrieval for scientific data processing: a survey [link]Paper   bibtex
  #logic,#proof_theory (1)
A Short Introduction to Intuitionistic Logic Mints, G. Kluwer Academic, New York, NY, USA, 2000.
bibtex   buy
  #logs (1)
Discovering colored Petri nets from event logs Rozinat, A.; Mans, R.; Song, M.; Der; and Van, W. International Journal on Software Tools for Technology Transfer (STTT), 57--74. 2008.
Discovering colored Petri nets from event logs [pdf]Paper   bibtex
  #management,#methodology,#pasoa,#process,#scale (1)
Prime: A methodology for developing provenance-aware applications Miles, S.; Groth, P.; Munroe, S.; and Moreau, L. ACM Transactions on Software Engineering and Methodolog, Accepted for publication. 2009.
Prime: A methodology for developing provenance-aware applications [link]Paper   bibtex
  #management,#provenance (2)
Issues in Building Practical Provenance Systems Chapman, A.; Jagadish; and V, H. IEEE Data Engineering Bulletin, 30:38--43. 2007.
Issues in Building Practical Provenance Systems [link]Paper   bibtex   abstract
Provenance Algebra and Materialized View-based Provenance Management Sahoo, S.; Barga, R.; Goldstein, J.; and Sheth, A. 2008.
Provenance Algebra and Materialized View-based Provenance Management [link]Paper   bibtex
  #management,#publication (1)
WebBase : A repository of Web pages Hirai, J.; Raghavan, S.; Garcia-Molina, H.; and Paepcke, A. Computer Networks, 33(1-6):277--293. May 2000.
bibtex
  #management,#vistrails,#visualization,#provenance (1)
VisTrails: visualization meets data management Freire, J.; Callahan; P, S.; Santos, E.; Scheidegger; E, C.; Silva; T, C.; Vo; and T, H. In SIGMOD Conference, pages 745--747, 2006.
VisTrails: visualization meets data management [link]Paper   bibtex
  #metadata (1)
Distributed Interoperable Metadata Registry Blanchi, C.; and Petrone, J. D-Lib Magazine, 7(12). December 2001.
Distributed Interoperable Metadata Registry [link]Paper   bibtex
  #privacy (1)
PLUS: Synthesizing privacy, lineage, uncertainty and security Blaustein, B.; Seligman, L.; Morse, M.; and Allen, M. In Procs. ICDE, 2008.
PLUS: Synthesizing privacy, lineage, uncertainty and security [pdf]Paper   bibtex
  #proof (2)
PDS -- A Three-Dimensional Data Structure for Proof Plans Cheikhrouhou, L.; and Sorge, V. In Proceedings of the International Conference on Artificial and Computational Intelligence (ACIDCA'2000), Monastir, Tunisia, March 2000.
bibtex
Proof Development with OMEGA Siekmann; H, J.; Benzmüller, C.; Brezhnev, V.; Cheikhrouhou, L.; Fiedler, A.; Franke, A.; Horacek, H.; Kohlhase, M.; Meier, A.; Melis, E.; Moschner, M.; Normann, I.; Pollet, M.; Sorge, V.; Ullrich, C.; Wirth, C.; and Zimmer, J. In Proceedings of 18th International Conference on Automated Deduction, volume 2392, of LNCS, pages 144--149, Copenhagen, Denmark, July 2002. Springer
bibtex
  #proof_theory (5)
An Open Markup Format for Mathematical Documents (Version 1.2) Kohlhase, M. of Lecture Notes in Artificial IntelligenceSpringer Verlag, 2006.
bibtex   buy
MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems Kohlhase, M.; and Franke, A. Journal of Symbolic Computation, 32(4):365--402. September 2001.
bibtex
Basic Proof Theory Troelstra; S, A.; and Schwichtenberg, H. Cambridge University Press, Cambridge, UK, Second edition, 2000.
bibtex   buy
A Generic Proof Checker Watson; and N, G. Ph.D. Thesis, The University of Queensland, Queensland, Australia, 2002.
bibtex
Proof Representations in Theorem Provers Watson; and N, G. Technical Report 98-13, Software Verification Research Centre, The University of Queensland, Queensland, Australia, September 1998.
bibtex
  #proof_theroy (1)
A Framework for Explaining Decision-Theoretic Advice Klein; A, D.; Shortliffe; and H, E. Artificial Intelligence, 67(2):201--243. 1994.
bibtex
  #prov-xg (3)
A Conceptual Model for a Web-scale Entity Name System Bouquet, P.; Palpanas, T.; H. Stoermer; and Vignolo, M. In Procs. ASWC, Shanghai, China, 2009.
bibtex
\OKKAM\ : Enabling an Entity Name System for the Semantic Web Bouquet, P.; and Stoermer, H. In Proceedings of the I-ESA2008 Workshop on Semantic Interoperability, 2008.
bibtex
Uri identity management for semantic web data integration and linkage Jaffri, A.; Glaser, H.; and Millard, I. In 3rd International Workshop On Scalable Semantic Web Knowledge Base Systems, 2007. Springer
bibtex
  #prov-xg,#trust,#use (2)
Towards Privacy Aware Data Analysis workflow for e-Science Cheung, W.; and Gil, Y. In 2007 Workshop on Semantic e-Science (SeS2007), held in conjunction with the Twenty-Second Conference of the Association for the Advancement of Artificial Intelligence (AAAI), Vancouver, British Columbia, Canada, July 22-26, 2007.
Towards Privacy Aware Data Analysis workflow for e-Science [pdf]Paper   bibtex
Reasoning about the Appropriate Use of Private Data through Computational workflow Gil, Y.; and Fritz, C. In AAAI Spring Symposium on Privacy Management, Stanford, CA, March 23-25, 2010.
Reasoning about the Appropriate Use of Private Data through Computational workflow [pdf]Paper   bibtex