Navegando por Autor Martins, Ana Teresa de Castro
Mostrando resultados 1 a 13 de 13
| Data do documento | Título | Autor(es) | Tipo |
| 2016 | Complexidade descritiva da lógica de ponto fixo relacional inflacionário | Farias, Márcia Roberta Falcão de | Tese |
| 2010 | Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modais | Freire, Cibele Matos | Dissertação |
| 2014 | Complexidade descritiva de classes de complexidade probabilísticas de tempo polinomial e das classes ⊕P e NP∩coNP através de lógicas com quantificadores de segunda ordem | Rocha, Thiago Alves | Dissertação |
| 2018 | Um estudo da "intencionalidade sem conteúdo" proposta pelo enativismo radical e sua relação com a inteligência artificial | Ribeiro, Renato Fernandes | Dissertação |
| 2012 | Expressividade e complexidade em lógicas preferenciais, híbridas e de grau limitado | Ferreira, Francicleber Martins | Tese |
| 2011 | Uma lógica de descrição default | Frota, Débora Farias | Dissertação |
| 2007 | Modelos minimais e hierarquia de expressividade | Ferreira, Francicleber Martins | Dissertação |
| 2019 | Parameterized complexity investigations on the first-order satisfiability and matching problems | Morais, Luis Henrique Bustamante de | Tese |
| 2012 | Refinamento de consultas em lógicas de descrição utilizando teoria dos rough sets | Oliveira, Henrique Viana | Dissertação |
| 2018 | Semântica algébrica equivalente para a lógica da inconsistência epistêmica | Mendes, Gabriela de Melo Pontes | Dissertação |
| 2007 | Um sistema infinitário para a lógica de menor ponto fixo | Arruda, Alexandre Matos | Dissertação |
| 2010 | Sistemas esquemáticos de dedução natural: um estudo prova-teórico | Cavalcante, Alexandre Silva | Tese |
| 2019 | Synthesis of first-order sentences using Ehrenfeucht–Fraïssé games and Boolean satisfiability | Rocha, Thiago Alves | Tese |
