Logics in Artificial Intelligence - Fermé (Springer International Publishing, 2014)