Áreas de interés
-
Sistemas Lógicos y su aplicación a la informática
-
Razonamiento automático
-
Lógicas de descripción
-
Creación de ontologías para dominios específicos
-
Programación lógica
-
Aprendizaje automático
-
Especificación, transformación y verificación de programas
-
Unificación