en-de
en-es
en-fr
en
en-zh
en-pt
en-sl
0.25
0.5
0.75
1.25
1.5
1.75
2
Inference Web in Action: Lightweight Use of the Proof Markup Language
Published on 2008-11-242782 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