prov-xg-public In this group: 233 papers · 2/3 members Invite people to joinAsk to join this groupJoin this groupFollow this groupAsk to join this groupFollow this groupStop following Share Short URL Share on Facebook Share on Twitter Embed on other sites Mendeley Computer and Information Science Groups AArts and LiteratureAstronomy / Astrophysics / Space ScienceBBiological SciencesBusiness AdministrationCChemistryComputer and Information ScienceDDesignEEarth SciencesEconomicsEducationElectrical and Electronic EngineeringEngineeringEnvironmental SciencesHHumanitiesLLawLinguisticsMManagement Science / Operations ResearchMaterials ScienceMathematicsMedicinePPhilosophyPhysicsPsychologySSocial SciencesSports and Recreation OverviewPapers233Members31 Papers in this group tagged with "#justification" A Proof Markup Language for Semantic Web Services Paulo Pinheiro Da Silva, Deborah L McGuinness, Richard Fikes in Information Systems (2006) Combinable Proof Fragments for the Web Paulo Pinheiro Da Silva, Deborah L McGuinness, Richard Fikes (2003) Encoding Extraction as Inferences J William Murdock, Paulo Pinheiro Da Silva, David A Ferrucci, Christopher A Welty, Deborah L McGuinness in Proc. of AAAI Spring Symposium on Metacognition on Computation (2005) Explaining Reasoning in Description Logics Deborah L McGuinness (1996) Explaining Subsumption in Description Logics Deborah L McGuinness, Alex Borgida in Proc. of the 14th International Joint Conference on Artificial Intelligence (1995) Knowledge Provenance Infrastructure Paulo Pinheiro Da Silva, Deborah L McGuinness, Rob McCool in IEEE Data Engineering Bulletin (2003) PML 2: A Modular Explanation Interlingua. Deborah L McGuinness, Li Ding, Paulo Pinheiro Da Silva, Cynthia Chang in Proceedings of the AAAI'07 Workshop on Explanation-Aware Computing (2007) PPDR: A Proof Protocol for Deductive Reasoning Paulo Pinheiro Da Silva, Patrick Hayes, Deborah L McGuinness, Richard Fikes (2004) Towards Checking Hybrid Proofs Paulo Pinheiro Da Silva, Patrick Hayes, Deborah L McGuinness, Richard Fikes, Priyendra Deshwal (2005) Twitter Iran RT chaos Dan Brinkley in danbri’s foaf stories (2009) Top tags in this group #tagged#content#provenance#use#Disease_Outbreak#PML#News_Aggregator#management#understanding#untagged#attribution#InferenceWeb#workflow#Trust#explanation#accountability#process#object#workflow-provenance#CURATE_ME#prov-xg#Data_Provenance#Business_Contract#justification#proof_theory#Interoperability#imperfections#comparison#publication#databases#pasoa#survey#Entailment#access#Trust_Assessment#debugging#taverna#RDF_Provenance#kepler#lineage#in_use#evolution#abstraction#Vistrails#OPM#Implicit_Provenance#KnowledgeProvenance#linkeddata#IQ#workflows
A Proof Markup Language for Semantic Web Services Paulo Pinheiro Da Silva, Deborah L McGuinness, Richard Fikes in Information Systems (2006)
Combinable Proof Fragments for the Web Paulo Pinheiro Da Silva, Deborah L McGuinness, Richard Fikes (2003)
Encoding Extraction as Inferences J William Murdock, Paulo Pinheiro Da Silva, David A Ferrucci, Christopher A Welty, Deborah L McGuinness in Proc. of AAAI Spring Symposium on Metacognition on Computation (2005)
Explaining Subsumption in Description Logics Deborah L McGuinness, Alex Borgida in Proc. of the 14th International Joint Conference on Artificial Intelligence (1995)
Knowledge Provenance Infrastructure Paulo Pinheiro Da Silva, Deborah L McGuinness, Rob McCool in IEEE Data Engineering Bulletin (2003)
PML 2: A Modular Explanation Interlingua. Deborah L McGuinness, Li Ding, Paulo Pinheiro Da Silva, Cynthia Chang in Proceedings of the AAAI'07 Workshop on Explanation-Aware Computing (2007)
PPDR: A Proof Protocol for Deductive Reasoning Paulo Pinheiro Da Silva, Patrick Hayes, Deborah L McGuinness, Richard Fikes (2004)
Towards Checking Hybrid Proofs Paulo Pinheiro Da Silva, Patrick Hayes, Deborah L McGuinness, Richard Fikes, Priyendra Deshwal (2005)
