Logics in Artificial Intelligence - Fermé; Fermé, Eduardo; Leite, Joao (Springer International Publishing, 2014)