Hacker GitHub

← All repos

stassa/thelma

View on GitHub ↗ ★ 11 Prolog

An implementation of Meta-Interpretive Learning

3 mentions on Hacker News by 1 person: 0 stories, 3 comments · first 2019-11-17 · latest 2022-12-21

Mentions per year 3 mentions · busiest year 2019 (1)
20082026
AllStoriesComments NewestTopOldest
  1. 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.
    comment by YeGoblynQueenne · 2022-12-21 · in Potassco: The Answer Set Solving Collection
  2. …[1] Metagol: https://github.com/metagol/metagol (Try to ignore the scary header) [2] Thelma: https://github.com/stassa/thelma [3] Louise: https://github.com/stassa/louise [4] Hexmil: https://arxiv.org/abs/1805.00068
    comment by YeGoblynQueenne · 2021-06-03 · in William Byrd on logic and relational programming, miniKanren (2014)
  3. …of one of the algorithms that my research group studies (I'm a Phd research student) is Thelma: https://github.com/stassa/thelma In Thelma's README on github you will find an example of Thelma learning a grammar of the aⁿbⁿ language from…
    comment by YeGoblynQueenne · 2019-11-17 · in Douglas Hofstadter: The Shallowness of Google Translate (2018)