| Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
|---|---|---|---|---|---|
| 7-Mai-2011 | 3-Dez-2009 | Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem | Avelar, Andréia Borges | Ayala-Rincón, Mauricio | Galdino, André Luiz |
| 15-Out-2010 | 29-Fev-2008 | Raciocínio plausível na web semântica através de redes bayesianas multi-entidades - MEBN | Carvalho, Rommel Novaes | Ladeira, Marcelo | Costa, Paulo Cesar Guerreiro da |