|
|
Descripción
En esta materia se presenta el Razonamiento Automático como rama de la
Inteligencia Artificial. Tiene como objetivo onseguir que los alumnos
conozcan las técnicas básicas de Razonamiento Automático y herramientas
que las implementan; y que sean capaces de desarrollar un trabajo de
Razonamiento Automático con estas herramientas.
En el proyecto docente de la asignatura se
puede encontrar una información más detallada.
Material para el curso
Anuncios
| 14 Sep 2022 |
Ya están disponibles las calificaciones provisionales de la segunda convocatoria. Se pueden consultar en la ficha de alumno. Las calificaciones se podrán revisar los días 20 y 21 de septiembre de 11:00 a 14:00, acordando una cita por correo electrónico. |
Información adicional:
| Profesor: |
Francisco Jesús Martín Mateos |
| Departamento: |
Ciencias de la Computación e Inteligencia Artificial |
| Despacho: |
Escuela Técnica Superior de Ingeniería Informática, E1-66 |
| Tutorías: |
Lunes y miércoles de 9:00 a 12:00 (De forma online previa cita) |
Francisco J. Martín Mateos
|
