AI 2007: advances in artificial intelligence 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007 ; proceedings (Springer, 2007)