Leram - Artificial General Intelligence: 5th International Conference, Agi 2012, Oxford, UK, December 8-11, 2012. Proceedings: 7716