PML Datasets

From Inference Web

PML Datasets

• PML proofs
• PML registries

---

following are PML datasets on the Web. Please use caution because the datasets are subject to change without notice. please contact us for more information.

RPI data sources

• http://inference-web.org/registry/
• http://inference-web.org/proofs/
• http://inference-web.org/proofs/tptp/
• http://iw.vsto.org/registry
• http://escience.rpi.edu/pml/ - previous sample PML data spcdis (outdated)
• (MLSO PML on escience.rpi.edu)

UTEP data sources

• http://iw.cs.utep.edu/astronomy/solar/registry/
• http://iw.cs.utep.edu/astronomy/
• http://iw.cs.utep.edu/earthscience/