IW Meeting 2010-02-18

From Inference Web

Jump to: navigation, search

agenda

linked proof homepage

our EMSQMS workshop paper (proof quality)

geoff-cynthia meeting notes


linked proof paper improvement

  • we will defer the discussion to the next meeting when Deb is around.

publishing linked proofs

  <rdf:Description rdf:about="http://inference-web.org/proofs/linked/AGT/AGT001+1/mappings.owl#group3">
    <pmlr:hasMember rdf:resource="http://inference-web.org/proofs/linked/AGT/AGT001+1/EP---1.0pre/answer.owl#_-1961f636:1264195715e:-7f94"/>
    <pmlr:hasMember rdf:resource="http://inference-web.org/proofs/linked/AGT/AGT001+1/SInE---0.3/answer.owl#_-1961f636:1264195715e:-7eed"/>
    <pmlr:hasMember rdf:resource="http://inference-web.org/proofs/linked/AGT/AGT001+1/Ayane---1.1/answer.owl#_-1961f636:1264195715e:-7fed"/>
    <pmlr:hasMember rdf:resource="http://inference-web.org/proofs/linked/AGT/AGT001+1/VampireLT---10.0/answer.owl#_-1961f636:1264195715e:-7e55"/>
    <rdf:type rdf:resource="http://inference-web.org/2.0/pml-relation.owl#AllSame"/>
 </rdf:Description>

action items

questions

  • what about those problems with no proofs indicated by the status field in problem file?
Personal tools
Navigation