Doctor en Ciencias de la Computación
Licenciado en Ciencias de la Computación

Programación lógica rebatible, razonamiento argumentativo y dinámica de creencias basada en informantes, aplicados a agentes deliberativos en entornos distribuidos.