email:cabalar@dc.fi.udc.es
Website: http://www.dc.fi.udc.es/ai/~cabalar/
Biografía
Nació en cabañas, la Coruña, el 20 de julio de 1969 (Neil Amstrong
estaba muy ocupado ese día...).
- Diciembre de 2001 - PhD en informática (disponible en mis publicaciones),
escuela del CS de la Coruña.
- Abril de 2000 - Junio de de 2000, estancia en el laboratorio del KR,
departamento de la informática, universidad de la investigación de Texas
en el EL Paso, los E.E.U.U..
Octubre de 1997 - actualidad: profesor adjunto en la escuela de la informática
de un Coruña.
- Noviembre de 1995 - Octubre de 1997 , profesor del adjunto en la escuela
técnica de Ourense, universidad de la informática de Vigo. Septiembre
De 1993, Tesis Principal: "Back-End de un compilador con optimizacion
del uso de registros".
- Junio de de 1993, Informática en la escuela de la informática de Madrid,
universidad Politécnica de Madrid (admisión, 4ta, 5ta y 6ta).
- Junio de de 1989, graduado en informática, en la escuela del CS de la
Coruña, universidad de Santiago (ahora que pertenece a Univ. de la Coruña).
(1ros, 2dos y 3ro cursos).
Líneas de Investigación
Toda su investigación se incluye dentro de la inteligencia artificial.
Sus intereses principales son:
- Razonamiento sobre acciones : está a cargo de una herramienta
para el razonamiento automatizado sobre las acciones llamadas PAL (lengua
de la acción de la pertinencia).
- Programación de la lógica y razonamiento Nonmonotonic
- Razanamiento temporal.
- Lógica no clásica (modal, condicional, multi-valued, etc)
Es miembro del laboratorio del AI y también ha ayudado en el trabajo de
investigación para Medtool (una herramienta para el diseño y ejecución
de sistemas expertos temporales) y su formalización lógica (L2 o la lógica
de la pertinencia), ambas concebidas por Ramon P. Otero,su consejero de
Phd. Parte de este trabajo ha incluido el estudio de la relación entre
la teoría de Medtool y de los sistemas y los acercamientos de sistemas
discretos del acontecimiento.
Otras actividades de la investigación incluyen:
- miembro del grupo de la acción de Tejas
- miembro de AEPIA y de AAAI de la AVISPA (2002-2005).
- co-organizador del TARRAT'99
- Revisor de la información del contacto del diario de TPLP (para la edición
especial en el ASP).