Exámenes en Representación del Conocimiento y Razonamiento Automático