]> 2012-02-10T08:06:53-05:00 Paulo Pinheiro da Silva Paulo Paulo_Pinheiro_da Silva Silva Pinheiro Image:IMG 6940.jpg tw:TW Meeting, 2008-06-27 TPTP-PML A proof markup language for Semantic Web services Explaining Answers from the Semantic Web: the Inference Web Approach Towards Explaining Semantic Matching Encoding extraction as inferences Inference Web: Portable and Sharable Explanations for Question Answering Trusting Answers from Web Applications WebExplain: A UPML Extension to Support the Development of Explanations on the Web for Knowledge-Based Systems Infrastructure for Web Explanations Explaining Task Processing in Cognitive Assistants That Learn Knowledge Provenance Infrastructure Explainable Adaptive Assistants Explaining Results from Deductive Engines: The TPTP Environment Knowledge Provenance in Virtual Observatories: Application to Image Data Pipelines Towards Usable and Interoperable Workflow Provenance: Empirical Case Studies Using PML User Interfaces for Portable Proofs Presenting TSTP Proofs with Inference Web Tools Semantic Provenance for Image Data Processing Trustable Task Processing Systems Inference Web in Action: Lightweight Use of Proof Markup Language PML 2: A Modular Explanation Interlingua Explaining semantic web applications Explaining Results from Deductive Engines: The TPTP Environment User Interfaces for Portable Proofs Presenting TSTP Proofs with Inference Web Tools Semantic Provenance for Image Data Processing Trustable Task Processing Systems Inference Web in Action: Lightweight Use of Proof Markup Language PML 2: A Modular Explanation Interlingua Explaining semantic web applications SPCDIS (Project) Rui Huang Foaf:knows Participant Author Has presenter Has author Has member Has participant DC:relation MiddleName Has identifier Foaf:surname Foaf:name Foaf:firstName Anonymous.png Foaf:depiction Person