Diploma and Master Theses (authored and supervised):
M. Ortiz de la Fuente:
"Nelson's Logics and the Answer Set Semantics";
Supervisor: M. Osorio;
Faculty of Computer Science, University of the Americas, Puebla (UDLAP). Mexico,
2004;
final examination: 2004-09-29.