Ejercicios en #Conocimiento y Razonamiento Automatizado