ANA TERESA DE CASTRO MARTINS

Possui graduação em Tecnólogo em Processamento de Dados pela Universidade Federal do Ceará (1986), mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (1990) e doutorado em Ciência da Computação pela Universidade Federal de Pernambuco (1997). Atualmente é Professora Titular da Universidade Federal do Ceará. Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Teoria da Computação, atuando principalmente nos seguintes temas: Lógicas Clássicas e Não-Clássicas, Teoria da Prova, Teoria dos Modelos Finitos, Complexidade Descritiva e Parametrizada, Lógicas para Formalização e Automatização do Raciocínio.

Informações coletadas do Lattes em 01/02/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Ciências da Computação

1993 - 1997

Universidade Federal de Pernambuco
Título: A Syntactical and Semantical Uniform Treatment for the IDL & LEI Nonmonotonic System
Tarcísio Haroldo Cavalcante Pequeno. Coorientador: Ruy José Guerra Barretto de Queiroz. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Formalização e Automatização do Raciocínio; Lógicas Não-Monotônicas; Lógicas Paraconsistentes; Lógica Default; Cálculo de Sequentes; Semântica. Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.

Mestrado em Computação

1987 - 1990

Universidade Federal do Rio Grande do Sul
Título: Um Sistema de Revisão de Crenças para Resolução de Problemas,Ano de Obtenção: 1990
Orientador: José Mauro Volkmer de Castilho
Coorientador: Antônio Carlos da Rocha Costa. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Revisão de Crenças; Resolução de Problemas; Inteligência Artificial.Grande área: Ciências Exatas e da Terra

Graduação em Tecnólogo Em Processamento de Dados

1983 - 1986

Universidade Federal do Ceará

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Bem.

Espanhol

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.

Francês

Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Seção coletada automaticamente pelo Escavador

Áreas de atuação

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas Clássicas e Não Clássicas.

Seção coletada automaticamente pelo Escavador

Organização de eventos

MARTINS, A. T. C. ; Oliveira, J.T.A ; Borges, S.S.S. . Comissão Organizadora da II Semana do Centro de Ciências da UFC. 2010. (Congresso).

MARTINS, A. T. C. ; DOTTAVIANO, I. ; CONIGLIO, M. E. ; CARNIELLI, W. . Comissão Organizadora do XV Brazilian Logic Conference ? XV EBL & XIV Latin-American Symposium on Mathematical Logic ? XIV SLALM & CLE 30 Years. 2008. (Congresso).

CARVALHO, F. H. ; MARTINS, A. T. C. . Comissão Organizadora do XII Brazilian Symposium on Programming Languages. 2008. (Congresso).

QUEIROZ, R. ; MARTINS, A. T. C. . 14th Workshop on Logic, Language, Information and Computation. 2007. (Congresso).

BEZIAU, J. ; MARTINS, A. T. C. . 1st World Congress and School on Universal Logic. 2005. (Congresso).

MARTINS, A. T. C. . Organização do "Call for Workshops Proposals" e seleção do escolhido para o SBIA 2004. 2004. (Congresso).

MARTINS, A. T. C. ; BORGES, D. L. . III Encontro Nacional de Inteligência Artificial. 2001. (Congresso).

PEQUENO, T. H. C. ; MARTINS, A. T. C. . XXI Congresso da Sociedade Brasileira de Computação. 2001. (Congresso).

MARTINS, A. T. C. ; BORGES, D. L. . I Jornada de Atualização em Inteligência Artificial. 2001. (Congresso).

QUEIROZ, R. ; MARTINS, A. T. C. . 8th Workshop on Logic, Language, Information and Computation. 2001. (Congresso).

MARTINS, A. T. C. ; QUEIROZ, R. ; CONIGLIO, M. E. . 7th Workshop on Logic, Language, Information and Computation. 2000. (Congresso).

MARTINS, A. T. C. ; QUEIROZ, R. ; CARNIELLI, W. . 6th Workshop on Logic, Language, Information and Computation. 1999. (Congresso).

MARTINS, A. T. C. . LOGIA: Métodos Formais para o Raciocínio e a Representação do Conhecimento. 1999. (Outro).

MARTINS, A. T. C. . International Meeting on Language,Logic and Artificial Intelligence. 1998. (Congresso).

MARTINS, A. T. C. ; QUEIROZ, R. ; PEQUENO, T. H. C. ; PEQUENO, M. . 4th Workshop on Logic, Language, Information and Computation. 1997. (Congresso).

Seção coletada automaticamente pelo Escavador

Participação em eventos

Natural Deduction Meeting. Natural Deduction Meeting. 2001. (Congresso).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Rafael da Silva Albuquerque

Ana Teresa MartinsAlcântara, J.F.L.; MATTOS, C. L. C.; ROCHA NETO, A. R.. A Rought Sets-based rule induction for numerical datasets. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Allison Magno Eugênio da Silva

Ana Teresa Martins; PAULO NETO, F. M.; SILVA, E. P.. Implementação de Conversão de Provas ALC para Cálculo de Sequentes. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Renato Fernandes Ribeiro

Ana Teresa Martins; Brito, C.E.F.; FERREIRA, FRANCICLEBER; PORFIRIO, P.;PEQUENO, M.. Um estudo da intencionalidade sem conteudo proposta pelo enativismo radical e sua relação com a inteligência artificial. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Gabriela Pontes Mendes

Ana Teresa Martins; Haeusler, E.H.;Alcântara, J.F.L.; PINHO, G.. Semântica Algébrica Equivalente para a Lógica da Inconsistência Epistêmica. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Lucas Gonçalves de Moura Leite

ALCANTARA, JOAO;VASCONCELOS, D. R.; PORFIRIO, P.;MARTINS, A.T.. Raciocínio sobre Crenças utilizando a Lógica de Confiança em Tòpicos. 2016. Dissertação (Mestrado em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará.

Aluno: Arnaldo Araújo Lima Júnior

ALCANTARA, JOAO;Martins, A. T.; BENEVIDES, M.R.F.;VASCONCELOS, D. R.. Uma Abordagem utilizando Lógica de Primeira Ordem para Problemas de Decisão Multiagente baseada em Agregação de Preferências. 2015. Dissertação (Mestrado em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará.

Aluno: Thiago Alves Rocha

MARTINS, A. T. C.; Brito, C.E.F.;Alcântara, J.F.L.QUEIROZ, R.. Complexidade Descritiva de Classes de Complexidade Probabilísticas de Tempo Polinomial e das Classes parity P e NP interseção coNP Através de Lógicas com Quantificadores Generalizados de Segunda Ordem. 2014. Dissertação (Mestrado em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará.

Aluno: Henrique Viana Oliveira

Alcântara, J.F.L.MARTINS, A. T. C.; Brito, C.E.F.;Benevides, M.. Refinamento de Consultas em Lógicas de Descrição Utilizando a Teoria dos Rough Sets. 2012. Dissertação (Mestrado em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará.

Aluno: Iuri Fernandes Queiroz

MARTINS, A. T. C.Alcântara, J.F.L.Benevides, M.; Brito, C.E.F.. Versionamento de Ontologias Baseado em Lógicas Temporais. 2012. Dissertação (Mestrado em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará.

Aluno: Débora Farias Frota

Haeusler, E.H.;Alcântara, J.F.L.MARTINS, A. T. C.. Uma Lógica de Descrição Default. 2011. Dissertação (Mestrado em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará.

Aluno: Aracele Garcia de Oliveira

BUCHSBAUM, A.;MARTINS, A. T. C.; Westphall, C.B.; Sobral, J.B.M.. Uma Apresentação dos Principais Sistemas relacionados à Lógica Clássica. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Alfredo Antonio de Araujo Malheiros Filho

MARTINS, A. T. C.PEQUENO, M.; PINHEIRO, V. C. M.; MARTINS, H. F.. Semântica Inferencialista na Resolução de Anáforas Pronominais. 2010. Dissertação (Mestrado em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará.

Aluno: Alvaro Altair Ferreira da Silva

MARTINS, A. T. C.; BUCHSBAUM, A.; Westphall, C.B.; Sobral, J.B.M.. Condições de equivalência entre os princípios da indução fraca, da indução completa, e da boa ordem. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

Aluno: Cibele Matos Freire

MARTINS, A. T. C.Benevides, M.; Brito, C.E.F.;Alcântara, J.F.L.. Complexidade descritiva das lógicas de ordem superior com ponto fixo e análise de expressividade de algumas lógicas modais. 2010. Dissertação (Mestrado em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará.

Aluno: Wladimir Araújo Tavares

BUCHSBAUM, A.;MARTINS, A. T. C.PEQUENO, M.. Sistemas Formais Avançados e a Estratificação Relevante: Uma Defesa de Predicatividade das Definições. 2008. Dissertação (Mestrado em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará.

Aluno: Francicleber Martins Ferreira

MARTINS, A. T. C.; Veloso, P.; João Marcos;PEQUENO, M.. Modelos Minimais e Hierarquia de Expressividade. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Alexandre Matos Arruda

MARTINS, A. T. C.; Pereira, L.C.;PEQUENO, M.. Um Sistema Infinitário para a Lógica de Menor Ponto Fixo. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Rodrigo Veras

PEQUENO, M.MARTINS, A. T. C.; Zaverucha, G.. Uma nova abordagem para o raciocínio não monotônico. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Felipe Ferreira de Morais Netto

MARTINS, A. T. C.QUEIROZ, R.PEQUENO, M.. Banca Defesa Dissertação Mestrado: Teoremas de Normalização para a Lógica da Inconsistência Epistêmica. 2004. Dissertação (Mestrado em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará.

Aluno: [Nome removido após solicitação do usuário]

MARTINS, A. T. C.; Pereira, L.C.;PEQUENO, M.. Banca Defesa Dissertação Mestrado: Dedução Natural e Normalização Fraca para Lógica Linear Completa. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Ricardo Ferraz Tomaz

MARTINS, A. T. C.; LABIDI, S.; NASCIMENTO, E.. Banca Defesa Dissertação Mestrado: Uma Arquitetura baseada em WEB Services Semânticos para Agrupamento dos Agentes Negociantes no Ambiente ICS de Comércio Eletrônico. 2003. Dissertação (Mestrado em Engenharia de Eletricidade) - Universidade Federal do Maranhão.

Aluno: Mauro César Scheer

MARTINS, A. T. C.; DOTTAVIANO, I.; FEITOSA, H. A.; CONIGLIO, M. E.. Banca Defesa Dissertação Mestrado: Para uma Teoria de Traduções entre Lógicas Cumulativas. 2002. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Aluno: [Nome removido após solicitação do usuário]

MARTINS, A. T. C.PEQUENO, M.PEQUENO, T. H. C.. Banca de Qualificação: Dedução Natural para Lógica Linear. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Felipe Ferreira

MARTINS, A. T. C.PEQUENO, T. H. C.PEQUENO, M.. Banca de Qualificação: Uma Teoria da Prova para a Lógica da Inconsistência Epistêmica. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Felipe Vieira da Silva

MARTINS, A. T. C.PEQUENO, T. H. C.; SILVA, F. A. T. F.. Banca Defesa Dissertação Mestrado: Planejamento Automático com Suporte a Recurso. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Edson Holanda Cavalcante Jr

MARTINS, A. T. C.QUEIROZ, R.; DIAS,. Banca Defesa Dissertação Mestrado: Sobre o Critério de Corretude para Grafos de Prova. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: José Aguilberto Silveira

MARTINS, A. T. C.; PORFIRIO, P.; FURTADO, J. J. V.. Banca de Qualificação:Auxiliando a Análise do Perfil do Contribuinte do ICMS do Estado do Ceará Através do Uso de Algoritmos Indutivos de Aprendizagem. 2001. Dissertação (Mestrado em Mestrado em Informática Aplicada) - Universidade de Fortaleza.

Aluno: Francisco Erivelton Aragão

MARTINS, A. T. C.PEQUENO, T. H. C.PEQUENO, M.; BUCHSBAUM, A.. Banca Defesa Dissertação Mestrado: Raciocínio e Decisão usando LEI. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Felipe Vieira Silva

MARTINS, A. T. C.PEQUENO, M.; CONIGLIO, M. E.. Banca de Qualificação:Detalhamento de Planos utilizando Regras Default. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Allan Reffson Granja Lima

MARTINS, A. T. C.; LINHARES, C.; CORREIA, R.. Banca de Qualificação:Aprendizagem Automática na Internet usando Rede Local. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Marcelo Pereira Pinto

MARTINS, A. T. C.PEQUENO, T. H. C.RIBEIRO, J. W.. Banca de Qualificação: Computação Híbrida em Ensino Assistido na Modelagem Avançada. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Ernesto Vasconcelos Carvalho

MARTINS, A. T. C.; SOUZA, J. N.. . Banca Defesa Dissertação Mestrado: Gerenciamento Pró-Ativo baseado em Lógica Difusa. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Ricardo Sousa Silvestre

MARTINS, A. T. C.PEQUENO, T. H. C.PEQUENO, M.; VANDERVEKEN, D.. . Banca Defesa Dissertação Mestrado: Um tratamento formal para o raciocínio sobre ação em inteligência artificial. 1998. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Luis Henrique Bustamantes de Morais

Ana Teresa Martins; Brito, C.E.F.;Ferreira, Francicleber Martins; Haeusler, E.H.;Benevides, M.. Parameterized Complexity Investigations on the First-Order Satisfiability and Matching Problems. 2019. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Thiago Alves Rocha

Ana Teresa MartinsAlcântara, J.F.L.FERREIRA, F. M.; Haeusler, E.H.;QUEIROZ, R.. Synthesis of First-Order Sentences using Ehrenfeucht-Fraisse Games and Boolean Satisfiability. 2019. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Arthur Freitas Ramos

Ana Teresa MartinsQUEIROZ, R.; FREITAS, F.; Haeusler, E.H.; MARIANO, H. L.; PIMENTEL, E.; MELO, S.. Explicit Computational Paths in Type Theory. 2018. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Henrique Viana Oliveira

Ana Teresa MartinsAlcântara, J.F.L.; WASSERMANN, R.; MARCHI, J.; OLIVEIRA, P. T. G.. Propositional Belief Merging and Distributive Justice. 2018. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Eunice Palmeira da Silva

Ana Teresa Martins; OLIVEIRA, A. G.; FREITAS, F.; Haeusler, E.H.. Conversão de Provas em Lógica de Descrições ALC Geradas pelo Método de Conexões para Sequentes. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Marcus Vinícius Midena Ramos

AYALA, M.; FREITAS, F.; Haeusler, E.H.; ALMEIDA, J. C. B.; MOURA, F. L. C.;QUEIROZ, R.Ana Teresa Martins. FORMALIZATION OF CONTEXT-FREE LANGUAGE THEORY. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Ruan Vasconcelos Bezerra Carvalho

Ana Teresa Martins; OLIVEIRA, A. G.; Haeusler, E.H.; Pereira, L.C.. "N-GRAPHS REVISITED VIA SUB-N-GRAPHS: STRONG NORMALIZATION IN CLASSICAL LOGIC AND INTUITIONISTIC N-GRAPHS. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Francicleber Martins Ferreira

MARTINS, A. T. C.; GRADEL, E.;Benevides, M.; Haeusler, E.H.;PEQUENO, M.; Brito, C.E.F.. Expressiveness and Complexity in Preferential Hybrid and Bounded-Degree Logics. 2012. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal do Ceará.

Aluno: Alexandre Cavalcante Silva

MARTINS, A. T. C.PEQUENO, M.; Pereira, L.C.;QUEIROZ, R.Benevides, M.. Sistemas Esquemáticos de Dedução Natural - Um Estudo Prova-Teórico.. 2010. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal do Ceará.

Aluno: Sergio da Silva Aguiar

QUEIROZ, R.MARTINS, A. T. C.. Uma análise de autoreferência baseado em fluxos semânticos. 2008. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Jerusa Marchi

MARTINS, A. T. C.; COSTA, N.; FINGER, M.; HERZIG, A.. Banca Defesa Tese Doutorado: Operadores Sintáticos para Mudança de Crenças baseados na Representação em Formas Normais Primárias. 2006. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: ISABEL TONIN

MARTINS, A. T. C.; BITTENCOURT, G.; WAINER, J.; COSTA, R. J. C.; PIERI, E. R.. Banca Defesa Tese Doutorado: Formas Normais de Fórmulas em Lógica de Primeira Ordem e Aplicações em Dedução Automática. 2003. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: Luis Henrique Bustamante de Morais

Ana Teresa Martins; ALCANTARA, JOAO; Haeusler, E.H.;FERREIRA, F.M.. Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic. 2017. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal do Ceará.

Aluno: Thiago Alves Rocha

Ana Teresa MartinsFERREIRA, F.M.QUEIROZ, R.Alcântara, J.F.L.. Aprendizagem de Fórmulas da Lógica de Primeira-Ordem sobre Classes de Estruturas Relacionais. 2017. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal do Ceará.

Aluno: Henrique Viana Oliveira

ALCÂNTARA, JOÃO;Ana Teresa MartinsQUEIROZ, R.. Propositional Belief Merging and Distributive Justice. 2017. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal do Ceará.

Aluno: Eunice Palmeira da Silva

Ana Teresa Martins; OLIVEIRA, A. G.; Haeusler, E.H.; FREITAS, F.. Explaining Proofs in Description Logic Using Connection Calculus. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Luis Henrique Bustamante de Morais

Ana Teresa MartinsFERREIRA, F. M.; SAMPAIO, R.. Descrevendo Classes Parametrizadas de Circuitos através de Lógicas e seu uso para obtenção de limites superiores e inferiores de problemas parametrizados. 2016. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal do Ceará.

Aluno: Thiago Alves Rocha

Ana Teresa MartinsFERREIRA, F. M.Alcântara, J.F.L.. Distinguibilidade em Classes de Estruturas usando Similaridade e Fórmulas de Hintikka. 2016. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal do Ceará.

Aluno: Henrique Viana Oliveira

ALCANTARA, JOAO;Ana Teresa MartinsFERREIRA, F. M.. Propositional Belief Merging and Distributive Justice. 2016. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal do Ceará.

Aluno: Márcia Roberta Falcão de Farias

Ana Teresa Martins; Haeusler, E.H.;FERREIRA, F. M.Alcântara, J.F.L.. Complexidade Descritiva de Lógicas de Ponto Fixo Relacionais. 2015. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal do Ceará.

Aluno: Alexandre Silva Cavalcante

MARTINS, A. T. C.PEQUENO, T. H. C.; Pereira, L.C.; CARVALHO, F. H.. Esquemas Genéricos da Teoria da Prova Abstrata. 2007. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Gabriela de Melo Pontes Mendes

Ana Teresa Martins; Haeusler, E.H.;João Alcântara; PINHO, G.. Semântica Algébrica Equivalente para a Lógica da Inconsistência Epistêmica. 2018. Exame de qualificação (Mestrando em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará.

Aluno: Rafael da Silva Albuquerque

Ana Teresa MartinsJoão Alcântara; GOMES, J. P. P.. Rough set based rule induction. 2018. Exame de qualificação (Mestrando em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará.

Aluno: Renato Fernandes Ribeiro

Ana Teresa Martins; Brito, C.E.F.; FERREIRA, FRANCICLEBER;PEQUENO, M.. Uma proposta de naturalização para intencionalidade sem conteúdo e sua utilidade para a inteligência artificial. 2018. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Pedro Rocha Muniz

Ana Teresa Martins; ALCÂNTARA, JOÃO;VASCONCELOS, D. R.; FERREIRA, FRANCICLEBER. Sobre o poder expressivo de F O[N] e sua relação com Linguagens Formais. 2018. Exame de qualificação (Mestrando em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará.

Aluno: Renato Fernandes Ribeiro

Ana Teresa Martins; Brito, C.E.F.;PEQUENO, M.. Investigação da Existência de Intencionalidade em Fenômenos Cognitivos sem Conteúdo. 2017. Exame de qualificação (Mestrando em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará.

Aluno: Lucas Gonçalves de Moura Leite

Ana Teresa MartinsVASCONCELOS, D. R.João Alcântara. RACIOCÍNIO SOBRE CRENÇAS UTILIZANDO A LÓGICA DE CONFIANÇA EM TÓPICOS. 2016. Exame de qualificação (Mestrando em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará.

Aluno: Arnaldo Araújo Lima Júnior

ALCANTARA, JOAO;MARTINS, A. T. C.; Brito, C.E.F.;VASCONCELOS, D. R.. UMA ABORDAGEM UTILIZANDO LÓGICA EPISTÊMICA DINÂMICA COM AGREGAÇÃO DE PREFERÊNCIAS PARA PROBLEMAS DE DECISÃO MULTIAGENTE. 2015. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal do Ceará.

Aluno: Raimundo Robledo Pontes Filho

MARTINS, A. T. C.PEQUENO, M.PEQUENO, T. H. C.. Banca de Qualificação: Lógicas da Plausibilidade. 2003. Exame de qualificação (Mestrando em Ciências da Computação) - Universidade Federal do Ceará.

Ana Teresa MartinsBenevides, M.QUEIROZ, R.. Banca Examinadora para Promoção à Professor Titular Professora Aline Maria Santos Andrade. 2019. Universidade Federal da Bahia.

Ana Teresa Martins; SOUZA, J. N.; VIDAL, C. A.; CRUZ NETO, J. X.; BIGONHA, R. S.; CUNHA, H. N.. Banca Examinadora para Promoção à Professor Titular Professor Francisco Vieira de Souza. 2017. Universidade Federal do Piauí.

Ana Teresa MartinsPEQUENO, T. H. C.; PINHEIRO, P. R.; THOMAZ, A. C. F.. Banca Examinadora para Promoção à Professor Titular Professor Fernando Antônio de Carvalho Gomes. 2017. Universidade Federal do Ceará.

MACHADO, J.; CONCI, A.; Mendonça, Nabor; THOMAZ, A. C. F.;Ana Teresa Martins; BRAYNER, A. R. A.. Banca Examinadora para Promoção à Professor Titular Professora Vânia Vidal. 2016. Universidade Federal do Ceará.

THOMAZ, A. C. F.; CRUZ NETO, J. X.; PINHEIRO, P. R.; KLEIN, S.;Ana Teresa Martins; OCHI, L. S.. Banca Examinadora para Promoção à Professor Titular Professor Manoel Campelo. 2016. Universidade Federal do Ceará.

BARROS NETO, J. P.; POLAK, Y. N. S.; SANTOS, G. L.; BRASILEIRO FILHO, S.; BARRETO, J. A. E.;MARTINS, A.T.. Banca Examinadora para Promoção à Professor Titular Professor Mauro Pequeno. 2016. Universidade Federal do Ceará.

Ana Teresa Martins; BRASILEIRO FILHO, S.; POLAK, Y. N. S.; BARRETO, J. A. E.; MACHADO, J. C.; SANTOS, G. L.. Banca Examinadora para Promoção à Professor Titular Professor José Aires de Castro Filho. 2016. Universidade Federal do Ceará.

PEQUENO, M.Alcântara, J.F.L.; Brito, C.E.F.;MARTINS, A. T. C.; SANTOS, E. M.. Concurso Julgadora do Concurso Público para Campus de Crateús Portaria 271/2015 de 18 de junho de 2015. 2015. Universidade Federal do Ceará.

MARTINS, A. T. C.. Concurso Julgadora do Concurso Público para Campus de Russas. 2014. Universidade Federal do Ceará.

MARTINS, A. T. C.; Benjamim Bedregal; Lewitzka, Steffen. Comissão Julgadora para Concurso Público Professor Efetivo na UFPB. 2010. Universidade Federal da Paraíba.

MARTINS, A. T. C.PEQUENO, T. H. C.. Comissão Julgadora do Concurso Públicao para Campus Quixadá Portaria 2/2009 15/04/2009. 2009. Universidade Federal do Ceará.

MARTINS, A. T. C.; VIDAL, C.; Cavalcante, J.B.. Presidente da Comissão Julgadora do Concurso Público Professor Substituto Portaria 22/2008 13/08/2008. 2008. Universidade Federal do Ceará.

MARTINS, A. T. C.PEQUENO, M.; PORFIRIO, P.;PEQUENO, T. H. C.; PINHEIRO, P. R.. Presidente da Comissão Julgadora para o Concurso Público de provimento de 1 vaga de Professor Assistente no setor de estudos. 2007. Universidade Federal do Ceará.

MARTINS, A. T. C.; ANDRADE, A.; FERRAZ, C.. Professor Adjunto na Matéria Estrutura de Dados. 2003. Universidade Federal da Bahia.

MARTINS, A. T. C.PEQUENO, M.; CORREIA, R.. Professor Substituto. 2002. Universidade Estadual Vale do Acaraú.

MARTINS, A. T. C.; VASCONCELOS, W.; RIOS, J. R.. Professor assistente na área de Teoria da Computação. 1998. Universidade Estadual do Ceará.

Lucena, C; ANIDO, R.; MALDONADO, J.;MARTINS, A. T. C.; Song, S.; WAGNER, F.; SILVA, E. A. S. E.;PEQUENO, T. H. C.; Pacca, H.; CUNHA, P.. Membro da Comissão para a Avaliação Trienal 2004-2006 dos programas de Pós-graduação stricto sensu na área de Ciência da Computação no período de 06/08 a 10/08 de 2007. 2007. Coordenação de Aperfeiçoamento de Pessoal de Nível Superior.

MALDONADO, J.;MARTINS, A. T. C.; WAGNER, F.; Pacca, H.. Membro da Comissão para a Avaliação dos Recursos à Trienal 2004-2006 dos programas de Pós-graduação stricto sensu na área de Ciência da Computação no período de 3/12 a 6/12 de 2007. 2007. Coordenação de Aperfeiçoamento de Pessoal de Nível Superior.

Lucena, C; CUNHA, P.; ANIDO, R.; MALDONADO, J.;MARTINS, A. T. C.PEQUENO, T. H. C.; WAINER, J.; ZIVIANI, N.; Song, S.; SILVA, E. A. S. E.; Pacca, H.. Membro da Comissão para o Acompanhamento Anual 2006 dos programas de Pós-graduação stricto sensu na área de Ciência da Computação no período de 27/11 a 01/12 de 2006. 2006. Coordenação de Aperfeiçoamento de Pessoal de Nível Superior.

MARTINS, A. T. C.; BOTURA FILHO, D.. Reconhecimento do Curso Superior em Tecnologia de Processamento de Dados. 1992. Centro de Ensino Superior do Pará.

Ana Teresa Martins; CIASCA, I. L. F.; CASTRO FILHO, J. A.. Banca de Progressao Funcional para Associado 2 do Professor Fernando Lincoln. 2019. Universidade Federal do Ceará.

Ana Teresa Martins; CIASCA, I. L. F.; CASTRO FILHO, J. A.. Banca de Progressao Funcional para Associado 1 da Professora Raquel Santiago. 2019. Universidade Federal do Ceará.

Ana Teresa Martins; CIASCA, I. L. F.; CASTRO FILHO, J. A.. Banca de Progressao Funcional para Associado 2 do Professor Eduardo Junqueira. 2019. Universidade Federal do Ceará.

Ana Teresa Martins; CASTRO FILHO, J. A.; CIASCA, M. I. F. L.. Banca de Progressao Funcional para Associado 1 da Professora Priscila Barros David. 2019. Universidade Federal do Ceará.

Ana Teresa Martins; CASTRO FILHO, J. A.; CIASCA, I. L. F.. Banca de Progressao Funcional para Associado I do Professor Robson Loureiro. 2018. Universidade Federal do Ceará.

Ana Teresa Martins; CASTRO FILHO, J. A.; CIASCA, M. I. F. L.. Banca de Progressao Funcional para Associado I do Professor José Gilvan Rodrigues Maia. 2018. Universidade Federal do Ceará.

Ana Teresa Martins; CASTRO FILHO, J. A.; CIASCA, M. I. F. L.. Banca de Progressao Funcional para Associado I do Professor GABRIEL ANTOINE LOUIS PAILLARD. 2018. Universidade Federal do Ceará.

Ana Teresa Martins; CASTRO FILHO, J. A.; CIASCA, M. I. F. L.. Banca de Progressao Funcional para Associado I do Professor Windson Viana de Carvalho. 2018. Universidade Federal do Ceará.

Ana Teresa Martins; LINHARES, C.; CARVALHO, F. H.;Alcântara, J.F.L.. Comissão de avaliação do estágio probatório final de Ana Karolinna. 2018. Universidade Federal do Ceará.

Ana Teresa Martins; CIASCA, I. L. F.; CASTRO FILHO, J. A.. Banca de Progressao Funcional para Associado I do Professor Fernando Lincoln. 2018. Universidade Federal do Ceará.

LINHARES, C.; CARVALHO, F. H.;Ana Teresa Martins. Comissão de avaliação do estágio probatório parcial de Ana Karolinna. 2017. Universidade Federal do Ceará.

Ana Teresa Martins; PEQUENO, M.; BARROS NETO, J. P.. Banca de Progressão Funcional de Davi Romero de Vasconcelos para Associado II. 2017. Universidade Federal do Ceará.

Ana Teresa Martins; CASTRO FILHO, J. A.; CIASCA, M. I. F. L.. Banca de Progressão Funcional de Eduardo Santos Junqueira Rodrigues. 2017. Universidade Federal do Ceará.

Ana Teresa MartinsAlcântara, J.F.L.; Brito, C.E.F.. Comissão de avaliação do estágio probatório parcial de Francesco Corona. 2017.

Ana Teresa Martins. Banca para avaliação dos trabalhos dos encontros universitários PID 2017. 2017. Universidade Federal do Ceará.

Ana Teresa Martins; Campelo Neto, M B; LELIS, R. C. C.. Banca Examinadora para proceder a avaliação de desempenho do professor Ricardo Cordeiro Correa de Associado II para III na UFRRJ. 2016. Universidade Federal Rural do Rio de Janeiro.

Ana Teresa Martins. Banca Examinadora para proceder a avaliação do estágio probatório do professor João Paulo Pordeus Gomes do DC - UFC. 2016. Universidade Federal do Ceará.

Ana Teresa Martins; CARVALHO, F. H.;PEQUENO, M.. Banca Examinadora para proceder a avaliação de progressão do professor João Fernando Alcântara do DC - UFC. 2016. Universidade Federal do Ceará.

MARTINS, A. T. C.; PEQUENO, M.; BARROS NETO, J. P.. Presidente da Banca Examinadora para proceder a avaliação de desempenho acadêmico com vistas à progressão funcional de Adjunto IV para professor Associado I segundo a portaria 44/2015 de 3 de junho de 2015 Campus de Quixadá do Professor Davi Romero de Vasconcelos. 2015. Universidade Federal do Ceará.

OLIVEIRA, J. G. B.;MARTINS, A. T. C.. Banca Examinadora para proceder a avaliação de desempenho acadêmico com vistas à progressão funcional para professor Associado de docentes lotados no Centro de Ciências, Portaria No 835 de 22 de abril de 2008. 2008.

OLIVEIRA, J. G. B.;MARTINS, A. T. C.. Banca Examinadora para proceder a avaliação de desempenho acadêmico com vistas à progressão funcional para professor Associado de docentes lotados no Centro de Ciências, Portaria No 2064 de 8 de novembro de 2007. 2007. Universidade Federal do Ceará.

Farias, G.A.;MARTINS, A. T. C.. Banca Examinadora para proceder a avaliação de desempenho acadêmico com vistas à progressão funcional para professor Associado de docentes lotados no Centro de Ciências, Portaria No 1302 de 7 de agosto de 2006. 2006. Universidade Federal do Ceará.

MARTINS, A. T. C.; VIDAL, C.; VIDAL, V.. Reconhecimento de titulo de mestre obtido no exterior. 2002. Victoria University of Manchester.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Rosa Maria Vicari

VICCARI, R. M.; MARTINS, A. T. C.; COSTA, A. C. R.; CLÁUDIO, D. M.. Um sistema de revisão de crenças para resolução de problemas. 1990. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Seção coletada automaticamente pelo Escavador

Orientou

Bruno Menezes Rocha

Lógica para Formalização e Automatização do Raciocínio; Início: 2019; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Alisson Alves Martins

Lógica: Modelos, Expressividade, Complexidade e Aplicações; Início: 2019; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Matheus Ernesto Brasil Silva

A Argumentação através da Lógica; Início: 2019; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal do Ceará; (Orientador);

GUSTAVO ANTONIO SOUSA PAZ E MOTA

Uso da Lógica para formalizar a Argumentação; Início: 2018; Iniciação científica (Graduando em Computação) - Universidade Federal do Ceará; (Orientador);

Francisco San Diego De Sousa Castilho

Uso da Lógica para formalizar a Argumentação; Início: 2018; Iniciação científica (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Gabriela de Melo Pontes Mendes

Semântica Algébrica Equivalente para a Lógica da Inconsistência Epistêmica; 2018; Dissertação (Mestrado em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ana Teresa de Castro Martins;

Arnaldo Araújo Lima Júnior

Uma Abordagem utilizando Lógica de Primeira Ordem para Problemas de Decisão Multiagente baseada em Agregação de Preferências; 2015; Dissertação (Mestrado em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ana Teresa de Castro Martins;

Thiago Alves Rocha

Complexidade Descritiva de Classes de Complexidade Probabilísticas de Tempo Polinomial e das Classes parity P e NP interseção coNP Através de Lógicas com Quantificadores Generalizados de Segunda Ordem; 2014; Dissertação (Mestrado em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ana Teresa de Castro Martins;

Iuri Fernandes Queiroz

Versionamento de Ontologias Baseado em Lógicas Temporais; 2012; Dissertação (Mestrado em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Henrique Viana Oliveira

Refinamento de Consultas em Lógicas de Descrição Utilizando a Teoria dos Rough Sets; 2012; Dissertação (Mestrado em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Ana Teresa de Castro Martins;

Débora Farias Frota

Uma Lógica de Descrição Default; 2011; Dissertação (Mestrado em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ana Teresa de Castro Martins;

Cibele Matos Freire

Complexidade descritiva das lógicas de ordem superior com ponto fixo e análise de expressividade de algumas lógicas modais; 2010; Dissertação (Mestrado em Doutorado e Mestrado em Ciencia da Computacao) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Alexandre de Matos Arruda

Um Sistema Infinitário para a Lógica de Menor Ponto Fixo; 2007; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Francicleber Martins Ferreira

Modelos Minimais e Hierarquia de Expressividade; 2007; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Felipe Ferreira de Morais Netto

Teoremas de Normalização para a Lógica da Inconsistência Epistêmica; 2004; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ana Teresa de Castro Martins;

[Nome removido após solicitação do usuário]

Dedução Natural e Normalização Fraca para Lógica Linear Completa; 2003; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ana Teresa de Castro Martins;

Felipe Vieira Silva

Planejamento Automático com Suporte a Recursos; 2002; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Luis Henrique Bustamante

Parameterized Complexity Investigations on the First-Order Satisfiability and Matching Problems; 2019; Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ana Teresa de Castro Martins;

Thiago Alves Rocha

Synthesis of First-Order Sentences using Ehrenfeucht-Fraisse Games and Boolean Satisfiability; 2019; Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal do Ceará,; Orientador: Ana Teresa de Castro Martins;

Márcia Roberta Falcão de Farias

Complexidade Descritiva da Lógica de Ponto Fixo Relacional Inflacionário; 2016; Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Francicleber Martins Ferreira

Expressiveness and Complexity in Preferential Hybrid and Bounded-Degree Logics; 2012; Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ana Teresa de Castro Martins;

Alexandre Cavalcante Silva

Sistemas Esquemáticos de Dedução Natural - Um Estudo Prova-Teórico; ; 2010; Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ana Teresa de Castro Martins;

Francicleber Martins Ferreira

2016; Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico; Ana Teresa de Castro Martins;

Yonara

Análise e projeto do sistema de faturamento da INTRAL; 1989; 0 f; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade de Caxias do Sul; Orientador: Ana Teresa de Castro Martins;

Levi de Souza Tavares

Lógicas Clássica e Não-Clássicas: Modelo, Expressividade e Aplicações à Computação; 2018; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará; Orientador: Ana Teresa de Castro Martins;

Karlos Ítalo Pedrosa Bastos

Processo: 424188/2016-3 Lógica: Modelos, Expressividade, Complexidade e Aplicações; 2018; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Bruno Menezes Rocha

Lógica: Modelos, Expressividade, Complexidade e Aplicações; 2018; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Pedro Rocha Muniz

Expressividade e Complexidade da Lógica Clássica, dos seus Fragmentos e Extensões; 2016; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Marcos Felipe de Menezes Mota

Expressividade e Complexidade de Lógicas; 2015; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Inaciane Falcão Monteiro

Expressividade e Complexidade da Lógica Clássica, dos seus Fragmentos e Extensões; 2015; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará; Orientador: Ana Teresa de Castro Martins;

Alberto Luiz Rigotto Teixeira

Lógicas Clássica e Não-Clássicas: Modelo, Expressividade e Aplicações à Computação; 2015; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Gabriela de Melo Pontes Mendes

Lógicas Clássica e Modais: Modelos, Expressividade e Complexidade; 2014; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Pedro Igo Sousa Lucas

Expressividade e Complexidade de Lógicas; 2014; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Victor Ishii

Lógicas Clássica e Não-Clássicas: Modelos, Provas e Complexidade; 2014; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Hugo Carvalho de Paula

Lógicas Clássica e Não-Clássicas: Modelos, Provas e Complexidade; 2013; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Antonio Marcos Mendes de Sousa

Lógicas Clássica e Não-Clássicas: Modelos, Provas e Complexidade; 2012; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Rebeca Guimarães Benevides

(Processo no 129868/2010-8) Tratamento de Contradições e Incertezas nas Lógicas Descritivas; 2011; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Vladimir Portela Parente

Extensões da Lógica Clássica de Primeira Ordem: Modelos, Provas e Complexidade; 2011; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Thiago Alves da Rocha

Extensões da Lógica Clássica de Primeira Ordem: Modelos, Provas e Complexidade; 2011; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Abelardo Vieira Mota

Extensões da Lógica Clássica de Primeira Ordem: Modelos, Provas e Complexidade; 2010; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Iuri Fernandes Queiroz

Extensões da Lógica Clássica de Primeira Ordem: Modelos, Provas e Complexidade; 2009; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Joaquim Carneiro de Azevedo Neto

Aspectos Lógico Filosófico da Negação: Extensões da Lógica Clássica de Primeira Ordem; 2008; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Caio Rodrigues

Aspectos Lógico Filosófico da Negação: Extensões da Lógica Clássica de Primeira Ordem; 2008; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará; Orientador: Ana Teresa de Castro Martins;

Rafael de Lima

Extensões da Lógica Clássica de Primeira Ordem: Modelos, Provas e Complexidade; 2008; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ana Teresa de Castro Martins;

Agnelo Rocha da Silva

Teoria da Prova para Lógicas Não Clássicas; 2007; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Débora Farias Frota

Teoria da Computacao: modelos e metodos; 2007; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Universidade Federal do Ceará; Orientador: Ana Teresa de Castro Martins;

Carlos Eduardo Barbosa

Teoria da Computacao: modelos e metodos; 2005; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará; Orientador: Ana Teresa de Castro Martins;

Pedro Ferreira Melo Júnior

Teoria da Prova para Lógicas Não-clássicas (Paraconsistentes); 2004; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Alexandre Matos Arruda

Teoria da Prova para Lógicas Modais; 2004; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Markos Oliveira Freitas

Formalização e Automatização do Raciocínio; 2004; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Francicleber Martins Ferreira

Teoria da Prova para Lógicas Não Clássicas (Não Monotônicas); 2003; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Raphael Amorim Dantas Leite

Manutenção de Bases de Conhecimento em Sistemas Especialistas Utilizando-se Redes Neurais; 2002; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Davi Romero Vasconcelos

Uma tradução que preserva a derivabilidade entre LEI e a lógica modal S5; 2000; 0 f; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ana Teresa de Castro Martins;

Raimundo Robledo Pontes

Prova da Equivalência entre a Semântica e Valorações e a Semântica Modal de LEI; 2000; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ana Teresa de Castro Martins;

Carlos Eugênio Lopes Pires Xavier Torres

Tratamento Simbólico do Conhecimento Incompleto em Sistemas Especialistas; 2000; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Márcio Mazza

Sobre a relação entre as noções de plausibilidade e quase todo nas lógicas LEI e dos Ultrafiltros; 1999; 0 f; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Marcelo Cruz de Souza

Modelagem Algébrica de Redes Neurais Artificiais; 1999; 0 f; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Alex Sandro Bezerra Dantas

O Desenvolvimento de um Sistema Especialista para o diagnóstico de mudanças climáticas; 1998; 0 f; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Derlange Maia Rufino

Resolvendo Jogos com Técnicas de Inteligência Artificial; 1998; 0 f; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Ronaldo Falcao Ribeiro

Projeto WAVES: Modelagem do Raciocínio Prático Sob Conhecimento Incompleto e Impreciso em Situações de Mudanças Climáticas; ; 1998; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Teresa de Castro Martins;

Bruno Menezes Rocha

Monitoria: Aprimorando o Ensino da Lógica Matemática Aplicada à Computação; 2018; Orientação de outra natureza; (Computação) - Universidade Federal do Ceará, Universidade Federal do Ceará; Orientador: Ana Teresa de Castro Martins;

Alisson Alves Martins

(Monitoria) Desenvolvendo habilidades para formalização de conhecimento e prova de suas propriedades; 2018; Orientação de outra natureza; (Computação) - Universidade Federal do Ceará, Universidade Federal do Ceará; Orientador: Ana Teresa de Castro Martins;

Karlos Ítalo Pedrosa Bastos

Monitoria: Aprimorando o Ensino da Lógica Matemática Aplicada à Computação; 2017; Orientação de outra natureza; (Computação) - Universidade Federal do Ceará, UFC; Orientador: Ana Teresa de Castro Martins;

Daniel Augusto Ramos Macedo Antunes de Souza

Monitoria: Teoria da Computação: modelos e problemas indecidíveis; 2017; Orientação de outra natureza; (Computação) - Universidade Federal do Ceará, Universidade Federal do Ceará; Orientador: Ana Teresa de Castro Martins;

Levi de Souza Tavares

Monitoria: Aprimorando o Ensino da Lógica Matemática Aplicada à Computação; 2016; Orientação de outra natureza; (Computação) - Universidade Federal do Ceará, Universidade Federal do Ceará; Orientador: Ana Teresa de Castro Martins;

Mariana Fontenele Lopes

Monitoria: Aprimorando o Ensino da Lógica Matemática Aplicada à Computação; 2015; Orientação de outra natureza; (Computação) - Universidade Federal do Ceará, Universidade Federal do Ceará; Orientador: Ana Teresa de Castro Martins;

Daniel Augusto Ramos Macedo Antunes de Souza

Monitoria: Aprimorando o Ensino da Lógica Matemática Aplicada à Computação; ; 2015; Orientação de outra natureza - Universidade Federal do Ceará; Orientador: Ana Teresa de Castro Martins;

Pedro Rocha Muniz

Monitoria: Aprimorando o Ensino da Lógica Matemática Aplicada à Computação; 2014; Orientação de outra natureza; (Computação) - Universidade Federal do Ceará, Universidade Federal do Ceará; Orientador: Ana Teresa de Castro Martins;

Carlos Augusto Paiva Santana Filho

Monitoria: Aprimorando o Ensino da Lógica Matemática Aplicada à Computação; 2013; Orientação de outra natureza; (Computação) - Universidade Federal do Ceará, Universidade Federal do Ceará; Orientador: Ana Teresa de Castro Martins;

Victor Ishii

Monitoria: Aprimorando o Ensino da Lógica Matemática Aplicada à Computação; 2013; Orientação de outra natureza; (Computação) - Universidade Federal do Ceará, Universidade Federal do Ceará; Orientador: Ana Teresa de Castro Martins;

Vladimir Portela Parente

Monitoria: Aprimorando o Ensino da Lógica Matemática Aplicada a Computação; 2012; Orientação de outra natureza; (Computação) - Universidade Federal do Ceará, Universidade Federal do Ceará; Orientador: Ana Teresa de Castro Martins;

Samuel Carvalho Santos

Monitoria: Aprimorando o Ensino da Lógica Matemática Aplicada a Computação; 2011; Orientação de outra natureza; (Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ana Teresa de Castro Martins;

Henrique Viana Oliveira

Monitoria: Aprimorando o Ensino da Lógica Matemática Aplicada a Computação; 2009; Orientação de outra natureza; (Computação) - Universidade Federal do Ceará, Universidade Federal do Ceará; Orientador: Ana Teresa de Castro Martins;

Cibele Matos Freire

Monitoria da Disciplina de Introdução à Lógica Matemática; 2007; Orientação de outra natureza; (Computação) - Universidade Federal do Ceará, Universidade Federal do Ceará; Orientador: Ana Teresa de Castro Martins;

Luiz Henrique Bustamante

Monitoria da Disciplina de Introdução à Lógica Matemática; 2007; Orientação de outra natureza; (Computação) - Universidade Federal do Ceará; Orientador: Ana Teresa de Castro Martins;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Tarcisio Haroldo Cavalcante Pequeno

A SYNTATICAL AND SEMANTICAL UNIFORM TREATMENT FOR THE IDL AND LEI NONMONOTONIC SYSTEMS; 1998; Tese - Universidade Federal de Pernambuco,; Orientador: Tarcisio Haroldo Cavalcante Pequeno;

Ruy José Guerra Barretto de Queiroz

A Syntactical and Semantical Uniform Treatment for the IDL and LEI Nonmonotonic System; 1998; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Ruy José Guerra Barretto de Queiroz;

Antônio Carlos da Rocha Costa

Um sistema de revisão de crenças para resolução de problemas; 1990; Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul,; Coorientador: Antonio Carlos da Rocha Costa;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • ROCHA, THIAGO ALVES ; Martins, Ana Teresa ; Ferreira, Francicleber Martins . Synthesis of a DNF Formula from a Sample of Strings using Ehrenfeucht-Fraïssé Games. THEORETICAL COMPUTER SCIENCE , v. 1, p. 1-18, 2019.

  • FARIAS, MÁRCIA ; Martins, Ana Teresa ; FERREIRA, FRANCICLEBER . The Descriptive Complexity of Decision Problems through Logics with Relational Fixed-Point and Capturing Results. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE , v. 332, p. 113-130, 2017.

  • VIANA, HENRIQUE ; ALCÂNTARA, JOÃO ; Martins, Ana Teresa . Searching contexts in paraconsistent rough description logic. Journal of the Brazilian Computer Society (Impresso) , v. 21, p. 1-13, 2015.

  • FERREIRA, F.M. ; FREIRE, C.M. ; BENEVIDES, M.R.F. ; MENASCHÉ SCHECHTER, L. ; MARTINS, A.T. . Polynomial hierarchy graph properties in hybrid logic. Journal of Computer and System Sciences (Print) , v. 80, p. 1087-1101, 2014.

  • FERREIRA, F. M. ; Martins, Ana Teresa . Expressible preferential logics. Journal of Logic and Computation (Print) , v. 22, p. 1125-1143, 2012.

  • Freire, Cibele Matos ; Martins, Ana Teresa . The Descriptive Complexity of the Deterministic Exponential Time Hierarchy. Electronic Notes in Theoretical Computer Science , v. 269, p. 71-82, 2011.

  • FERREIRA, F. M. ; Martins, Ana Teresa . Expressiveness and definability in circumscription. Manuscrito (UNICAMP) , v. 34, p. 233-266, 2011.

  • FERREIRA, F. M. ; Martins, Ana Teresa . Recursive definitions and fixed-points on well-founded structures. Theoretical Computer Science , v. 412, p. 4893-4904, 2011.

  • Ferreira, Francicleber Martins ; MARTINS, A. T. C. . Recursive Definitions and Fixed-Points. Electronic Notes in Theoretical Computer Science , v. 247, p. 19-37, 2009.

  • FERREIRA, F. M. ; Martins, Ana Teresa . (Resumo) Expressiveness and Definability in Circunscription. The Bulletin of Symbolic Logic , v. 15, p. 354-354, 2009.

  • CAVALCANTE, A. S. ; Martins, Ana Teresa . (Resumo) Schematic Rules in Natural Deduction for Logic with Modal Operators. The Bulletin of Symbolic Logic , v. 15, p. 350-351, 2009.

  • ARRUDA, A. M. ; Martins, Ana Teresa . Natural deduction for the finite least fixed point logic with an infinitary rule. LOGIC JOURNAL OF THE IGPL , v. 17, p. 531-558, 2009.

  • ARRUDA, A. M. ; MARTINS, A. T. C. . An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models. Electronic Notes in Theoretical Computer Science , v. 205, p. 89-104, 2008.

  • MARTINS, A. T. C. ; MARTINS, L. R. . Full Classical S5 in Natural Deduction with Weak Normalization. ANNALS OF PURE AND APPLIED LOGIC , v. 152, p. 132-147, 2008.

  • FERREIRA, F. M. ; MARTINS, A. T. C. . On Minimal Models. Logic Journal of the IGPL (Print) , v. 15, p. 503-526, 2007.

  • MARTINS, A. T. C. ; MARTINS, L. R. . Natural Deduction for Full S5 Modal Logic with Weak Normalization. Electronic Notes in Theoretical Computer Science , Amsterdam, v. 143, p. 129-140, 2006.

  • MARTINS, LILIA RAMALHO ; Martins, Ana Teresa . Natural Deduction and Weak Normalization for Full Linear Logic. Logic Journal of the IGPL (Print) , v. 12, p. 601-625, 2004.

  • MARTINS, A. T. C. ; PEQUENO, T. H. C. . Proof-Theoretical Considerations about the Logic of Epistemic Inconsistency. Logique et Analyse , Bélgica, v. 143-4, p. 245-260, 1996.

  • BEZIAU, J. (Org.) ; FERREIRA, F. M. (Org.) ; Martins, A. T. (Org.) ; PEQUENO, M. (Org.) . Logic, Intelligence and Artifices: Tributes to Tarcisio H. C. Pequeno. 1. ed. London: College Publications, 2018. v. 1. 416p .

  • ANDRADE, A. (Org.) ; Martins, A. T. (Org.) ; MACEDO, R. J. A. (Org.) . Anais da XXIII Jornada de Atualização em Informática. 1. ed. Rio Grande do Sul: Sociedade Brasileira de Computação, 2004. v. 2. 384p .

  • MARTINS, A. T. C. ; PEQUENO, M. (Org.) ; PEQUENO, T. H. C. (Org.) . Anais do XXI Congresso da Sociedade Brasileira de Computação. Porto Alegre: Sociedade Brasileira de Computação, 2001. v. 1. 320p .

  • MARTINS, A. T. C. ; BORGES, D. L. (Org.) . I Jornada de Atualização em Inteligência Artificial. Porto Alegre: Sociedade Brasileira de Computação, 2001. v. 1. 320p .

  • Martins, A. T. ; FERREIRA, F.M. . A Proof Theory for the Inconsistent Default Logic. In: Jean-Yves Beziau;‎ Francicleber Ferreira; Ana Teresa Martins; Marcelino Pequeno. (Org.). Logic, Intelligence and Artifices: Tributes to Tarcisio H. C. Pequeno. 1ed.London: College Publications, 2018, v. 1, p. 33-54.

  • MARTINS, L. R. ; MARTINS, A. T. C. . Normalizable Natural Deductive System for Complete Classical S4. In: Béziau, J-Y; Costa Leite, A.. (Org.). Dimensions of Logical Concepts. 1ed.Campinas: Coleção CLE, 2009, v. 54, p. 241-276.

  • MARTINS, A. T. C. ; MARTINS, L. R. ; MORAIS, F. F. . Natural Deduction and Weak Normalization for the Paraconsistent Logic of Epistemic Inconsistency.. In: Béziau, J.-Y.; Carnielli, W. A;Gabbay, D. (eds.). (Org.). Handbook of Paraconsistency: Studies in Logic and Cognitive Systems. 1ed.Amsterdam: Elsevier/North-Holland, 2007, v. 9, p. 355-382.

  • MARTINS, A. T. C. ; PEQUENO, M. ; PEQUENO, T. H. C. . A Multiple Worlds Semantics to a Paraconsistent Nonmonotonic Logic. In: W. A. Carnielli, M. E. Coniglio e I. M. L. D' Ottaviano. (Org.). PARACONSISTENCY: THE LOGICAL WAY TO THE INCONSISTENCY. 1ed.New York: Marcel Dekker,Inc., 2002, v. 1, p. 187-211.

  • Luis Henrique Bustamante ; Ana Teresa Martins ; FERREIRA, FRANCICLEBER . Parameters for Associative and Commutative Matching. In: UNIF 2019 - 33rd International Workshop on Unification, 2019, Dortmund. Proceedings of the 33rd International Workshop on Unification. Dortmund, 2019. p. 1-6.

  • ROCHA, T. A. ; Ana Teresa Martins . Synthesis of Quantifier-Free First-Order Sentences from Noisy Samples of Strings. In: 8th Brazilian Conference on Intelligent Systems (BRACIS), 2019, Salvador. Proceedings of the 8th Brazilian Conference on Intelligent Systems (BRACIS), 2019. p. 12-17.

  • Luis Henrique Bustamante ; Ana Teresa Martins ; FERREIRA, F. M. . Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic. In: 25th Workshop on Logic, Language, Information and Computation wollic 2018, 2018, Bogotá. Logic, Language, Information, and Computation. WoLLIC 2018. Lecture Notes in Computer Science. Berlin: Springer, 2018. v. 10944. p. 163-178.

  • ALVES ROCHA, THIAGO ; Martins, Ana Teresa ; MARTINS FERREIRA, FRANCICLEBER . Synthesis of a DNF Formula From a Sample of Strings. In: 2018 7th Brazilian Conference on Intelligent Systems (BRACIS), 2018, Sao Paulo. 2018 7th Brazilian Conference on Intelligent Systems (BRACIS), 2018. v. 1. p. 534-539.

  • ROCHA, T. A. ; MARTINS, A.T. ; FERREIRA, F.M. . On Finding a First-Order Sentence Consistent with a Sample of Strings. In: The Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018), 2018, Saarbrücken. Proceedings of the Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018), 2018. v. 277. p. 220-234.

  • Thiago Alves ; MARTINS, A.T. ; FERREIRA, F.M. . On Distinguishing Sets of Structures by First-Order Sentences of Minimal Quantifier Rank. In: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2018), 2018, Fortaleza. Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2018). Fortaleza: UFC, 2018. v. 1. p. 203-215.

  • Márcia F. Farias ; Martins, A. T. ; FERREIRA, F.M. . The descriptive complexity of logics with relational fixed-point. In: LSFA 2016 - 11th Workshop on Logical and Semantic Frameworks, with Applications, 2016, Porto. Proceedings of the LSFA 2016 - 11th Workshop on Logical and Semantic Frameworks, with Applications. Porto: LSFA Proceedings, 2016. v. 1. p. 30-45.

  • ARAUJO, ARNALDO ; Martins, Ana Teresa ; ROMERO, DAVI . First-Order Logic for Decision Problems with Preference Aggregation. In: 2016 5th Brazilian Conference on Intelligent Systems (BRACIS), 2016, Recife. 2016 5th Brazilian Conference on Intelligent Systems (BRACIS). v. 1. p. 498-503.

  • FROTA, DEBORA FARIAS ; Martins, Ana Teresa ; ALCANTARA, JOAO ; BUSTAMANTE, LUIS HENRIQUE . An ALC Description Default Logic with Exceptions-First. In: 2014 Brazilian Conference on Intelligent Systems (BRACIS), 2014, Sao Paulo. 2014 Brazilian Conference on Intelligent Systems. v. 1. p. 172-179.

  • Iuri Fernandes Queiroz ; Luis Henrique Bustamante ; Ana Teresa Martins ; João Alcântara . Reasoning on Ontology Version Space with Temporal Logics. In: Encontro Nacional de Inteligência Artificial e Computacional ENIAC 2014, 2014, São Carlos. Anais do Encontro Nacional de Inteligência Artificial e Computacional ENIAC 2014. Washington: BDBComp Proceedings, 2014. v. 1. p. 1-6.

  • VIANA, HENRIQUE ; ALCANTARA, JOAO ; Martins, Ana Teresa . Searching Contexts in Rough Description Logics. In: 2013 Brazilian Conference on Intelligent Systems (BRACIS), 2013, Fortaleza. 2013 Brazilian Conference on Intelligent Systems. v. 1. p. 163-168.

  • FERREIRA, F. M. ; Freire, Cibele Matos ; Benevides, M. ; Schechter, L.M. ; Martins, Ana Teresa . Hybrid Logics and NP Graph Properties. In: 18th International Workshop on Logic, Language, Information and Computation, 2011, Philadelphia. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE: Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011. Berlin: Springer, 2011. v. 6642. p. 123-134.

  • Henrique Viana ; Alcântara, J.F.L. ; Martins, Ana Teresa . Paraconsistent Rough Description Logic. In: 2011 International Workshop on Description Logics (DL2011), 2011, Barcelona. Proc. of the 2011 Int. Workshop on Description Logics, 2011. v. 745. p. 587-597.

  • ARRUDA, A. M. ; MOTA, A. V. ; Martins, Ana Teresa . Two Infinitary Logics: the First-Order Logic for Finite Models and the Logic for Named Domains. In: XVI Encontro Brasileiro de Lógica 2011, 2011, Petrópolis. Proceedings of the XVI Brazilian Logic COnference. Niterói: UFF, 2011. v. 1. p. 28-28.

  • Freire, Cibele Matos ; Martins, Ana Teresa . Lógicas Modais e Complexidade Descritiva. In: VII Encontro Nacional de Inteligência Artificial, 2009, Bento Gonçalves. XXX Congresso da Sociedade Brasileira de Computação. Porto Alegre: Sociedade Brasileira de Computação, 2009. p. 1099-1108.

  • FERREIRA, F. M. ; MARTINS, A. T. C. . Minimal Models and Expressiveness Hierarchy. In: XXVIII Congresso da Sociedade Brasileira de Computação, 2008, Belém. Anais do XXVIII Congresso da Sociedade Brasileira de Computação. Porto Alegre: SBC, 2008. p. 89-96.

  • FERREIRA, F. M. ; MARTINS, A. T. C. . The Predicate-Minimizing logic MIN. In: 10th IBERAMIA and 18th SBIA - 20th International Joint Conference, 2006, Ribeirão Preto. Lecture Notes in Artificial Intelligence: Advances in Artificial Intelligence - IBERAMIA - SBIA 2006. Berlin: Springer-Verlag, 2006. v. 4140. p. 582-591.

  • CARVALHO, F. H. ; LINS, R. D. ; MARTINS, A. T. C. . An Institutional Theory for #-Components. In: Brazilian Symposium on Formal Methods, 2006, Natal. Proceedings of the Brazilian Symposium on Formal Methods. Porto Alegre: SBC, 2006. p. 137-152.

  • MARTINS, L. R. ; MARTINS, A. T. C. . Natural Deduction and Weak Normalisation for Full Linear Logic. In: IV Encontro Nacional de Inteligência Artificial (ENIA), 2003, Campinas. Anais do XXIII Congresso da Sociedade Brasileira de Computação. Porto Alegre: SBC, 2003. v. VII. p. 639-648.

  • DANTAS, R. A. ; MARTINS, A. T. C. . Uso de Redes Neurais no Refinamento de Bases de Conhecimento em Sistemas de Diagnóstico para Eutrofização de Açudes. In: III Encontro Nacional de Inteligência Artificial, 2001, Fortaleza. Anais do XXI Congresso da Sociedade Brasileira de Computação. Porto Alegre: Sociedade Brasileira de Computação, 2001. v. 1. p. 1577-1583.

  • PEQUENO, M. ; MARTINS, A. T. C. . Semantics for Default Reasoning. In: International Conference on Artificial Intelligence, 2001, Las Vegas. Proceedings of the International Conference on Artificial Intelligence. Las Vegas: CSREA Press, 2001. v. II. p. 895-901.

  • MARTINS, A. T. C. ; OLIVEIRA, A. G. ; QUEIROZ, R. . Uma Introdução à Teoria da Prova. In: XXI Congresso da Sociedade Brasileira de Computação, 2001, Fortaleza. I Jornada de Atualização em Inteligência Artificial. Porto Alegre: Sociedade Brasileira de Computação, 2001. v. 3. p. 89-139.

  • RAMALHO, J. V. A. ; RIBEIRO, J. W. ; DUARTE, J. B. F. ; MARTINS, A. T. C. . Métodos Computacionais Híbridos no Ensino de Campos Elétricos. In: 21th Iberian Latin American Congress on Computational Methods in Engineering, 2000, Rio de Janeiro. Proceedings of the 21th Iberian Latin American Congress on Computational Methods in Engineering, 2000.

  • VASCONCELOS, D. R. ; MARTINS, A. T. C. . Um Provador Automático de Teoremas baseado em Dedução Natural usando o Mecanismo de Metabox. In: Segundo Encontro Nacional de Inteligência Artificial, 1999, Rio de Janeiro. Anais do XIX Cong. Nac. da SBC, Segundo Encontro Nacional de Inteligência Artificial. Rio de Janeiro: Edições EntreLugar, 1999. v. 4. p. 547-553.

  • MARTINS, A. T. C. ; PEQUENO, T. H. C. ; PEQUENO, M. . A Sequent Calculus for a Paraconsistent Default Logic. In: 6th Workshop on Logic, Language, Information and Computation, 1999, Itatiaia. Proceedings of the 6th Workshop on Logic, Language, Information and Computation. Recife: Universidade Federal de Pernambuco, 1999. p. 139-149.

  • PEQUENO, T. H. C. ; PEQUENO, M. ; MARTINS, A. T. C. ; SILVESTRE, R. . Formal Methods in Computer Science:The LOGIA Project. In: Workshop do ProTeM - CC, 1999, Rio de Janeiro. Anais do Workshop do ProTeM - CC, 1999.

  • MARTINS, A. T. C. ; PEQUENO, T. H. C. ; PEQUENO, M. . Well-Behaved IDL Theories. In: 13th Brazilian Symposium on Artificial Intelligence, 1996, Curitiba. Lecture Notes in Artificial Intelligence. Berlin: Springer-Verlag, 1996. v. 1159. p. 11-20.

  • MARTINS, A. T. C. ; PEQUENO, T. H. C. . A Sequent Calculus for the Logic of Epistemic Inconsistency. In: 11th Brazilian Symposium on Artificial Intelligence, 1994, Fortaleza. Proceeding of the 11th Brazilian Symposium on Artificial Intelligence. Fortaleza: Universidade Federal do Ceará, 1994. p. 115-128.

  • MARTINS, A. T. C. ; QUEIROZ, R. . Using Labels in a Paraconsistent and Nonmonotonic Sequent Calculus. In: Vigésima Conferência Latinoamericana de Informática, 1994, Atizapan de Zaragoza. Anais da Vigésima Conferência Latinoamericana de Informática. México: Editorial Limusa S.A. de C.V. / Grupo Noriega Editores, 1994. p. 795-802.

  • MARTINS, A. T. C. ; PEQUENO, M. . Provando Teoremas Através de Diálogos. In: Simpósio Brasileiro de Inteligência Artificial, 1992, Rio de Janeiro. Anais do Nono Simpósio Brasileiro de Inteligência Artificial. Rio de Janeiro: Sociedade Brasileira de Computação, 1992. p. 270-280.

  • MARTINS, A. T. C. . Um Sistema de Revisão de Crenças para Resolução de Problemas. In: Congresso da Sociedade Brasileira de Computação, 1990, Vitória. Anais do Décimo Congresso da Sociedade Brasileira de Computação. Rio de Janeiro: Sociedade Brasileira de Computação, 1990. p. 571-577.

  • MARTINS, A. T. C. ; CASTILHO, J. M. V. ; COSTA, A. C. R. . Um Sistema de Revisão de Crenças para apoio à Resolução de Problemas. In: Nono Congresso da Sociedade Brasileira de Computação, 1989, Uberlândia. Anais do Nono Congresso da Sociedade Brasileira de Computação. Rio de Janeiro: Sociedade Brasileira de Computação, 1989. p. 411-424.

  • Thiago Alves ; MARTINS, A.T. . Descriptive Complexity of Probabilistic Complexity Classes through Second Order Generalized Quantifiers. In: 1º ETC - Encontro de Teoria da Computação, 2016, Porto Alegre. Anais do CSBC 2016. Porto Alegre: SBC, 2016. v. 1. p. 788-791.

  • Henrique Viana ; Thiago Alves ; João Alcântara ; Martins, Ana Teresa . A Tractable Paraconsistent Fuzzy Description Logic. In: 6th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2010), 2010, Shanghai. CEUR Workshop Proceedings. Aachen: CEUR-WS.org, 2010. v. 654. p. 101-104.

  • Luis Henrique Bustamante ; Martins, A. T. ; FERREIRA, F. M. . Fixed-Parameter Tractability of Some Classes of Formulas in FO with Functions. In: 19th Brazilian Logic Conference, 2019, João Pessoa. Proceedings of the 19th Brazilian Logic Conference. Campinas: EBL, 2019. v. 1. p. 100-101.

  • Luis Henrique Bustamante ; MARTINS, A.T. . The Descriptive Complexity of k-SUM. In: XVIII Brazilian Logic Conference (EBL 2017), 2017, Pirinópolis. Proceedings of the XVIII Brazilian Logic Conference (EBL 2017). Campinas: EBL, 2017. v. 1. p. 1-1.

  • Márcia F. Farias ; MARTINS, A.T. ; Ferreira, Francicleber Martins . Complexidade Descritiva do Fragmento Monádico da Lógica RIFP. In: XVIII Brazilian Logic Conference (EBL 2017), 2017, Pirinópolis. Proceedings of the XVIII Brazilian Logic Conference (EBL 2017). Campinas: EBL, 2017. v. 1. p. 1-1.

  • Ana Teresa Martins ; FERREIRA, F. M. . Logic of Epistemic Inconsistency. In: Encyclopedia of Proof Systems, 2017, Brasilia. Encyclopedia of Proof Systems, 2017. v. 1. p. 57-58.

  • Márcia F. Farias ; Martins, A. T. ; FERREIRA, F.M. . Logics with Relational FIxed-Point Operators. In: Filomena 2, 2015, Natal. Proceedings of Nat@logic 2015 Filomena 2. Natal: Creative Commons, 2015. v. 1. p. 98-98.

  • MARTINS, A. T. C. . A Proof Theory for the Paraconsistent Logic of Epistemic Inconsistency. In: Science, Truth and Consistency, 2009, Campinas. Science, Truth and Consistency. Campinas: CLE, 2009. v. 1. p. 75-77.

  • FERREIRA, F. M. ; MARTINS, A. T. C. . Minimalidade e Hierarquia de Expressividade. In: XIV Encontro Brasileiro de Lógica, 2006, Itatiaia. EBL XIV Encontro Brasileiro de Lógica - Caderno de Resumos, 2006. p. 1-2.

  • MARTINS, A. T. C. ; MARTINS, L. R. . Normalizable Natural Deduction Rules for S4 Modal Operators. In: First World Congress on Universal Logic, 2005, Montreux. 1st World Congress and School on Universal Logic. Montreux, 2005. p. 79-80.

  • Pereira, L.C. ; MARTINS, A. T. C. . Abstract Proof Theory. In: First World School on Universal Logic, 2005, Montreux. 1st World Congress and School on Universal Logic. Montreux, 2005. p. 20-22.

  • MORAIS, F. F. ; MARTINS, A. T. C. . Weak Normalization for the Logic of Epistemic Inconsistency. In: Third World Congress on Paraconsistency - WCP III, 2003, Toulouse. Proceedings of the Third World Congress on Paraconsistency. Toulouse: IRIT (Institut de Recherche en Informatique de Toulouse), 2003. v. 1. p. 53-53.

  • MORAIS, F. F. ; MARTINS, A. T. C. . Weak and Strong Normalization for the Paraconsistent Logic of Epistemic Inconsistency. In: XIII Encontro Brasileiro de Lógica, 2003, Campinas. XIII Encontro Brasileiro de Lógica. Campinas: Centro de Lógica, Epistemologia e História da Ciência, 2003. v. 1. p. 74-76.

  • MARTINS, A. T. C. ; PEQUENO, T. H. C. . A Paraconsistent Nonmonotonic Logic through its Semantics. In: Second World Congress on Paraconsistency, 2000, Juquehy - SP. Proceedings of the WCP'2000. Campinas: CLE-UNICAMP, 2000. p. 66-67.

  • CONIGLIO, M. E. ; MARTINS, A. T. C. ; SERNADAS, A. ; SERNADAS, C. . Fibring (Para)consistent Logics. In: Secondo World Congress on Paraconsistency, 2000, Juquehy - SP. Proceedings of the WCP'2000. Campinas: CLE-UNICAMP, 2000. p. 58-59.

  • MARTINS, A. T. C. ; PEQUENO, T. H. C. . An Algebraic Semantics for a Nonmonotonic and Paraconsistent Logic. In: International Meeting on Language, Logic and Artificial Intelligence, 1998, Fortaleza. Proceedings of The International Meeting on Language, Logic and Artificial Intelligence. Fortaleza: Universidade Federal do Ceará, 1998. p. 15-16.

  • MARTINS, A. T. C. ; PEQUENO, T. H. C. . Paraconsistency and Plausibility in the Logic of Epistemic Inconsistency. In: First World Congress on Paraconsistency, 1997, Gent. Proceedings of the First World Congress on Paraconsistency. Gent: University of Gent, 1997. p. 72-73.

  • MARTINS, A. T. C. ; PEQUENO, T. H. C. . Proof-Theoretical Considerations about the Logic of Epistemic Inconsistency. In: Conference on Philosophical Logic, 1994, Gent. Proceedings of the Conference on Philosophical Logic. Gent: University of Gent, 1994. p. 1-2.

  • MARTINS, A. T. C. ; PEQUENO, T. H. C. ; PEQUENO, M. . A Sequent Calculus for a Paraconsistent Default Logic. Journal of the Interest Group in Pure and Applied Logics (IGPL) , Inglaterra, v. 7, n.4, p. 564-565, 1999.

  • MARTINS, A. T. C. ; PEQUENO, T. H. C. . Some Characteristics of the Inconsistent Default Logic Reasoning Style. Journal of the Interest Group in Pure and Applied Logics (IGPL) , Inglaterra, v. 4, n.3, p. 517-519, 1996.

  • MARTINS, A. T. C. . A Semantics for a Paraconsistent Default Logic. 2000. (Apresentação de Trabalho/Seminário).

  • MARTINS, A. T. C. . A Sequent Calculus for a Paraconsistent Default Logic. 2000. (Apresentação de Trabalho/Seminário).

  • MARTINS, A. T. C. . Lógica para Computação. 2000. (Apresentação de Trabalho/Seminário).

  • MARTINS, A. T. C. . Inteligência Computacional - Contribuições à Sociedade. 2000. (Apresentação de Trabalho/Seminário).

  • MARTINS, A. T. C. . Eutrophication Modeling in Superficial Water-Suply Reservoir. 1999. (Apresentação de Trabalho/Simpósio).

  • MARTINS, A. T. C. . Uma Semântica para Lógicas Default com Raciocínio Crédulo. 1999. (Apresentação de Trabalho/Seminário).

  • MARTINS, A. T. C. . Um cálculo de sequentes para uma lógica de Default com base paraconsistente. 1999. (Apresentação de Trabalho/Seminário).

  • MARTINS, A. T. C. . A caracterização da relação de conseqüência das lógicas não-monotônicas através de suas meta propriedades. 1999. (Apresentação de Trabalho/Seminário).

  • MARTINS, A. T. C. . Profissões em Debate: Informática. 1999. (Apresentação de Trabalho/Seminário).

  • MAZZA, M. ; MARTINS, A. T. C. . Um Sistema Automático de Normalização de Provas em Dedução Natural. 1999. (Apresentação de Trabalho/Simpósio).

  • MARTINS, A. T. C. . Inteligência Artificial, uma introdução. 1993. (Apresentação de Trabalho/Seminário).

  • MARTINS, A. T. C. . Sistemas Especialistas e Representação do Conhecimento. 1990. (Apresentação de Trabalho/Seminário).

  • MARTINS, A. T. C. ; VIEIRA, R. . Inteligência Artificial, Programação em Lógica e Prolog. 1988. (Apresentação de Trabalho/Seminário).

  • MARTINS, A. T. C. . Inteligência Artificial e Sistemas Especialistas. 1988. (Apresentação de Trabalho/Seminário).

  • MARTINS, A. T. C. . A Syntactical and Semantical Uniform Treatment for the IDL & LEI Nonmonotonic System. Recife: Universidade Federal de Pernambuco - Departamento de Computação, 1997 (Tese de Doutorado).

  • MARTINS, A. T. C. . Sequent Calculi for the Logic of Epistemic Inconsistency and for the Inconsistent Default Logic. Recife: Universidade Federal de Pernambuco, 1997 (Exame de Qualificação).

  • MARTINS, A. T. C. . Um Sistema de Revisão de Crenças para Resolução de Problemas. Porto Alegre: Universidade Federal do Rio Grande do Sul, 1990 (Tese de Mestrado).

  • MARTINS, A. T. C. . Sistemas de Revisão de Crenças. Porto Alegre: Universidade Federal do Rio Grande do Sul, 1988 (Trabalho Individual).

Seção coletada automaticamente pelo Escavador

Outras produções

Ana Teresa Martins . Consultor Ad Hoc CNPq. 2016.

Ana Teresa Martins . Consultor Ad Hoc CNPq. 2015.

Ana Teresa Martins . Consultor Ad Hoc CAPES. 2015.

Martins, Ana Teresa de Castro . Consultor Ad Hoc CNPq. 2014.

Ana Teresa Martins . Consultor Ad Hoc CAPES. 2014.

Martins, A. T. . Consultor Ad Hoc CNPq. 2013.

Martins, Ana Teresa de Castro . Consultor Ad Hoc CAPES. 2013.

Martins, A. T. . Consultor Ad Hoc FUNCAP. 2012.

Martins, A. T. . Consultor Ad Hoc CAPES. 2012.

Martins, Ana Teresa de Castro . Consultor Ad Hoc CNPq. 2012.

Martins, Ana Teresa . Consultor Ad Hoc da FUNCAP. 2011.

Martins, Ana Teresa . Avaliador de Artigo do CTD - XXIV Concurso de Teses e Dissertações 2011. 2011.

Martins, Ana Teresa . Consultor Ad Hoc do CNPq. 2011.

Martins, Ana Teresa . Consultor Ad Hoc da FUNCAP. 2009.

MARTINS, A. T. C. . Consultor Ad hoc da CAPES: Solicitação de Auxílio no Exterior. 2004.

MARTINS, A. T. C. ; FERNANDES, P. . Avaliação do Programa de Pós-Graduação em Informática Aplicada da PUC-PR. 2004.

MARTINS, A. T. C. . Consultor Ad hoc do CNPq: bolsa de Produtividade em Pesquisa. 2000.

MARTINS, A. T. C. . Consultor Ad hoc do CNPq : projeto de Auxílio Individual. 2000.

MARTINS, A. T. C. . Consultor Ad hoc do CNPq: bolsa de Pós-Doutorado no País. 2000.

Ana Teresa Martins . Membro do Comitê de Programa do III ETC 2018 Encontro de Teoria da Computação. 2018.

Ana Teresa Martins . Membro do Comitê de Programa do II ETC 2017 Encontro de Teoria da Computação. 2017.

Ana Teresa Martins . Membro do Comitê de Programa do BRACIS 2017 Brazilian Conference on Intelligent Systems. 2017.

Ana Teresa Martins . Membro do Comitê de Programa do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC 2017). 2017.

Ana Teresa Martins ; LINHARES, C. ; SANTOS, E. M. ; MOTA, G. H. S. ; MARTINS, J. P. A. . Membro da Comissão Eleitoral para eleição do coordenador do MDCC 2017. 2017.

Ana Teresa Martins . Membro do Comitê de Programa do BRACIS 2016 Brazilian Conference on Intelligent Systems. 2016.

Ana Teresa Martins . Membro do Comitê de Programa do I ETC 2016 Encontro de Teoria da Computação. 2016.

Ana Teresa Martins . Membro do Comitê de Programa do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC 2016). 2016.

Martins, A. T. . Membro do Comitê de Programa do BRACIS 2015 Brazilian Conference on Intelligent Systems. 2015.

Martins, Ana Teresa . Membro do Comitê de Programa do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC 2015). 2015.

Martins, A. T. . Membro do Comitê de Programa do BRACIS 2014 Brazilian Conference on Intelligent Systems. 2014.

Martins, A. T. . Membro do Comitê de Programa do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC 2014). 2014.

Martins, A. T. . Membro do Comitê de Programa do X Encontro Nacional de Inteligência Artificial e Computacional (ENIAC). 2013.

Martins, A. T. . Membro do Comitê de Programa do BRACIS 2013 Brazilian Conference on Intelligent Systems. 2013.

Martins, A. T. . Membro Presidente da Progressão Funcional de Adjunto III para IV de Davi Romero de Vasconcelos. 2013.

Martins, Ana Teresa . Membro do Comitê de Programa do IBERAMIA 2012 (13th Ibero-American Conference on Artificial Intelligence). 2012.

Martins, Ana Teresa . Membro do Comitê de Programa do VII Encontro Nacional de Inteligência Artificial (ENIA 2012). 2012.

Martins, Ana Teresa ; FINGER, M. . Membro do Comitê de Programa do XXI Simpósio Brasileiro de Inteligência Artificial (SBIA 2012). 2012.

Martins, Ana Teresa ; PIMENTEL, E. ; Haeusler, E.H. ; AYALA, M. . Membro do Comitê de Programa do LSFA 2011 - 6th Workshop on Logical and Semantic Frameworks, with Applications. 2011.

Martins, Ana Teresa . Membro do Comitê de Programa do VII Encontro Nacional de Inteligência Artificial (ENIA 2011). 2011.

Martins, Ana Teresa . Avaliador de Artigo da Revista Logica Universalis. 2011.

Martins, A. T. . Membro da Progressão Funcional de Marcelino Cavalcante Pequeno de Adjunto I para Adjunto IV. 2011.

Martins, Ana Teresa . Membro do Comitê de Programa do 20th SBIA - Brazilian Symposium on Artificial Intelligence. 2010.

Martins, Ana Teresa ; Haeusler, E.H. . Membro do Comitê de Programa do LSFA 2010 - 5th Workshop on Logical and Semantic Frameworks, with Applications. 2010.

Martins, Ana Teresa . Membro do Comitê de Programa do XVI Encontro Brasileiro de Lógica (maio de 2011). 2010.

MARTINS, A. T. C. . Membro do Comitê de Programa do VII Encontro Nacional de Inteligência Artificial. 2009.

ARRUDA, A. M. ; MARTINS, A. T. C. . Membro do Comitê de Programa do Logical and Semantic Frameworks, with Applications (LSFA´09). 2009.

MARTINS, A. T. C. ; AYALA, M. ; PIMENTEL, E. . Membro do Comitê de Programa do Logical and Semantic Frameworks, with Applications (LSFA´08). 2008.

MARTINS, A. T. C. ; Zaverucha, G. . Membro do Comitê de Programa do 19th Brazilian Symposium on Artificial Intelligence. 2008.

LUDERMIR, T. ; MARTINS, A. T. C. . Membro do Comitê de Programa do CTD Concurso de Teses e Dissertações da SBC. 2008.

MARTINS, A. T. C. ; Farias, B. ; FRANKLIN, M. . Presidente da Cadastramento de Projetos de Pesquisa no Depto Computação da UFC em 2008. 2008.

MARTINS, A. T. C. . Secretária para Concurso Público Professor Adjunto Portaria 025/2008 13/10/2008. 2008.

MARTINS, A. T. C. . Comissão Especial para analisar inscrições no concurso Quixadá Portaria 305/2008 11/09/2008. 2008.

MARTINS, A. T. C. . Membro do Comitê de Programa para as Proceedings do Brazilian Workshop on Logical and Semantic Frameworks, with Applications. 2007.

MARTINS, A. T. C. . Membro do Comitê de Programa do VI Encontro Nacional de Inteligência Artificial. 2007.

MARTINS, A. T. C. ; Cavalcante, J.B. ; Farias, B. . Presidente da Comissão de Cadastramento de Projetos de Pesquisa no Depto Computação da UFC. 2007.

MARTINS, A. T. C. . Comissão de Avaliação dos Relatórios dos Programas de Demanda Social e PICDT/CAPES em 26 e 27 de abril de 2007. 2007.

MARTINS, A. T. C. . Avaliador de Artigo do XX Concurso de Teses e Dissertações da SBC. 2007.

MARTINS, A. T. C. ; Andrade, R. ; Torres, J. . Presidente da comissão para indicação de professor emérito ao professor Tarcísio Pequeno. 2007.

MARTINS, A. T. C. ; MARTINS, L. R. ; MORAIS, F. F. . Capítulo de livro, aceito para publicação: Natural Deduction and Weak Normalization for the Paraconsistent Logic of Epistemic Inconsistency. 2007.

MARTINS, A. T. C. . Membro de Comitê de Programa do SBIA/IBERAMIA 2006. 2006.

MARTINS, A. T. C. . Membro do Comitê de Programa do Brazilian Workshop on Logical and Semantic Frameworks, with Applications. 2006.

MARTINS, A. T. C. . Secretária do Concurso Público para UFC Edital 29/2006 Portaria No 76/CT. 2006.

MARTINS, A. T. C. . Secretária para Concurso Público Edital de número 117/2006. 2006.

VIDAL, C. A. ; MARTINS, A. T. C. . Membro de comissão para progressão funcional da professora Claudia Linhares de Adjunto III para IV Portaria No 002/2006 de 13 de janeiro de 2006. 2006.

VIDAL, C. A. ; MARTINS, A. T. C. . Membro de comissão para progressão funcional da professor Ricardo Correa de Adjunto III para IV Portaria No 001/2006 de 13 de janeiro de 2006. 2006.

Campelo Neto, M B ; Barros Neto, J.F. ; MARTINS, A. T. C. . Membro de comissão para progressão funcional da professor Rafael Castro de Andrade de Adjunto I para II Portaria No 009/2006 de 07 de julho de 2006. 2006.

MARTINS, A. T. C. . Comissão de Avaliação dos Relatórios dos Programas de Demanda Social e PICDT/CAPES em 05 e 06 de outubro de 2006. 2006.

MARTINS, A. T. C. . Membro do Comitê de Programa da XXIV Jornada de Atualização em Informática. 2005.

MARTINS, A. T. C. . Membro do Comitê de Programa do XVIII Concurso de Teses e Dissertações. 2005.

MARTINS, A. T. C. . Membro do Comitê de Programa do V Encontro Nacional de Inteligência Artificial. 2005.

MARTINS, A. T. C. . Membro do Comitê de Programa do 17o Simpósio Brasileiro de Inteligência Artificial. 2004.

MARTINS, A. T. C. ; ANDRADE, A. . Presidente do Comitê de Programa da XXIII Jornada de Atualização em Informática. 2004.

MARTINS, A. T. C. . Membro do Comitê de Programa do IBERAMIA 2004. 2004.

MARTINS, A. T. C. . Membro do Comitê de Programa do V Encontro Nacional de Inteligência Artificial e da III Jornada de Atualização em Inteligência Artificial. 2004.

MARTINS, A. T. C. . Membro do Comitê de Programa do IV Encontro Nacional de Inteligência Artificial e da II Jornada de Atualização em Inteligência Artificial. 2003.

PEQUENO, T. H. C. ; PEQUENO, M. ; MARTINS, A. T. C. . Lógica, Ciência e Inteligência Artificial: Projeto Integrado. 2003.

MARTINS, A. T. C. . Membro do Comitê de Programa do 16o Simpósio Brasileiro de Inteligência Artificial. 2002.

MARTINS, A. T. C. ; BORGES, D. L. . Presidente do Comitê de Programa do III Encontro Nacional de Inteligência Artificial. 2001.

MARTINS, A. T. C. ; BORGES, D. L. . Presidente do Comitê de Programa do I Jornada de Atualização em Inteligência Artificial. 2001.

MARTINS, A. T. C. . Referre do III Encontro Nacional de Inteligência Artificial. 2001.

MARTINS, A. T. C. . Referee do II World Congress on Paraconsistency. 2000.

PEQUENO, T. H. C. ; MARTINS, A. T. C. ; PEQUENO, M. . Formalização e Automatização do Raciocínio: Projeto Integrado. 2000.

PEQUENO, T. H. C. ; MARTINS, A. T. C. ; PEQUENO, M. ; CONIGLIO, M. E. ; BUCHSBAUM, A. ; BEZIAU, J. . Formalização e Automatização do Raciocínio: Auxílio Individual 01/2000, Faixa B, Modalidade APQ. 2000.

MARTINS, A. T. C. . Modelagem Lógica do Raciocínio Prático. 2000.

MARTINS, A. T. C. ; PEQUENO, T. H. C. ; PEQUENO, M. ; PEQUENO, M. . VDL, Virtual Distance Learning - Um ambiente virtual cooperativo voltado para a aprendizagem à distância.. 1999.

MARTINS, A. T. C. . Modelagem do Raciocínio Prático sob Conhecimento Incompleto e Impreciso em Situações de Mudanças Climáticas. 1998.

MARTINS, A. T. C. . Referee do Iberamia 98 (Congresso Ibero-Americano de Inteligência Artificial). 1998.

MARTINS, A. T. C. . Referre do SBIA 98 (Simpósio Brasileiro de Inteligência Artificial). 1998.

MARTINS, A. T. C. . Um Tratamento Sintático e Semântico Uniforme para as Lógicas de Default e suas Bases Monotônicas. 1998.

MARTINS, A. T. C. ; PEQUENO, T. H. C. ; PEQUENO, M. . FAR, Formalização e Automatização do Raciocínio. 1997.

MARTINS, A. T. C. . Referre do WoLLIC 97 (Workshop on Logic, Language, Information and Computation). 1997.

MARTINS, A. T. C. ; PEQUENO, T. H. C. ; PEQUENO, M. . LOGIA, Métodos Formais para o Raciocínio e a Representação do Conhecimento. 1996.

MARTINS, A. T. C. . Referre do SBIA 96 ( (Simpósio Brasileiro de Inteligência Artificial). 1996.

MARTINS, A. T. C. . Referre do WoLLIC 96 (Workshop on Logic, Language, Information and Computation). 1996.

MARTINS, A. T. C. . Referre do WoLLIC 95 (Workshop on Logic, Language, Information and Computation). 1995.

MARTINS, A. T. C. ; QUEIROZ, R. . Complexidade de Sistemas Dedutivos Rotulados. 1995.

MARTINS, A. T. C. . Referre do SBIA 94 (Simpósio Brasileiro de Inteligência Artificial). 1994.

MARTINS, A. T. C. . Referre do CLE 94 (Coferência Latino Americana de Informática). 1994.

MARTINS, A. T. C. . Referee do Bulletin of IGPL (Interested Group in Pure and Applied Logic). 1994.

MARTINS, A. T. C. ; PEQUENO, T. H. C. ; PEQUENO, M. . Modelagem e Automatização do Raciocínio. 1993.

Pereira, L.C. ; MARTINS, A. T. C. . Abstract Proof Theory. 2005. (Curso de curta duração ministrado/Especialização).

MARTINS, A. T. C. ; OLIVEIRA, A. G. ; QUEIROZ, R. . Uma Introdução à Teoria da Prova. 2001. (Curso de curta duração ministrado/Outra).

MARTINS, A. T. C. . Traduções entre Lógicas Não-Monotônicas. 1999. (Relatório de pesquisa).

MARTINS, A. T. C. . Máquinas de Turing como Modelo Computacional. 1998. (Curso de curta duração ministrado/Outra).

MARTINS, A. T. C. . Sistemas Especialistas e Representação do Conhecimento. 1990. (Curso de curta duração ministrado/Outra).

MARTINS, A. T. C. . Vice-Coordenadora do Fórum de Pós-Graduação em Ciência da Computação. 2004 (Vice-Coordenadora do Fórum de Pós-Graduação em Ciência da Computação) .

MARTINS, A. T. C. . Coordenadora do Fórum de Pós-Graduação em Ciência da Computação. 2003 (Coordenadora do Fórum de Pós-Graduação em Ciência da Computação) .

MARTINS, A. T. C. . Coordenadora de Sessão Técnica no XX Encontro Universitário de Iniciação à Pesquisa. 2002 (Coordenadora de Sessão Técnica no XX Encontro Universitário de Iniciação à Pesquisa) .

MARTINS, A. T. C. . Membro da Comissão Especial de Inteligência Artificial da SBC. 2001 (Membro da Comissão Especial da SBC) .

MARTINS, A. T. C. . Membro do Forum de Coordenadores de Pós-Graduação em Computação. 2001 (Membro do Forum de Coordenadores de Pós-Graduação em Computação) .

MARTINS, A. T. C. . Coordenadora dos Seminários em Lógica e Inteligência Artificial. 2001 (Coordenadora dos Seminários em Lógica e Inteligência Artificial) .

MARTINS, A. T. C. . Diretora de Eventos e Comissões Especiais. 2001 (Diretoria da Sociedade Brasileira de Computação) .

MARTINS, A. T. C. . Membro do Conselho de Representantes da ADUFC. 1999 (Membro do Conselho de Representantes da ADUFC) .

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2017 - Atual

    Modelos, Expressividade, Complexidade e Aplicações, Descrição: Processo 424188/2016-3. Universal 01/2016 Faixa B Até 60.000,00 No escopo dos estudos relacionados à lógica, podemos distinguir duas áreas de pesquisa que estão associadas, respectivamente, à relação de consequência semântica e à relação de consequência sintática, a saber: (i) Teoria dos Modelos e (ii) Teoria da Prova. Neste projeto, nosso foco principal será na perspectiva de Teoria dos Modelos, em particular na Teoria de Modelos Finitos. Investigaremos não somente lógicas que estendem a lógica clássica como também fragmentos da lógica clássica, ou mesmo as que a rivalizam. Estas lógicas serão exploradas por sua semântica (modelos); pelo poder expressivo de sua linguagem; pela relação com complexidade descritiva e programação em lógica indutiva como também pela dificuldade de seus problemas de decisão através da complexidade computacional. Iremos adicionalmente buscar aplicações das lógicas em sistemas multiagentes.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (3) / Doutorado: (3) . , Integrantes: Ana Teresa de Castro Martins - Coordenador / Davi Romero Vasconcelos - Integrante / Francicleber Martins Ferreira - Integrante / João Fernando Lima Alcântara - Integrante / Carlos Eduardo Fisch de Brito - Integrante / João Paulo Pordeus Gomes - Integrante.

  • 2014 - 2017

    Expressividade e Complexidade da Lógica Clássica, dos seus Fragmentos e Extensões, Descrição: Projeto de Produtividade em Pesquisa 2014 a 2016 Processo: 305980/2013-0 CNPq Coordenadora: Ana Teresa de Castro Martins Recurso obtido: Bolsa de Pesquisador nível 2 No escopo dos estudos relacionados à lógica, podemos distinguir duas áreas de pesquisa que estão associadas, respectivamente, à relação de consequência semântica e à relação de consequência sintática, a saber: (i) teoria dos modelos e (ii) teoria da prova. Neste projeto, nosso foco será na perspectiva de teoria dos modelos, em particular na teoria de modelos finitos. Investigaremos não somente lógicas que estendem a lógica clássica como também fragmentos da lógica clássica. Estas lógicas serão exploradas pelos modelos que as caracterizam, pelo poder expressivo de sua linguagem e sua relação com complexidade descritiva, pela dificuldade de seus problemas de decisão através da complexidade computacional.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) / Doutorado: (3) . , Integrantes: Ana Teresa de Castro Martins - Coordenador.

  • 2012 - 2016

    Rede de Cooperação Acadêmica em Ciência da Computação, Descrição: Processo: 552578/2011-8 CNPq e CAPES Coordenador: José Ant\ônio Fernandes de Macedo (DC - UFC) Edital: Casadinho Recurso Obtido: R$\$$: 396.266,00 Este projeto descreve trabalhos conjuntos de pesquisa científica e tecnológica em quatro diferentes áreas da Ciência da Computação que visa estimular ou aprofundar a formação pós-graduada e a mobilidade docente e discente. Os trabalhos conjuntos aqui descritos, agrupados em um só projeto, tem o objetivo de promover a consolidação de Programa de Mestrado e Doutorado em Ciência da Computação da Universidade Federal do Ceará (MDCC-UFC) por meio da cooperação inter-regional entre quatro de seus grupos de pesquisa e seus congêneres de programas consolidados de instituições nacionais de ensino superior e de pesquisa do Estado do Rio de Janeiro. Como resultados do Programa, espera-se que haja fortalecimento da interação científica e acadêmica de modo a constituir redes de cooperação, o aumento na formação e na capacitação de recursos humanos, o aumento da produção técnico-científica dos grupos de pesquisa, o fortalecimento de linhas de pesquisa. Considerando-se que parte significativa dos membros das equipes do MDCC-UFC é formada por recém-doutores com potencial para carreira científica, as atividades dos projetos conjuntos contribuirão para uma melhor distribuição regional dos núcleos de excelência em pesquisas no país. Alunos Envolvidos: Doutorado: Francicleber Martins Ferreira Francisco Erivelton Fernandes de Aragão Márcia Roberta Falcão de Farias Samy Soares Passos de Sá Mestrado: Carlos Roberto Rodrigues Filho Henrique Viana Oliveira Iuri Fernandes Queiroz José Wellington Franco Graduação Hugo Carvalho Marcos Mendes. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (4) / Mestrado profissional: (0) / Doutorado: (4) . , Integrantes: Ana Teresa de Castro Martins - Integrante / Marcelino Pequeno - Integrante / Davi Romero Vasconcelos - Integrante / Mário Benevides - Integrante / João Fernando Lima Alcântara - Integrante / Carlos Eduardo Fisch de Brito - Integrante / Edward Hermann Haeusler - Integrante / José Antônio Fernandes de Macêdo - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.

  • 2012 - 2015

    Expressividade e Complexidade de Lógicas, Descrição: Processo:474821/2012-9 CNPq Vigência: 2012 - 2015 Coordenadora: Ana Teresa de Castro Martins Edital: Universal 2012 Faixa A Recurso obtido: Custeio: 19 mil, Capital: 11 mil, Total: 30 mil e a Bolsa de Iniciação Cientíifica No escopo dos estudos relacionados à lógica, podemos distinguir duas áreas de pesquisa que estão associadas, respectivamente, à relação de consequência semântica e à relação de consequência sintática, a saber: (i) teoria dos modelos e (ii) teoria da prova. Neste projeto, nosso foco será na perspectiva de teoria dos modelos, em particular na teoria de modelos finitos. Investigaremos não somente lógicas que rivalizam ou estendem a lógica clássica como também fragmentos da lógica clássica. Estas lógicas serão exploradas pelos modelos que as caracterizam, pelo poder expressivo de sua linguagem e sua relação com complexidade descritiva, pela dificuldade de seus problemas de decisão através da complexidade computacional.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (6) / Doutorado: (4) . , Integrantes: Ana Teresa de Castro Martins - Coordenador / João Fernando Lima Alcântara - Integrante / Carlos Eduardo Fisch de Brito - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2012 - 2015

    RACIOCÍNIO INCERTO EM LÓGICAS DE DESCRIÇÕES E EM PROGRAMAÇÃO EM LÓGICA, Projeto certificado pelo(a) coordenador(a) Joao Fernando Lima Alcântara em 28/03/2016., Descrição: : Em nossa vida diária, não raramente nós temos de lidar com informações incertas. Entender como as diversas formas de incerteza podem ser empregadas no desenvolvimento de sistemas inteligentes tem desafiado muitos pesquisadores. Neste projeto de pesquisa, nós iremos estudar diferentes formas de incerteza e o papel que elas desempenham na implementação de ferramentas de Inteligência Artificial (IA). Dado que o raciocínio dedutivo e monotônico da Lógica Clássica de Primeira Ordem não é suficientemente moldável para ser utilizado como ferramenta na formalização e tratamento computacional do raciocínio incerto em IA, urge buscar mecanismos não-clássicos para a representação do conhecimento e raciocínio. Nesse sentido, vai-se abordar a incerteza em dois bem conhecidos e amplamente utilizados formalismos de representação do conhecimento em IA: lógica de descrições e programação em lógica. No campo das lógicas de descrições, o objetivo é suprir uma de suas limitações ao lidar com domínios de interesse que não podem ser modelados com absoluta precisão. Isso envolve o estudo de lógicas difusas, probabilísticas e possibilísticas. Já na área de programação em lógica, estamos particularmente interessados em como o raciocínio abdutivo e paraconsistente, duas formas de raciocínio incerto, podem ser usados na representação de um debate num sistema multiagentes e na busca dos meios necessários para se chegar a um consenso.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (4) / Doutorado: (3) . , Integrantes: Ana Teresa de Castro Martins - Integrante / Marcelino Pequeno - Integrante / Davi Romero Vasconcelos - Integrante / João Fernando Lima Alcântara - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2011 - 2014

    Lógicas Clássica e Não-Clássicas: Modelos, Provas e Complexidade (PQ), Descrição: Nome: Ana Teresa de Castro Martins Processo: 301607/2010-9 Vigência:01/03/2011 à 28/02/2014 Modalidade/Nível: PQ-2 Edital/Chamada: Produtividade em Pesquisa - PQ - 2010 Instituição: Universidade Federal do Ceará/UFC-CE Resumo do Projeto: No escopo dos estudos relacionados à lógica, podemos distinguir duas áreas de pesquisa que estão associadas, respectivamente, à relação de conseqüência semântica e à relação de conseqüência sintática, a saber: (i) teoria dos modelos e (ii) teoria da prova. Dentro destas duas perspectivas, investigamos o que dá e o que não dá para fazer com a lógica clássica dentro da computação. Investigaremos não somente lógicas que rivalizam ou estendem a lógica clássica, aqui denominadas de lógicas não-clássicas, como também fragmentos da lógica clássica que são decidíveis. Estas lógicas serão exploradas pelos modelos que as caracterizam, pelo poder expressivo de sua linguagem para, por exemplo, expressar a complexidade descritiva de problemas e hierarquizar teorias, como também pelas propriedades estruturais de seus sistemas dedutivos. Alunos envolvidos: Doutorado: Francicleber Ferreira Francisco Aragão Márcia Farias Mestrado: Débora Frota Cibele Freire Iuri Fernandes Thiago Rocha Graduação Hugo Carvalho Marcos Mendes. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (4) / Doutorado: (3) . , Integrantes: Ana Teresa de Castro Martins - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2010 - 2013

    PACMDCC ? Parcerias Acadêmicas para Consolidação do Mestrado e Doutorado em Ciência da Computação da UFC (PROCAD), Descrição: Este projeto visa o estabelecimento de parcerias de pesquisa entre grupos do programa de pós-graduação em ciência da computação da UFC (MDCC) e do programa de pós-graduação do Departamento de Informática (DI) da PUC-RJ. O objetivo principal dessa parceria é o crescimento do MDCC da UFC com vistas à consolidação do programa. Assim, o projeto visa: 1. Fortalecer a parceria entre grupos afins do MDCC e da PUC-RJ; 2. Fortalecer as linhas de pesquisa do MDCC; 3. Aumentar a produção científica quantitativa e qualitativamente; 4. Ampliar a formação de mestres e doutores na instituição proponente; 5. Promover a mobilidade acadêmica entre os pesquisadores das duas instituições; e também, entre os estudantes da pós-graduação através da modalidade sanduíche entre as duas instituições; 6. Elevar o conceito CAPES do MDCC de 4 para 5. A parceria estabelecida neste projeto (PACMDCC) envolve três grupos de pesquisa do Programa de Pós-graduação em Ciência da Computação da Universidade Federal do Ceará ? Bancos de Dados, Computação Gráfica e Lógica & Teoria da Computação ? com seus congêneres do Departamento de Informática da PUC-RJ. No total, são treze professores do MDCC (2 são bolsistas de produtividade nível 2 do CNPq), quatro professores do INF-PUC-RJ (4 são bolsistas PQ: um do nível 1A, um do nível 1C e dois do nível 2), quinze alunos de doutorado e oito alunos de mestrado. Além de promover a consolidação do MDCC e a elevação de sua nota de 4 para 5 na avaliação da CAPES, este projeto visa estabelecer uma interação permanente entre os parceiros, para o desenvolvimento de projetos conjuntos, para melhorar a formação de recursos humanos em níveis de mestrado e doutorado, e para incrementar a mobilidade de alunos de pós-graduação e pesquisadores dos grupos envolvidos. O apoio financeiro será utilizado, principalmente, em missões de estudo (envolvendo alunos de pós-graduação) e em missões de pesquisa (envolvendo professores pesquisadores das duas equipes).. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (10) Doutorado: (18) . , Integrantes: Ana Teresa de Castro Martins - Integrante / Marcelino Pequeno - Integrante / Davi Romero Vasconcelos - Integrante / Vânia Vidal - Coordenador / Creto Augusto Vidal - Integrante / Joaquim Bento Cavalcante - Integrante / Bernadete Farias - Integrante / Javam Machado - Integrante / Marco Antônio Casanova - Integrante / Karin Breitman - Integrante / Marcelo Gattass - Integrante / José Antônio Fernandes de Macêdo - Integrante / João Fernando Lima Alcântara - Integrante / Carlos Eduardo Fisch de Brito - Integrante / Wladimir Araújo Tavares - Integrante / José Maria Monteiro - Integrante / Edward Hermann Haeusler - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.

  • 2010 - 2012

    Tratamento de Contradições e Incertezas nas Lógicas Descritivas (Processo No 507647/2010-6 IC-Balcão), Descrição: Este projeto é para bolsa de iniciação científica.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Ana Teresa de Castro Martins - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2010 - 2012

    Lógicas Clássica e Não-Clássicas, seus Fragmentos e Extensões (Universal 2010), Descrição: Processo:482481/2010-2 Vigência: 12/11/2010 à 11/11/2012 No escopo dos estudos relacionados à lógica, podemos distinguir duas áreas de pesquisa que estão associadas, respectivamente, à relação de conseqüência semântica e à relação de conseqüência sintática, a saber: (i) teoria dos modelos e (ii) teoria da prova. Dentro destas duas perspectivas, investigamos o que dá e o que não dá para fazer com a lógica clássica dentro da computação. Investigaremos não somente lógicas que rivalizam ou estendem a lógica clássica, aqui denominadas de lógicas não-clássicas, como também fragmentos da lógica clássica que são decidíveis. Estas lógicas serão exploradas pelos modelos que as caracterizam, pelo poder expressivo de sua linguagem para, por exemplo, expressar a complexidade descritiva de problemas e hierarquizar teorias, como também pelas propriedades estruturais de seus sistemas dedutivos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) / Doutorado: (2) . , Integrantes: Ana Teresa de Castro Martins - Coordenador / Marcelino Pequeno - Integrante / Davi Romero Vasconcelos - Integrante / João Fernando Lima Alcântara - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.Número de orientações: 3

  • 2008 - 2011

    Extensões da Lógica Clássica de Primeira Ordem: Modelos, Provas e Complexidade, Descrição: Produtividade de Pesquisa Nome: Ana Teresa de Castro Martins Processo: 307979/2007-5 Modalidade: PQ-II Projeto:Extensões da Lógica Clássica de Primeira Ordem: Modelos, Provas e Complexidade Instituição: Universidade Federal do Ceará/UFC-CE Resumo: Resumo do Projeto: Na lógica clássica conseguimos facilmente escrever uma fórmula cujos modelos são grafos conectados com exatamente 10 vértices. Entretanto, não conseguimos definir a noção de conectividade em geral, ou seja, não é possível escrever em lógica clássica uma fórmula, ou conjunto de fórmulas, cujos modelos sejam exatamente os grafos conexos. Também não é possível .contar. na lógica de primeira ordem, nem definir funções recursivas, nem descrever várias outras noções extremamente importantes em computação. A partir destas limitações, investigaremos lógicas que estendem minimamente a clássica possibilitando a definição de tais conceitos. Estas lógicas serão exploradas tanto pelos modelos finitos que as caracterizam, como pelo poder expressivo de sua linguagem para, por exemplo, expressar a complexidade descritiva de problemas e hierarquizar teorias, como também pelas propriedades estruturais de seus sistemas dedutivos de natureza muitas vezes infinitária. Alunos envolvidos: Iniciação Cientifica (com bolsa): Vladimir Portela (monitor) Abelardo Vieira Mota (IC) Thiago Alves Rocha (IC) Doutorandos: Alexandre da Silva Cavalcante Francicleber Martins Ferreira Francisco Erivelton Fernandes de Aragão Mestrandos: Cibele Matos Freire Débora Farias Frota Iuri Fernandes Queiroz. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (3) . , Integrantes: Ana Teresa de Castro Martins - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

  • 2008 - 2010

    Provas e Modelos para Lógicas Não Clássicas Processo 477624/2008 1, Descrição: No escopo dos estudos relacionados à lógica, podemos distinguir duas áreas de pesquisa que estão associadas, respectivamente, à relação de conseqüência semântica e à relação de conseqüência sintática, a saber: (i) teoria dos modelos e (ii) teoria da prova. Dentro destas duas perspectivas, investigamos o que dá e o que não dá para fazer com a lógica clássica dentro da computação. A partir destas limitações, investigaremos lógicas que rivalizam ou estendem minimamente a clássica, aqui denominadas de lógicas não-clássicas. Estas lógicas serão exploradas pelos modelos que as caracterizam, pelo poder expressivo de sua linguagem para, por exemplo, expressar a complexidade descritiva de problemas e hierarquizar teorias, como também pelas propriedades estruturais de seus sistemas dedutivos. ------------ CNPq CNPJ/MF: 33.654.831/0001 36 Número do processo: 477624/2008 1 Edital/Chamada: Edital MCT/CNPq 14/2008 Universal Faixa A Até R$ 20.000,00 2. VALOR GLOBAL DA CONCESSÃO AUXÍLIO FINANCEIRO Custeio: R$ 3.500,00 Capital: R$ 16.500,00 Valor Global: R$ 20.000,00 Alunos envolvidos: Doutorandos: Alexandre da Silva Cavalcante Alfredo Antônio de Araújo Malheiros Filho Francicleber Martins Ferreira Francisco Erivelton Fernandes de Aragão Samy Soares Passos de Sá Vládia Célia Monteiro Pinheiro Mestrandos: Cibele Matos Freire Débora Farias Frota Iuri Fernandes Queiroz Henrique Viana Oliveira Iniciação Científica Thiago Alves da Rocha Abelardo Vieira Mota Monitoria: Vladimir Portela. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (4) / Doutorado: (6) . , Integrantes: Ana Teresa de Castro Martins - Coordenador / Marcelino Pequeno - Integrante / Davi Romero Vasconcelos - Integrante / Tarcísio Haroldo Cavalcante Pequeno - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2008 - 2010

    BOOST ? Consolidação da Pós-Graduação em Ciência da Computação da UFC através de Parcerias Processo: 620207/2008-6, Descrição: A parceria estabelecida no projeto BOOST envolve quatro grupos de pesquisa do MDCC-UFC (Bancos de Dados, Computação Gráfica, Lógica & Teoria da Computação e Redes de Computadores) com seus congêneres do INF-PUC-RJ e do PESC-COPPE-UFRJ. No total, são nove professores do MDCC (3 são bolsistas de produtividade nível 2 do CNPq), três professores do INF-PUC-RJ (2 são bolsistas PQ: um do nível 1A, e um do nível 1C), três professores do PESC-COPPE-UFRJ (3 são bolsistas PQ: um do nível 1A, um do nível 1D, e um do nível 2), nove alunos de doutorado e treze alunos de mestrado. Este projeto visa a consolidação do MDCC e a elevação de sua nota de 4 para 5 na avali-ação da CAPES. ------------- Nome: Creto Augusto Vidal Processo: 620207/2008-6 Modalidade: Apoio ao Desenvolvimento Científico e Tecnológico-ACT - BOOST: Consolidação da Pós-graduação em Ciência da Computação da UFC através de Parcerias ------------- Alunos do grupo de lógica envolvidos: Doutorandos: Alexandre da Silva Cavalcante Alfredo Antônio de Araújo Malheiros Filho Francicleber Martins Ferreira Francisco Erivelton Fernandes de Aragão Samy Soares Passos de Sá Vládia Célia Monteiro Pinheiro Mestrandos: Cibele Matos Freire Débora Farias Frota Iuri Fernandes Queiroz Henrique Viana Oliveira Iniciação Científica: Thiago Alves da Rocha Abelardo Vieira Mota Monitoria: Vladimir Portela. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Mestrado acadêmico: (10) / Doutorado: (9) . , Integrantes: Ana Teresa de Castro Martins - Integrante / Marcelino Pequeno - Integrante / Creto Vidal - Coordenador / Vânia Vidal - Integrante / Joaquim Bento Cavalcante - Integrante / Bernadete Farias - Integrante / Paulo Veloso - Integrante / Javam Machado - Integrante / Mário Benevides - Integrante / Marta Mattoso - Integrante / Marco Antônio Casanova - Integrante / Karin Breitman - Integrante / Marcelo Gattass - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2008 - 2010

    Lógica em Computação Processo: 478364/2008-3, Descrição: O propósito deste projeto é contribuir para o avanço da lógica matemática como ferramenta para resolver problemas em Ciência da Computação. No âmbito do projeto a lógica matemática será estudada sob uma diversidade de aspectos ? do ponto de vista semântico (conteúdo), do ponto de vista sintático (forma), como linguagem de representação, como ferramenta inferencial ? tendo sempre em vista sua aplicabilidade em ciência da computação: Este é o motivo condutor do projeto, o uso da lógica como estratégia de desenvolvimento da ciência computação. Algumas contribuições do projeto serão dentro da própria lógica, novos resultados teóricos ampliando os recursos da lógica de modo a expandir as possibilidades de uso na computação; outras serão diretamente em aplicações computacionais, mostrando uma abordagem lógica para alguns problemas em computação. --------------------- DADOS DO PROJETO UNIVERSAL LOGCOMP EDITAL 14/2008 CNPQ Nome: Tarcisio Haroldo Cavalcante Pequeno Processo: 478364/2008-3 Projeto: Lógica em Computação - Logcomp Edital MCT/CNPq 14/2008 - Universal - Faixa C - De R$ 50.001,00 até R$ 150.000,00: Custeio: R$ 40.000,00 Capital: R$ 80.000,00 ----- Alunos envolvidos da UFC Doutorandos: Alexandre da Silva Cavalcante Alfredo Antônio de Araújo Malheiros Filho Francicleber Martins Ferreira Francisco Erivelton Fernandes de Aragão Samy Soares Passos de Sá Vládia Célia Monteiro Pinheiro Mestrandos: Cibele Matos Freire Débora Farias Frota Iuri Fernandes Queiroz Henrique Viana Oliveira Iniciação Científica: Thiago Alves da Rocha Abelardo Vieira Mota Monitoria: Vladimir Portela. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (4) / Doutorado: (5) . , Integrantes: Ana Teresa de Castro Martins - Integrante / Marcelino Pequeno - Integrante / Davi Romero Vasconcelos - Integrante / Tarcísio Haroldo Cavalcante Pequeno - Coordenador / Arthur Buchsbaum - Integrante / Jean-Yves Béziau - Integrante / Luiz Carlos Pinheiro Dias Pereira - Integrante / Paulo Veloso - Integrante / João Marcos Almeida - Integrante / Sheila Veloso - Integrante / Jorge Petrúcio Viana - Integrante / Renata Pereira de Freitas - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2006 - 2009

    Aspectos Lógico Filosóficos da Negação CAPES-PROCAD Processo no 0368 / 05 - 9, Descrição: O projeto que ora propomos tem como objetivo teórico principal e mais geral examinar de forma sistemática e unificada aspectos lógico-filosóficos do conceito de Negação e noções afins, tais como as noções de falsidade, diferença, predicação, exclusão e exaustividade. A negação tem ocupado, sem dúvida alguma, um lugar central no debate filosófico e tem sido uma fonte perene de preocupações e problemas para a Filosofia, para a Lógica, e, mais recentemente, para a Lingüística e a Teoria da Computação. Por um lado, a história da filosofia nos apresenta um repertório de significativas questões de natureza ontológica, semântica e epistemológica relacionadas com o conceito de negação, desde a discussão sobre a possibilidade do discurso falso e a natureza do discurso negado verdadeiro no Sofista de Platão, até a discussão contemporânea sobre diferentes formas de enunciados negativos e o papel da negação na Teoria das Descrições Definidas. Por outro lado, a lógica, praticamente desde o seu surgimento, tem buscado, através da formulação de diferentes sistemas formais, investigar aspectos sintáticos e semânticos da negação. Entre as muitas questões cujo vigor contemporâneo evidencia a centralidade e a relevância desse tema, poderíamos destacar as seguintes: Faz sentido diferenciar uma negação predicativa de uma negação proposicional? Podemos coerentemente falar em fatos negativos? Como a negação interfere com a Teoria das Descrições Definidas? Podemos atribuir uma semântica natural a negações não-clássicas? A Negação Intuicionista pressupõe conceitos modais? A Negação possui significado computacional? Qual a relação entre negação, contradição e contrariedade? Como a negação se relacional com a exclusão e a exaustividade? Qual a relação entre a negação e a diferença? Podemos considerar as omissões como atos negativos? Como este elenco de questões deixa bem claro, o conceito de Negação posiciona-se em um campo de investigações que combinam de modo muito. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) / Doutorado: (3) . , Integrantes: Ana Teresa de Castro Martins - Integrante / Marcelino Pequeno - Integrante / Tarcísio Haroldo Cavalcante Pequeno - Integrante / Luiz Carlos Pinheiro Dias Pereira - Integrante / Guido Imaguire - Coordenador.

  • 2005 - 2006

    Uma Investigação Lógico-filosófica sobre a Negação Universal (019/2004) CNPq, Descrição: Vigência: 2005-2006 (2 anos). , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ana Teresa de Castro Martins - Coordenador.

  • 2004 - 2007

    TEORIA DA COMPUTAÇÃO: MODELOS E MÉTODOS PADCT/CNPq Processo 620233/2004-4, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Ana Teresa de Castro Martins - Coordenador.

  • 2002 - 2006

    Lógica, Ciência e Inteligência Artificial (LOCIA) , processo no 552123/2002-1, Descrição: O projeto LOCIA propõe-se a investigar a construção e desenvolvimento de sistemas lógicos visando sua utilização na formalização da ciência da computação e inteligência artificial. Nossa abordagem cobre o tema em amplo espectro: desde o desenvolvimento de métodos lógi-co/abstratos, estudo de sistemas para formalização do raciocínio em inteligência artificial, méto-dos semânticos e teoria da prova, até aplicações às teorias científicas e à pragmática da lingua-gem. O grupo de pesquisadores tem trabalhado por mais de uma década no uso da lógica na representação do conhecimento e na realização automática de inferência, tendo sido pioneiro no desenvolvimento de lógicas que combinam não monotonicidade com paraconsistência no trata-mento de inferências a partir de conhecimento impreciso, incompleto e informações contraditóri-as. Com o amadurecimento do tema, como freqüentemente ocorre em ciência, os sistemas lógi-cos desenvolvidos transcenderam as motivações iniciais para os quais foram criados, e são hoje aplicados em outras áreas da ciência. O projeto LOCIA ocupa-se do aprofundamento no estudo do problema original que tem motivado o trabalho do grupo, ligado à fundamentação da ciência da computação e da inteligência artificial, mas dirige-se também à ampliação das aplicações dos métodos lógicos que temos desenvolvido, em particular ao raciocínio e à construção de teorias científicas, e à pragmática da linguagem natural.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (5) . , Integrantes: Ana Teresa de Castro Martins - Coordenador / Felipe Ferreira de Morais - Integrante / Lilia Ramalho Martins - Integrante / Francicleber Martins Ferreira - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 3 / Número de orientações: 3

  • 2000 - 2002

    Formalização e Automatização do Raciocínio: Auxílio Individual 01/2000, Faixa B, Modalidade APQ Processo no: 467839/2000-0, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ana Teresa de Castro Martins - Coordenador.

  • 2000 - 2002

    Modelagem e Automatização do Raciocínio Processo: 520413/93-8, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ana Teresa de Castro Martins - Coordenador.

  • 1998 - 2000

    Modelagem Lógica do Raciocínio Prático Processo no: 300615/91-4, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ana Teresa de Castro Martins - Coordenador.

  • 1998 - 2000

    Um Tratamento Sintático e Semântico Uniforme para as Lógicas de Default e suas Bases Monotônicas processo no: 300615 / 91-4, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ana Teresa de Castro Martins - Coordenador.

  • 1998 - 1999

    Modelagem do Raciocínio Prático sob Conhecimento Incompleto e Impreciso em Situações de Mudanças Climáticas Processo: 690034/98-9, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ana Teresa de Castro Martins - Coordenador.

  • 1996 - 1998

    LOGIA, Métodos Formais para o Raciocínio e a Representação do Conhecimento Processo: 680095/95.0, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ana Teresa de Castro Martins - Coordenador.

  • 1993 - 1995

    FAR, Formalização e Automatização do Raciocínio Processo: 520413/93-8, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ana Teresa de Castro Martins - Coordenador.

Seção coletada automaticamente pelo Escavador

Prêmios

2008

Segundo Lugar no XX Concurso de Teses e Dissertações (como orientadora principal da dissertação), Sociedade Brasileira de Computação.

1990

Terceiro Lugar no II Concurso de Teses e Dissertações (como autora da dissertação), Sociedade Brasileira de Computação.

1982

Nono Lugar na II Olimpíada Cearense de Matemática, Universidade Federal do Ceará.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Universidade Federal do Ceará, Departamento de Computação. , Universidade Federal do Ceará - Campus da UFC, Pici, 60440900 - Fortaleza, CE - Brasil - Caixa-postal: 6021, Telefone: (85) 33669837

Seção coletada automaticamente pelo Escavador

Experiência profissional

  • 2012 - 2015

    Universidade Federal do Ceará

    Vínculo: , Enquadramento Funcional:

  • 1991 - Atual

    Universidade Federal do Ceará

    Vínculo: , Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.

    Outras informações:
    Representante da Unidade Curricular de Formação Complementar Biênio 2016 e 2017 Professor Titular desde 25 de setembro de 2015 Portaria de nomeação para Associado IV No 2273 de 06 de julho de 2012 Vice-Coordenadora do programa de Pós Graduação MDCC: abril 2000 à junho 2002 Coordenadora do programa de Pós Graduação MDCC: julho 2002 à junho 2004 Vice-Coordenadora do Curso de Graduação em Computação: janeiro 2005 à dezembro 2006 Chefe do Departamento de Computação 03/07/2008, 2 anos, Portaria 1718 de 24/07/2008

    Atividades

    • 08/1997

      Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Aspectos Formais para a Computação (2001.1,2003.1,2006.1,2007.1,2008.1,2009.1,2010.1,2011.1,2012.2,2013.1,2013.2,2014.1,2015.1), Teoria da Computação (1997.2,1998.2,2000.1,2008.2,2014.2), Teoria da Prova (20004.2,2005.2,2009.1,2012.2), Tóp. Especiais em Automatização do Raciocínio: Redes Neurais (1999.1), Tóp. Especiais em Inteligência Artificial I (1999.2,2001.2,2002.2), Tóp. Especiais em Lógica Matemática: Métodos Algébricos Aplicados à Lógica (1998.1,1999.2,2004.1), Teoria das Categorias (2006.2,2008.2,2009.2,2013.1)

    • 12/1991

      Pesquisa e desenvolvimento , Centro de Ciências, Departamento de Computação.,Linhas de pesquisa

    • 12/1991

      Ensino,,Disciplinas ministradas, Algoritmos e Programação Estruturada (1991.2), Construção e Análise de Agoritmos (2007.1), Estruturas de Informação (1991.2,1992.2), Introdução à Ciência da Computação (1991.2), Introdução à Informática (1991.2), Introdução à Lógica Matemática (2001.1,2002.2, 2004.2,2005.1,2005.2,2006.1,2006.2,2007.2,2009.2,2010.2,2011.2), Laboratório de Programação II (1997.1), Linguagens de Programação II (1992.1,1992.2,1997.2,1998.2), Lógica Aplicada (1992.2), Lógica Intucionística e Modal (2013.1), Matemática Discreta (2000.1,2000.2,2001.2,2002.1), Matemática Discreta (2003.2), Processamento de Dados (1997.1), Processamento de Linguagem Natural (2014.2), Redes Neurais (2013.2), Teoria da Computação (1998.1,1998.2,1999.1,2000.1,2003.1,2004.1,2014.2), Teoria da Prova (2002.2, 2005.1, 2011.1, 2012.2), Teoria dos Conjuntos (2000.2), Tópicos Avançados em Inteligência Artificial I (2001.2,2005.2,2008.2), Tópicos Avançados em Inteligência Artificial II (2004.2,2007.2), Tópicos Especiais em Lógica Matemática (2004.1,2006.2,2010.2,2011.2,2014.1,2015.1)

    • 07/2008 - 06/2010

      Direção e administração, Centro de Ciências, Departamento de Computação.,Cargo ou função, Chefe de Departamento.

    • 01/2005 - 12/2006

      Direção e administração, Centro de Ciências, Departamento de Computação.,Cargo ou função, Vice-Coordenadora da Graduação em Computação.

    • 07/2002 - 06/2004

      Direção e administração, Centro de Ciências, Departamento de Computação.,Cargo ou função, Coordenadora do Curso de Mestrado e Doutorado em Ciência da Computação.

    • 04/2000 - 06/2002

      Direção e administração, Centro de Ciências, Departamento de Computação.,Cargo ou função, Vice-Coordenadora do Curso de Mestrado e Doutorado em Ciência da Computação.

    • 07/1992 - 02/1993

      Direção e administração, Centro de Ciências, Departamento de Computação.,Cargo ou função, Coordenação da Biblioteca Setorial do Departamento de Computação.

  • 1989 - 1989

    Universidade de Caxias do Sul

    Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 12

    Outras informações:
    Disciplinas MInistradas 1989.1 Projetos de Sistemas II 1989.1 Teoria da Computação 1989.2 Programação em Lógica

    Atividades

    • 08/1989 - 12/1989

      Ensino,,Disciplinas ministradas, Programação em Lógica (SIS211A)

    • 03/1989 - 12/1989

      Pesquisa e desenvolvimento , Centro de Ciências Exatas e Tecnologia, Departamento de Ciência da Computação.,Linhas de pesquisa

    • 03/1989 - 07/1989

      Ensino,,Disciplinas ministradas, Projeto de Sistemas II (SIS416A), Teoria da Computação (SIS433A)

  • 1992 - 1992

    Universidade de Fortaleza

    Vínculo: Outro, Enquadramento Funcional: Outro, Carga horária: 9

    Outras informações:
    Professor do curso de "Especialização em Informática" Módulo de "Sistemas Especialistas": 45 h/a.

  • 1990 - 1990

    Universidade de Fortaleza

    Vínculo: Outro, Enquadramento Funcional: Outro, Carga horária: 9

    Outras informações:
    Professor do curso de "Especialização em Informática". Módulo de "Banco de Dados" : 45 h/a. Período: 20/11/90 a 18/12/90.

    Atividades

    • 11/1990 - 12/1992

      Ensino, Especialização Em Informática, Nível: Pós-Graduação,Disciplinas ministradas, Sistemas Especialistas, Banco de Dados

  • 1988 - 1989

    Universidade Federal do Rio Grande do Sul

    Vínculo: Assistente de Pesquisa, Enquadramento Funcional: Assistente de Pesquisa, Carga horária: 12

    Outras informações:
    Projeto "Banco de Dados Evolutivos". Orientador: Antônio Carlos da Rocha Costa.

  • 1987 - 1987

    Universidade Federal do Rio Grande do Sul

    Vínculo: Assistente de Pesquisa, Enquadramento Funcional: Assistente de Pesquisa, Carga horária: 12

    Outras informações:
    Projeto "Laboratório de Concepção de Desenvolvimento de Sistemas". Orientador: Antônio Carlos da Rocha Costa.

    Atividades

    • 05/1987 - 12/1989

      Estágios , Instituto de Informática, Departamento de Informática Teórica.,Estágio realizado, Assistente de Pesquisa.

  • 1990 - 1990

    Centro de Informática Em Educação

    Vínculo: Colaborador, Enquadramento Funcional: Professor, Carga horária: 4

    Outras informações:
    Ensino e pesquisa em Informática na Educação para o ensino de 2o. grau.

    Atividades

    • 03/1990 - 11/1990

      Ensino, Computação para Escola, Nível: Ensino Fundamental,Disciplinas ministradas, Introdução à Ciência da Computação