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

Alessio Carenini

• Re: cwm and redland (Tuesday, 19 September)

Chimezie Ogbuji

• Using reason.n3 (or derivative) to represent a RETE network (Thursday, 6 July)

Dan Connolly

• lists and the N3 abstract syntax (Monday, 25 September)
• Re: cwm and redland (Tuesday, 19 September)
• toward cwm/N3/reason proof of httpRange-14 argument (Monday, 11 September)
• toward "can't be in two places at once" proof with cwm (Monday, 11 September)
• Re: struggling to understand the cwm/N3/reasons proof checking algorithm (Friday, 8 September)
• Re: struggling to understand the cwm/N3/reasons proof checking algorithm (Thursday, 7 September)
• Re: struggling to understand the cwm/N3/reasons proof checking algorithm (Thursday, 7 September)
• Re: log:outputString ordering challenge (Thursday, 6 July)

jos.deroo@agfa.com

• check.py (Thursday, 3 August)
• making derivations from given rules (Monday, 17 July)

Medhat Assaad

• a (probably off topic) question about inference (Monday, 14 August)

Ralph R. Swick

• log:outputString ordering challenge (Thursday, 6 July)

Yosi Scharf

• Re: check.py (Monday, 7 August)
• Cwm formula identity (Wednesday, 5 July)

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