ACL 2 seminar at U.T. Austin: Toward proof exchange in the Semantic Web

Posted Saturday December 2, 2006, 2:07 am, Over one day old

It doesn't concern me too much that cwm does some crazy stuff when finding proofs; it's the proof checker that I expect to deploy as part of trusted computing bases and the proof language specification that I hope will complete the Semantic Web standards stack.

This post digest is 5% of the original post size.