|
|
|
|
|
|
by YeGoblynQueenne
1281 days ago
|
|
|
There was an earlier system called Thelma (https://github.com/stassa/thelma), an acronym for "Theory Learning Machine". Then I created a new system and, well, I couldn't resist a bad pun. They're a bit of a tradition in ILP. |
|
|