- From: Francois Bry <bry@ifi.lmu.de>
- Date: Fri, 10 Feb 2006 09:09:20 +0100
- Cc: public-rif-wg@w3.org, public-rif-wg-request@w3.org
jos.deroo@agfa.com wrote: >[a bit aside this discussion] >What about rules to serve the purpose of building >proofs so that my engine can explain what it did? > > Sounds like meta-reasoning. A tough issue... -- Francois
Received on Friday, 10 February 2006 08:09:25 UTC