I Jornadas sobre Lógica, Computación, e Inteligencia Artificial. Segunda sesión

En la segunda sesión de estas jornadas asistimos a las siguientes intervenciones: El profesor Eugenio Roanes introdujo en su conferencia Algunas aplicaciones de las bases de Gröbner en Inteligencia Artificial (véase aquí las transparencias de la presentación) la relación algebraica entre el anillo de polinomios de característica finita y las lógicas proposicionales multivaluadas. Los profesores […]