Michael Thielscher, Dongmo Zhang, editors, AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings. Volume 7691 of Lecture Notes in Computer Science, Springer, 2012. [doi]
Conference: ausai2012