Learned in this study

#

Things to explore

#

Overview

#

AIXI (2000 - now)

#

http://www.hutter1.net/ai/uaibook.htm (theoretical)

Genifer (2010 - 2012) (abandoned)

#

https://code.google.com/p/genifer/

Gödel machine (2003 - now)

#

http://people.idsia.ch/~juergen/goedelmachine.html (theoretical)

NuPIC (2013 - now)

#

http://numenta.org/ https://github.com/numenta/nupic (Python)

OpenCog (2008 - now)

#

http://opencog.org/ https://github.com/opencog/opencog (C++/Scheme/Python)

OpenNARS (2014 - now)

#

https://github.com/opennars/opennars (Java) https://github.com/opennars/opennars2 (Clojure)