Pat Hayes: > This means that (barring some new security mechanism) one > should never archive a bare conclusion, but only archive a > conclusion together with its derivation (logical proof). Archive and communicate: e.g. a service can be provided when the proof is accepted and something that is derived from that proof could be returned by the service provider (as an invoice or something like that) ... and we get audit trails and so on. -- Jos De RooReceived on Tuesday, 24 October 2000 04:21:29 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 October 2009 08:34:43 GMT