Commits

Commit history

1. Commits on Nov 16, 2009

   • - fixed subtle defect in Genetic Algorithm.

     

     ctjoreilly

     committed
     95932fdView commit details

     Copy full SHA for 95932fd

     View code at this pointBrowse repository at this point
2. Commits on Sep 27, 2009

   • Little fix to make logging thread save.

     

     Ruediger.Lunde

     authored and

     Ruediger.Lunde

     committed
     58dc3a8View commit details

     Copy full SHA for 58dc3a8

     View code at this pointBrowse repository at this point
3. Commits on Sep 24, 2009

   • javadoc documentation improved

     

     Ruediger.Lunde

     authored and

     Ruediger.Lunde

     committed
     e25beb3View commit details

     Copy full SHA for e25beb3

     View code at this pointBrowse repository at this point
4. Commits on Sep 23, 2009

   • javadoc documentation improved.

     

     Ruediger.Lunde

     authored and

     Ruediger.Lunde

     committed
     689a9b5View commit details

     Copy full SHA for 689a9b5

     View code at this pointBrowse repository at this point

   • Method stepUntilNoOp of environment renamed to stepUntilDone.

     Show description for dfb949a
     

     Ruediger.Lunde

     authored and

     Ruediger.Lunde

     committed
     dfb949aView commit details

     Copy full SHA for dfb949a

     View code at this pointBrowse repository at this point
5. Commits on Sep 22, 2009

   • StepCostFunction modified so that it also works for small distances between 0 and 1. Hope, that's ok...

     

     Ruediger.Lunde

     authored and

     Ruediger.Lunde

     committed
     869adacView commit details

     Copy full SHA for 869adac

     View code at this pointBrowse repository at this point

   • In maps: Distance value type changed from Integer to Double

     Show description for 0f117e6
     

     Ruediger.Lunde

     authored and

     Ruediger.Lunde

     committed
     0f117e6View commit details

     Copy full SHA for 0f117e6

     View code at this pointBrowse repository at this point

   • Some refactoring performed to improve code structure.

     Show description for d6d54a2
     

     Ruediger.Lunde

     authored and

     Ruediger.Lunde

     committed
     d6d54a2View commit details

     Copy full SHA for d6d54a2

     View code at this pointBrowse repository at this point
6. Commits on Sep 21, 2009

   • javadoc documentation improved, warnings fixed.

     

     Ruediger.Lunde

     authored and

     Ruediger.Lunde

     committed
     27a3f91View commit details

     Copy full SHA for 27a3f91

     View code at this pointBrowse repository at this point
7. Commits on Sep 16, 2009

   • Classes MapWithSLD and SimplifiedRoadMapOfRomania deleted.

     

     Ruediger.Lunde

     authored and

     Ruediger.Lunde

     committed
     02af834View commit details

     Copy full SHA for 02af834

     View code at this pointBrowse repository at this point

   • Class Map replaced by MapWithSLD

     

     Ruediger.Lunde

     authored and

     Ruediger.Lunde

     committed
     cb36f7aView commit details

     Copy full SHA for cb36f7a

     View code at this pointBrowse repository at this point
8. Commits on Sep 14, 2009

   • class Problem prepared for subclassing.

     

     Ruediger.Lunde

     authored and

     Ruediger.Lunde

     committed
     110bcf8View commit details

     Copy full SHA for 110bcf8

     View code at this pointBrowse repository at this point

   • code polished. No functional change.

     

     Ruediger.Lunde

     authored and

     Ruediger.Lunde

     committed
     6dce0e2View commit details

     Copy full SHA for 6dce0e2

     View code at this pointBrowse repository at this point
9. Commits on Sep 13, 2009

   • Percept generation of MapEnvironment extended with possible action information.

     

     Ruediger.Lunde

     authored and

     Ruediger.Lunde

     committed
     afcafd9View commit details

     Copy full SHA for afcafd9

     View code at this pointBrowse repository at this point

   • Documentation improved

     

     Ruediger.Lunde

     authored and

     Ruediger.Lunde

     committed
     199ac3fView commit details

     Copy full SHA for 199ac3f

     View code at this pointBrowse repository at this point

   • Documentation improved.

     

     Ruediger.Lunde

     authored and

     Ruediger.Lunde

     committed
     b77511aView commit details

     Copy full SHA for b77511a

     View code at this pointBrowse repository at this point

   • Some minor integration work:

     Show description for 4f20751
     

     Ruediger.Lunde

     authored and

     Ruediger.Lunde

     committed
     4f20751View commit details

     Copy full SHA for 4f20751

     View code at this pointBrowse repository at this point
10. Commits on Sep 12, 2009

    • removed extraneous @override annotations from the last check in (which failed to compile)

      

      magicindian

      committed
      0604a6eView commit details

      Copy full SHA for 0604a6e

      View code at this pointBrowse repository at this point

    • Documentation improved.

      

      Ruediger.Lunde

      authored and

      Ruediger.Lunde

      committed
      06b412eView commit details

      Copy full SHA for 06b412e

      View code at this pointBrowse repository at this point

    • New GUI classes added including a framework for building agent applications and two examples (vacuum agent, map agent).

      

      Ruediger.Lunde

      authored and

      Ruediger.Lunde

      committed
      8b0689cView commit details

      Copy full SHA for 8b0689c

      View code at this pointBrowse repository at this point
11. Commits on Sep 11, 2009

    • moved the IRisNNDataSetClass from the test package

      

      magicindian

      committed
      5cbdc2dView commit details

      Copy full SHA for 5cbdc2d

      View code at this pointBrowse repository at this point

    • replaced MockRandomizer with real RandomSource in probability Demo

      

      magicindian

      committed
      0ea06adView commit details

      Copy full SHA for 0ea06ad

      View code at this pointBrowse repository at this point

    • Return value of execute method fixed (NoOP).

      

      Ruediger.Lunde

      authored and

      Ruediger.Lunde

      committed
      ce3196bView commit details

      Copy full SHA for ce3196b

      View code at this pointBrowse repository at this point
12. Commits on Jul 6, 2009

    • Hll climbing search fixed.

      

      magicindian

      committed
      2ef8918View commit details

      Copy full SHA for 2ef8918

      View code at this pointBrowse repository at this point
13. Commits on Jun 16, 2009

    • Ali Tozan's bug fix for checkSuccessorList

      

      magicindian

      committed
      f408132View commit details

      Copy full SHA for f408132

      View code at this pointBrowse repository at this point
14. Commits on May 24, 2009

    • - minor documentation and code update.

      

      ctjoreilly

      committed
      5565c39View commit details

      Copy full SHA for 5565c39

      View code at this pointBrowse repository at this point

    • - removed duplicate resolvent check with self from OTTER Like theorem prover.

      

      ctjoreilly

      committed
      1c27b6bView commit details

      Copy full SHA for 1c27b6b

      View code at this pointBrowse repository at this point

    • - added forward and backward sumbsumption elimination logic to FOLOtterLikeTheorem prover.

      Show description for 3115ba2
      

      ctjoreilly

      committed
      3115ba2View commit details

      Copy full SHA for 3115ba2

      View code at this pointBrowse repository at this point
15. Commits on May 23, 2009

    • - minor enhancement to the Clause subsumption logic so that an unnecessary unification check is removed.

      

      ctjoreilly

      committed
      4f30b10View commit details

      Copy full SHA for 4f30b10

      View code at this pointBrowse repository at this point
16. Commits on May 10, 2009

    • - increased timeout on a couple of the TFM tests for running on slower machines.

      

      ctjoreilly

      committed
      d8f6418View commit details

      Copy full SHA for d8f6418

      View code at this pointBrowse repository at this point

    • - Added subsumption elimination capability.

      Show description for b3d8b89
      

      ctjoreilly

      committed
      b3d8b89View commit details

      Copy full SHA for b3d8b89

      View code at this pointBrowse repository at this point
17. Commits on May 8, 2009

    • - added utility for handling mixed radix numbers, to be used in subsumption elimination logic.

      Show description for d21f4cc
      

      ctjoreilly

      committed
      d21f4ccView commit details

      Copy full SHA for d21f4cc

      View code at this pointBrowse repository at this point
18. Commits on Apr 25, 2009

    • - added logic that improves the performance of ModelElimination implementation by approx 30+% when run against larger problems.

      

      ctjoreilly

      committed
      5b8a1b3View commit details

      Copy full SHA for 5b8a1b3

      View code at this pointBrowse repository at this point

    • - minor performance tweaks to OTTER Like theorem prover (delaying factoring and ordering of lightest clauses).

      

      ctjoreilly

      committed
      90c7c28View commit details

      Copy full SHA for 90c7c28

      View code at this pointBrowse repository at this point
19. Commits on Apr 18, 2009

    • - fixed a defect in the FOLOTTERLikeTheorem prover, whereby its lightest clause heuristic was not cleaning down its SOS between calls to ask().

      Show description for d11c553
      

      ctjoreilly

      committed
      d11c553View commit details

      Copy full SHA for d11c553

      View code at this pointBrowse repository at this point