heartlogic-dev
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Heartlogic-dev] Open Heart Logic Wiki wiki page IssueRuleVsGAFSometimes


From: wiki
Subject: [Heartlogic-dev] Open Heart Logic Wiki wiki page IssueRuleVsGAFSometimesFuzzy updated by AnonymousGnome
Date: Mon, 6 Jun 2005 05:51:40 UT

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.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]