Re: Explanations and Proof-Language Meeting (Agenda & Logistics)

[followup email cc'ed w3c archive]

Many thanks for the meeting

and the irc log

and this is followup of
18:19:45 [ericP-scribe]
     jos: +testing 2nd opinions by idependent reasoners
18:19:55 [DanC]
     2nd opinion test cases... pointer? could you follow up in email with

It's just a test case at
It illustrates the same conclusion of
2 independent reasoners (cwm and euler)
for the same theory.
It also illustrates a second opinion
based on 2 independent theories (one on
a more accurate mathematical basis and a
simpler one using the golden cut number
which could stand for 2 orthopedists)
and in all cases there is agreement about
the conclusion. The proofs should make
the different evidences transparent.

-- ,
Jos De Roo, AGFA

Received on Tuesday, 29 April 2003 19:49:06 UTC