RuleML / issues-ruleml

A repository solely for RuleML issues. No schemas or documents should be committed here.
3 stars 3 forks source link

Documentaton needs updating in RNC modules in Deliberation #65

Open greenTara opened 8 years ago

greenTara commented 8 years ago
  1. ordered_groups (see TruthValued, change "normal-form serialization" to "normalized serialization"