"AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint ..."

Michael Thielscher, Dongmo Zhang (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics