@proceedings{LNAI7691,
   editor     = {Michael Thielscher and Dongmo Zhang},
   title      = {AI 2012: Advances in Artificial Intelligence},
   shorttitle = {AI 2012},
   publisher  = {Springer},
   location   = {Heidelberg},
   series     = {Lecture Notes in Computer Science},
   volume     = {7691},
   year       = {2012},
   isbn       = {978-3-642-35100-6}
}