Open Heart Logic Wiki page IssueRuleVsGAFSometimesFuzzy edited by AnonymousGnome

--- database/IssueRuleVsGAFSometimesFuzzy.old   Mon Jun  6 11:21:40 2005
+++ database/IssueRuleVsGAFSometimesFuzzy       Mon Jun  6 11:21:40 2005
@@ -11,4 +11,5 @@
 
 One idea is to cast the assertion both ways.  Thus one of our independent 
variables would be wether the assertion was expressed as a GAF or a Rule.  We 
can quantiy how hard a hit we take when we cast something as a rule versus as a 
ground atomic formula.
 
-This page is currently (2005-06-06) mentioned by 
ItemContentAndExperimentalConditions and by OpRBP.
+This page is currently (2005-06-06) mentioned by 
ItemContentAndExperimentalConditions, OpRBP and
+IssueHowDoWeReverseARule.


_______________________________________________
Heartlogic-dev mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/heartlogic-dev

Reply via email to