public-cwm-talk@w3.org from July to September 2006 by date

Monday, 25 September 2006

• lists and the N3 abstract syntax Dan Connolly

Tuesday, 19 September 2006

• Re: cwm and redland Alessio Carenini
• Re: cwm and redland Dan Connolly

Monday, 11 September 2006

• toward cwm/N3/reason proof of httpRange-14 argument Dan Connolly
• toward "can't be in two places at once" proof with cwm Dan Connolly

Friday, 8 September 2006

• Re: struggling to understand the cwm/N3/reasons proof checking algorithm Dan Connolly

Thursday, 7 September 2006

• Re: struggling to understand the cwm/N3/reasons proof checking algorithm Dan Connolly
• Re: struggling to understand the cwm/N3/reasons proof checking algorithm Dan Connolly

Monday, 14 August 2006

• a (probably off topic) question about inference Medhat Assaad

Monday, 7 August 2006

• Re: check.py Yosi Scharf

Thursday, 3 August 2006

• check.py jos.deroo@agfa.com

Monday, 17 July 2006

• making derivations from given rules jos.deroo@agfa.com

Thursday, 6 July 2006

• Using reason.n3 (or derivative) to represent a RETE network Chimezie Ogbuji
• Re: log:outputString ordering challenge Dan Connolly
• log:outputString ordering challenge Ralph R. Swick

Wednesday, 5 July 2006

• Cwm formula identity Yosi Scharf

Last message date: Monday, 25 September 2006 22:52:45 UTC