Cynthia Chang

发表

Different Proofs are Good Proofs

Deborah L. McGuinness, Li Ding, Geoff Sutcliffe, 2012, EMSQMS@IJCAR.

A Conceptual Framework for Explaining Results from Semantic Web Applications

Paulo Pinheiro da Silva, D. McGuinness, Li Ding, 2008 .

8 Th International Workshop User Interfaces for Theorem Provers (uitp'08) Tphols'08 Satellite Workshop List of Contributions an Interactive Driver for Goal Directed Proof Strategies Managing Proof Documents for Asynchronous Processing a Lightweight Theorem Prover Interface for Eclipse Panoptes: an E

Orlin G. Grigorov, D. McGuinness, D. Aspinall, 2008 .

Combining Proofs to form Different Proofs

D. McGuinness, Li Ding, G. Sutcliffe, 2011, PxTP.

IWBase : A Justification Metadata Infrastructure

D. McGuinness, Paulo Pinheiro, Cynthia Chang, 2005 .

IWBase : Provenance Metadata for Understanding and Trusting Answer Justifications

D. McGuinness, Paulo Pinheiro, Cynthia Chang, 2005 .

PML 2: A Modular Explanation Interlingua

Deborah L. McGuinness, Li Ding, Paulo Pinheiro, 2007, ExaCt.

A Nanopublication Framework for Biological Networks using Cytoscape.js

Deborah L. McGuinness, Michel Dumontier, Rui Yan, 2014, ICBO.

Semantic Provenance for Science Data Products: Application to Image Data Processing

Deborah L. McGuinness, Peter Fox, Stephan Zednik, 2009, SWPM.

Presenting TSTP Proofs with Inference Web Tools

Deborah L. McGuinness, Li Ding, Geoff Sutcliffe, 2008, PAAR/ESHOL.