Trabajos en #Lógica para Inteligencia Artificial