From: Boley, Harold ([email protected])
Date: 11/02/04
Today's JC telecon kept the "not vs. neg" issue open, as now reflected in the new FOL RuleML version: http://www.ruleml.org/fol/#Negation (last sentence) http://www.ruleml.org/fol/#SynSem (last sentence) http://www.ruleml.org/fol/#Issues (item 9.) -- Harold
This archive was generated by hypermail 2.1.4 : 11/02/04 EST