email: david@dc.fi.udc.es

Website: http://www.dc.fi.udc.es/ai/~david/

Biografía:

- Nace en León (España) el 29 de noviembre de 1968
- En Junio de de 1990 se gradua en informática, en la escuela del CS de la Coruña, universidad de Santiago.
- En Octubre de 1992, presenta la Tesis de "Sistema de ficheros Unix BSD para arquitecturas PC-compatibles".
- Diciembre de 1995, estancia en el departamento de la ingeniería de sistemas, universidad de Johannes Kepler, Linz, Austria de la investigación.
- Noviembre de 1996 - profesor adjunto en la escuela de la informática de un Coruña.
- noviembre de 2001, PhD. en la Computer Science: Learning non-monotonic logic programs to reason about actions and change".

Líneas de investigación:

Razonamiento de programación de la lógica inductiva sobre las acciones (es miembro del grupo de la acción de Texas).
Lógica que programa y razonamiento de Nonmonotonic
Aprendizaje de teorías no-monoto'nicas de la acción como parte de su PhD.
Ha implementado un prototipo en ejecución (LRAC) en el aprendizaje de programas de la lógica para razonar sobre acciones y cambios.

Publicaciones y libros:

- Learning non-monotonic causal theories from narratives of actions 9th Intl. Workshop on Non-Monotonic Reasoning NMR'2002, Toulouse (France)
- Learning non-monotonic logic programs to reason about actions and change PhD dissertation, Nov. 2001
- Learning Logic Programs for Action Selection in Planning 3rd International Workshop on Extraction of Knowledge from Databases ( EKDB'01) EPIA 2001. 10th Portuguese Conference on Artificial Intelligence