Re: [RIF] [UCR]: What is the RIF (revisited) --> changing vendor rule languages

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Thu, 09 Feb 2006 15:49:18 -0500
To: jos.deroo@agfa.com
Cc: public-rif-wg@w3.org
Message-Id: <20060209204918.4B682207363@kiferdesk.lmc.cs.sunysb.edu>

> [a bit aside this discussion]
> What about rules to serve the purpose of building
> proofs so that my engine can explain what it did?

How are such rules different from what we have been discussing so far?


	--michael

Received on Thursday, 9 February 2006 20:49:29 UTC