| Date de publication | Data de defesa | Titre | Auteur(s) | Orientador(es) | Coorientador(es): |
|---|---|---|---|---|---|
| 25-sep-2018 | 24-avr-2018 | Ciborgues, memória e a mente estendida : uma abordagem lógica | Lima, Gabriel Filipe Santana | Costa-Leite, Alexandre | - |
| 15-mai-2020 | 13-aoû-2019 | Combining clause learning and resolution for multimodal reasoning | Angelos, Daniella Albuquerque dos | Nalon, Cláudia | - |
| 11-nov-2020 | - | Conjunctive and disjunctive limits : abstract logics and modal operators | Leite, Alexandre Fernandes Batista Costa; Souza, Edelcio G. de | - | - |
| 22-oct-2019 | 25-fév-2019 | A resolution-based E-connected calculus | Amaral, Lucas de Moura | Nalon, Cláudia | - |
| - | 2-fév-2018 | Sobre uma arquitetura da informação multimodal : reflexões sobre uma proposta epistemológica | Kuroki Júnior, George Hideyuki | Duque, Cláudio Gottschalg | - |
| 20-avr-2015 | 7-jan-2015 | Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença | Vieira, Thiago Coelho | Nalon, Cláudia | - |