Practicas de Conocimiento y Razonamiento Automatizado