RE: FOL RuleML Updated

From: Boley, Harold ([email protected])
Date: 09/20/04

Next message: Mike Dean: "Joint Committee telecon today 21 September"

Previous message: Boley, Harold: "RE: FOL RuleML Updated"
Maybe in reply to: Boley, Harold: "FOL RuleML Updated"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

I finalized the FOL RuleML updates, with a focus on the DTD syntax:

http://www.ruleml.org/fol/#SynSem

The built-in call and other parts have also been changed.

Today's RuleML SC telecon approved this FOL RuleML 0.87.

-- Harold

Next message: Mike Dean: "Joint Committee telecon today 21 September"
Previous message: Boley, Harold: "RE: FOL RuleML Updated"
Maybe in reply to: Boley, Harold: "FOL RuleML Updated"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.4 : 09/20/04 EST