- From: Hassan Aït-Kaci <hak@ilog.com>
- Date: Sat, 04 Nov 2006 16:36:28 -0500
- To: W3C RIF WG <public-rif-wg@w3.org>
Hello, To address some questions regarding how H2F can accommodate non-model theoretic notions (as, e.g, a Logical Framework in the formal sense defined in http://www.w3.org/2005/rules/wg/wiki/B.1.1_CLP_Formulation), I added some references to that effect in http://www.w3.org/2005/rules/wg/wiki/B.1.1_CLP_Formulation#head-aaff80cea5c91736cc71929918cff795a988ed50 -hak -- Hassan Aït-Kaci ILOG, Inc. - Product Division R&D tel/fax: +1 (604) 930-5603 - email: hak @ ilog . com
Received on Saturday, 4 November 2006 21:36:21 UTC