en-de
en-fr
en
en-zh
en-sl
en-es
en-pt
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-242765 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