Thu, 26 Aug 2010 10:42:22 +0200 | blanchet | merged | changeset | files |
Thu, 26 Aug 2010 10:42:06 +0200 | blanchet | consider "locality" when assigning weights to facts | changeset | files |
Thu, 26 Aug 2010 09:23:21 +0200 | blanchet | add a bonus for chained facts, since they are likely to be relevant; | changeset | files |