Logics in Artifical Intelligence - ACIEGO (Mannel Ojeda)/ GUZMAN (Inmap) & Etc. (New Delhi SPRINGER)