Inference Web in Action: Lightweight Use of the Proof Markup Language
Published on Nov 24, 20082756 Views
The Inference Web infrastructure for web explanations together with its underlying Proof Markup Language (PML) for encoding justification and provenance information has been used in multiple projects