W3C home > Mailing lists > Public > www-archive@w3.org > September 2005

Re: experimental "WORKER" proof

From: Dan Connolly <connolly@w3.org>
Date: Mon, 12 Sep 2005 15:49:27 -0500
To: jos.deroo@agfa.com
Cc: www-archive@w3.org
Message-Id: <1126558167.4430.532.camel@dirk>

On Sun, 2005-09-11 at 02:26 +0200, jos.deroo@agfa.com wrote:
> I now think that
> 
> CONSTRUCT {C}
> WHERE {{W1} UNION {W2} ... UNION {Wn}}
> 
> should return
[...]

I'm not sure I understand the details, but your mention of
"constructive semantics" suggests it overlaps significantly
with my own research reading lately on provability logic such;
I started to swap that Artemov stuff back in, but I'm struggling...

The work on cwm and PML has started up again lately; did you see
these meeting notes?

CWM/PML/Inference Web Integration
http://www.policyawareweb.org/2005/ftf2/paw-mtg#item10

especially...

 to-pml.n3, the converter from cwm proof to PML
 http://www.w3.org/2000/10/swap/test/reason/to-pml.n3

and later...

cwm/PML integration
http://www.policyawareweb.org/2005/pf-dev/08-31-paw-minutes#item09

Any chance you could spare some time to
look at having euler and cwm share a proof syntax?



-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
Received on Monday, 12 September 2005 20:50:03 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 7 November 2012 14:17:53 GMT