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

lists and the N3 abstract syntax Dan Connolly (Monday, 25 September)

Re: cwm and redland Dan Connolly (Tuesday, 19 September)

toward cwm/N3/reason proof of httpRange-14 argument Dan Connolly (Monday, 11 September)

toward "can't be in two places at once" proof with cwm Dan Connolly (Monday, 11 September)

Re: struggling to understand the cwm/N3/reasons proof checking algorithm Dan Connolly (Thursday, 7 September)

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

check.py jos.deroo@agfa.com (Thursday, 3 August)

making derivations from given rules jos.deroo@agfa.com (Monday, 17 July)

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

log:outputString ordering challenge Ralph R. Swick (Thursday, 6 July)

Cwm formula identity Yosi Scharf (Wednesday, 5 July)

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