akkartik/am-utexas
View on GitHub ↗ ★ 58 archived
Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
3 mentions on Hacker News by 2 people: 0 stories, 3 comments · first 2008-12-21 · latest 2021-08-29
20082026
-
…in Prolog. [0]: https://www.lesswrong.com/posts/rJLviHqJMTy8WQkow/recursion-... [1]: https://github.com/akkartik/am-utexas/tree/master
comment by zetalyrae · 2021-08-29 · in Why AM and Eurisko Appear to Work (1983) [pdf] -
I want to reiterate that sources for a reimplementation of AM are available. It's a start. http://github.com/akkartik/am-utexas/tree/master (earlier mentions: http://news.ycombinator.com/item?id=405112 and…
comment by akkartik · 2009-06-13 · in Let's reimplement Eurisko -
…a reimplementation of a famous AI program from the 70s that I've had lying around for 9 years: http://github.com/akkartik/am-utexas/tree/master And oh, learning prolog as I go.
comment by akkartik · 2008-12-21 · in Ask HN: Any Special Projects Over the Holidays?