Paulo de Tarso Guerra Oliveira

Possui graduação em Ciência da Computação pela Universidade Estadual do Ceará (2008), mestrado em Ciências da Computação pela Universidade de São Paulo (2010) e doutorado em Ciência da Computação pela Universidade de São Paulo (2016). Atualmente é professor adjunto da Universidade Federal do Ceará, Campus Quixadá. Tem experiência na área de Ciência da Computação, com ênfase em Lógica e Inteligência Artificial, atuando principalmente nos seguintes temas: lógica de árvore computacional, revisão de crenças e verificação de modelos.

Informações coletadas do Lattes em 08/09/2025

Acadêmico

Formação acadêmica

Doutorado em Ciencia da Computacao

2011 - 2016

Universidade de São Paulo
Título: Revisão de Crenças no Reparo de Especificações Formais de Sistemas
Orientador: em Università degli Studi di Roma La Sapienza ( Giuseppe De Giacomo)
com Renata Wassermann. Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: Revisão de crenças; lógica temporal; Verificação de modelos.Grande área: Ciências Exatas e da Terra

Mestrado em Ciências da Computação

2008 - 2010

Universidade de São Paulo
Título: Revisão de Modelos CTL
, Ano de Obtenção: 2010.Renata Wassermann.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Revisão de crenças; Lógica de árvore computacional; Verificação de modelos.Grande área: Ciências Exatas e da Terra

Graduação em Ciência da Computação

2004 - 2008

Universidade Estadual do Ceará
Título: Uma Abordagem Fuzzy para o Mercado de Entretenimento da Trading Agent Competition
Orientador: Gustavo Augusto Lima Campos

Formação complementar

2006 - 2007

Extensão universitária em Curso Básico de Língua Inglesa. (Carga horária: 420h). , Universidade Federal do Ceará, UFC, Brasil.

1998 - 2002

Extensão universitária em Curso de Língua Inglesa. (Carga horária: 480h). , Universidade Estadual do Ceará, UECE, Brasil.

Idiomas

Inglês

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

Português

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

Italiano

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

Á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: Inteligência Artificial.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Lógica computacional.

Organização de eventos

FERREIRA, F. M. ; MENEZES, M. V. ; GUERRA, Paulo T. . 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2018). 2018. (Outro).

Participação em eventos

22nd International Joint Conference on Artificial Intelligence (IJCAI). 2011. (Congresso).

IJCAI 2011 Doctoral Consortium. Belief Revision on Computation Tree Logic. 2011. (Congresso).

12th Ibero-American Conference on Artificial Intelligence (IBERAMIA). Revision of CTL Models. 2010. (Congresso).

20th Brazilian Symposium on Artificial Intelligence (SBIA). 2010. (Simpósio).

II Fórum Cearense de Software Livre.Linux Embutido. 2006. (Encontro).

XI Semana Universitária da UECE.Avaliação de Técnicas de Estimação de Matrizes de Tráfego. 2006. (Outra).

23 Simpósio Brasileiro de Redes de Computadores. 2005. (Simpósio).

57 Reunião Anual da SBPC. 2005. (Encontro).

Participação em bancas

Aluno: Bruno Vercelino da Hora

FINGER, M.; WASSERMANN, R.;GUERRA, Paulo T.. Revisão de Crenças no Fragmento Universal da CTL usando Verificação de Modelos Limitada. 2017 - Universidade de São Paulo.

Aluno: Henrique Viana Oliveira

ALCANTARA, J. F. L.; MARTINS, A. T. C.;GUERRA, Paulo T.; MARCHI, J.; WASSERMANN, R.. Propositional Belief Merging and Distributive Justice. 2018 - Universidade Federal do Ceará.

Orientou

Decio Gonçalves de Aguiar Neto

Transferência de Conhecimento Utilizando Aprendizado Profundo para Classificação de Imagens Histopatológicas; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Ceará; Orientador: Paulo de Tarso Guerra Oliveira;

Raul de Araújo Lima

Classificação de Polaridade de Sentimentos de Mensagens Curtas Utilizando Word2vec; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Ceará; Orientador: Paulo de Tarso Guerra Oliveira;

Francisco Allan Flávio Vidal Costa

Modelagem e Raciocínio sobre Perfis Discentes do Curso de Sistemas de Informação da UFC Campus Quixadá Utilizando Ontologias; 2017; Trabalho de Conclusão de Curso; (Graduação em Sistema de Informação) - Universidade Federal do Ceará; Orientador: Paulo de Tarso Guerra Oliveira;

André Davys Carvalho Melo de Oliveira

Identificando Emoções em Manchetes de Notícias Escritas em Português do Brasil Utilizando Naive Bayes; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Ceará; Orientador: Paulo de Tarso Guerra Oliveira;

Rômulo César Costa de Sousa

Identificando Sentimentos de Textos em Português com o Sentiwordnet Traduzido; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Ceará; Orientador: Paulo de Tarso Guerra Oliveira;

Produções bibliográficas

GUERRA, Paulo T. ; WASSERMANN, Renata . Revising System Specifications in Temporal Logic. Journal of Logic Language and Information , v. 31, p. s1084902209379, 2022.
GUERRA, Paulo T. ; WASSERMANN, Renata . Two AGM-style characterizations of model repair. Annals of Mathematics and Artificial Intelligence (Dordrecht. Online) , v. -, p. 1-25, 2019.
BRAGA, D. J. F. ; SILVA, T. L. C. ; ROCHA, A. ; COUTINHO, G. ; MAGALHAES, R. P. ; GUERRA, Paulo T. ; MACEDO, J. A. F. ; BARBOSA, S. D. J. . Time Series Forecasting to Support Irrigation Management. Journal of Information and Data Management - JIDM , v. 10, p. 66-80, 2019.
GUERRA, Paulo T. ; WASSERMANN, Renata . On the Uncomputability of Partial Meet Contraction for Linear-Time Temporal Logic. SOUTH AMERICAN JOURNAL OF LOGIC , v. 4, p. 385-406, 2018.
RAMOS, MICHEL DE SOUZA ; OLIVEIRA, PAULO DE TARSO GUERRA ; BRAGA, ANTONIO RAFAEL . Análise do Desempenho dos Estudantes do Curso Redes de Computadores da Universidade Federal do Ceará no ENADE. In: Workshop sobre Educação em Computação, 2024, Brasil. Anais do XXXII Workshop sobre Educação em Computação (WEI 2024), 2024. p. 658.
LINO, Saulo B. F. ; CRUZ, Lívia A. ; GUERRA, Paulo T. . Análise da Robustez de Algoritmos de Aprendizado de Máquina em Dados do Transtorno do Espectro Autista. In: Simpósio Brasileiro de Banco de Dados (SBBD), 2024, Florianópolis/SC. Anais do Simpósio Brasileiro de Banco de Dados (SBBD). Porto Alegre: Sociedade Brasileira de Computação, 2024. p. 53-65.
VASCONCELOS, DAVI R. ; GUERRA, Paulo T. . Ensinando Teoria da Computação com Jupyter Notebook. In: Workshop sobre Educação em Computação, 2023, Brasil. Anais do XXXI Workshop sobre Educação em Computação (WEI 2023). João Pessoa/PB: SBC, 2023. p. 9-19.
LIMA, R. A. ; GUERRA, Paulo T. . An Analysis of the Sentiment Classification of Short Messages Using Wod2Vec. In: Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2018, São Paulo, SP. Anais do XV Encontro Nacional de Inteligência Artificial e Computacional (ENIAC 2018), 2018. p. 425-436.
GUERRA, Paulo T. ; ANDRADE, Aline ; WASSERMANN, Renata . Toward the Revision of CTL Models through Kripke Modal Transition Systems. In: Brazilian Symposium on Formal Methods (SBMF), 2013, Brasília. Formal Methods: Foundations and Applications, 2013. v. 8195. p. 115-130.
GUERRA, Paulo T. ; WASSERMANN, Renata . On the Difference Beween Revising Models and Revising Specifications. In: 8th Workshop on Logical and Semantic Frameworks, with Applications, 2013, São Paulo. Proceedings of the 8th Workshop on Logical and Semantic Frameworks, with Applications, 2013. p. 95-100.
GUERRA, Paulo T. ; WASSERMANN, Renata . Revision of CTL Models. In: 12th Ibero-American Conference on Artificial Intelligence (IBERAMIA), 2010, Bahia Blanca, Argentina. Advances in Artificial Intelligence ? IBERAMIA 2010, 2010. v. 6433. p. 153-162.
GUERRA, Paulo T. ; WASSERMANN, Renata . Two AGM-Style Characterizations of Model Repair. In: International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), 2018, Tempe, Arizona. Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), 2018. p. 645-646.
BRAGA, D. J. F. ; SILVA, T. L. C. ; ROCHA, A. R. ; COUTINHO, G. ; MAGALHAES, R. P. ; GUERRA, Paulo T. ; MACEDO, J. A. F. . Time Series Forecasting for Purposes of Irrigation Management Process. In: Simpósio Brasileiro de Banco de Dados (SBBD), 2018, Rio de Janeiro, RJ. Proceedings of 33nd Brazilan Symposium on Databases (SBBD 2018), 2018. v. 1. p. 217-222.
SILVA, R. O. ; BRAGA, D. J. E. ; GUERRA, Paulo T. . A Relevância da Participação em Centros Acadêmicos para a Formação Complementar em Computação. In: Encontros Universitários UFC Quixadá 2016, 2016, Quixadá, CE. Anais dos Encontros Universitários UFC Quixadá 2016. Quixadá: UFC Quixadá, 2016.
SOUSA, R. C. C. ; GUERRA, Paulo T. ; BANDEIRA, C. I. R. . Identificando sentimentos de comentários escritos em Português do Brasil usando um recurso léxico em Inglês traduzido automaticamente. In: Encontros Universitários UFC Quixadá, 2016, Quixadá, CE. Anais dos Encontros Universitários UFC Quixadá. Quixadá: UFC Quixadá, 2016.
OLIVEIRA, A. D. C. M. ; GUERRA, Paulo T. . Identificando emoções em machetes de notı́cias escritas em português do Brasil utilizando Naı̈ve Bayes. In: Encontros Universitários UFC Quixadá 2016, 2016, Quixadá, CE. Anais dos Encontros Universitários UFC Quixadá 2016. Quixadá: UFC Quixadá, 2016.
GUERRA, Paulo T. ; WASSERMANN, Renata . Belief Revision on Computation Tree Logic. In: 22nd International Joint Conference on Artificial Intelligence, 2011, Barcelona, Catalonia, Spain. Proceedings of the 22nd International Joint Conference on Artificial Intelligence. Menlo Park, California: AAAI Press / IJCAI, 2011. v. 3. p. 2810-2811.
IGNACIO, Y. C. ; GUERRA, Paulo T. . Desenvolvimento de uma solução para validação de autômatos utilizando programação funcional. In: Encontros Universitários da UFC 2018, 2018, Quixadá. Encontros Universitários da UFC 2018, 2018.
LIMA, M. T. B. ; GUERRA, Paulo T. . Desenvolvimento de Ações Estratégicas para o Curso de Ciência da Computação da UFC Quixadá. In: Encontros Universitários da UFC 2018, 2018, Quixadá. Encontros Universitários da UFC 2018, 2018.
OLIVEIRA, B. S. N. ; NASCIMENTO, J. N. A. ; LIMA, M. T. B. ; MESQUITA, N. M. C. ; BEZERRA, C. I. M. ; GUERRA, Paulo T. . A Importância do ?TI por Elas? para Mulheres que estão Dentro e Fora da Computação. In: Encontros Universitários da UFC 2017, 2017, Quixadá. Encontros Universitários da UFC 2017, 2017.
SEGUNDO, L. B. S. ; GUERRA, Paulo T. . Protótipo de um Sistema de Planejamento de Integralização Curricular com Técnicas de Inteligência Artificial. In: Encontros Universitários da UFC 2017, 2017, Quixadá. Encontros Universitários da UFC 2017, 2017.
AGUIAR NETO, D. G. ; GUERRA, Paulo T. . Classificação de nódulos mamográficos em exames histopatológicos com uso de Deep Learning. In: Encontros Universitários da UFC 2017, 2017, Quixadá. Classificação de nódulos mamográficos em exames histopatológicos com uso de Deep Learning, 2017.
COSTA, F. A. F. V. ; GUERRA, Paulo T. . Sistema de Acompanhamento de Integralização Curricular Uma abordagem colaborativa na integralização curricular. In: Encontros Universitários da UFC 2017, 2017, Quixadá. Encontros Universitários da UFC 2017, 2017.
OLIVEIRA, J. V. C. ; GUERRA, Paulo T. . Relato de Experiência: Lógica para Computação. In: Encontros Universitários UFC Quixadá 2016, 2016, Quixadá, CE. Anais dos Encontros Universitários UFC Quixadá 2016. Quixadá: UFC Quixadá, 2016.
GUERRA, Paulo T. ; WASSERMANN, Renata . Belief Revision on Computation Tree Logic. 2011. (Apresentação de Trabalho/Conferência ou palestra).
GUERRA, Paulo T. ; WASSERMANN, Renata . Revision of CTL Models. 2010. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções

CARNEIRO, Domingos Sávio Silva ; OLIVEIRA, Paulo de Tarso Guerra ; AGUIAR, Acélio S. C. . SYNCD - Deamon de Monitoração de Protocolos Síncronos. 2005.

Projetos de pesquisa

2006 - 2006

ACOPLAR - Análise de Comportamento de Usuários para Planejamento de Redes sem Fio, Situação: Desativado; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Paulo de Tarso Guerra Oliveira - Integrante / Jorge Luiz de Castro e Silva - Coordenador / Davi Azevedo de Queiroz Santos - Integrante., Financiador(es): Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico - Bolsa.

Projetos de desenvolvimento

2005 - 2005

Desenvolvimento do Módulo de Configuração e Monitoração dos Protocolos Síncronos no NL-1000, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Paulo de Tarso Guerra Oliveira - Integrante / Acélio Sousa Carvalho de Aguiar - Integrante / Domingos Sávio Silva Carneiro - Integrante / Laure Waha Ndeuna Mendouga - Integrante / Marcial Porto Fernandez - Coordenador., Financiador(es): Instituto de Estudos, Pesquisas e Projetos da UECE - Bolsa.
2005 - 2005

Desenvolvimento do Módulo de Configuração e Monitoração dos Protocolos Síncronos no NL-1000, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Paulo de Tarso Guerra Oliveira - Integrante / Acélio Sousa Carvalho de Aguiar - Integrante / Domingos Sávio Silva Carneiro - Integrante / Laure Waha Ndeuna Mendouga - Integrante / Marcial Porto Fernandez - Coordenador., Financiador(es): Instituto de Estudos, Pesquisas e Projetos da UECE - Bolsa.
2005 - 2005

Desenvolvimento do Módulo de Configuração e Monitoração dos Protocolos Síncronos no NL-1000, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Paulo de Tarso Guerra Oliveira - Integrante / Acélio Sousa Carvalho de Aguiar - Integrante / Domingos Sávio Silva Carneiro - Integrante / Laure Waha Ndeuna Mendouga - Integrante / Marcial Porto Fernandez - Coordenador., Financiador(es): Instituto de Estudos, Pesquisas e Projetos da UECE - Bolsa.
2005 - 2005

Desenvolvimento do Módulo de Configuração e Monitoração dos Protocolos Síncronos no NL-1000, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Paulo de Tarso Guerra Oliveira - Integrante / Acélio Sousa Carvalho de Aguiar - Integrante / Domingos Sávio Silva Carneiro - Integrante / Laure Waha Ndeuna Mendouga - Integrante / Marcial Porto Fernandez - Coordenador., Financiador(es): Instituto de Estudos, Pesquisas e Projetos da UECE - Bolsa.
2005 - 2005

Desenvolvimento do Módulo de Configuração e Monitoração dos Protocolos Síncronos no NL-1000, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Paulo de Tarso Guerra Oliveira - Integrante / Acélio Sousa Carvalho de Aguiar - Integrante / Domingos Sávio Silva Carneiro - Integrante / Laure Waha Ndeuna Mendouga - Integrante / Marcial Porto Fernandez - Coordenador., Financiador(es): Instituto de Estudos, Pesquisas e Projetos da UECE - Bolsa.
2005 - 2005

Desenvolvimento do Módulo de Configuração e Monitoração dos Protocolos Síncronos no NL-1000, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Paulo de Tarso Guerra Oliveira - Integrante / Acélio Sousa Carvalho de Aguiar - Integrante / Domingos Sávio Silva Carneiro - Integrante / Laure Waha Ndeuna Mendouga - Integrante / Marcial Porto Fernandez - Coordenador.Financiador(es): Instituto de Estudos, Pesquisas e Projetos da UECE - Bolsa.
2005 - 2005

Desenvolvimento do Módulo de Configuração e Monitoração dos Protocolos Síncronos no NL-1000, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Paulo de Tarso Guerra Oliveira - Integrante / Acélio Sousa Carvalho de Aguiar - Integrante / Domingos Sávio Silva Carneiro - Integrante / Laure Waha Ndeuna Mendouga - Integrante / Marcial Porto Fernandez - Coordenador., Financiador(es): Instituto de Estudos, Pesquisas e Projetos da UECE - Bolsa.
2005 - 2005

Desenvolvimento do Módulo de Configuração e Monitoração dos Protocolos Síncronos no NL-1000, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Paulo de Tarso Guerra Oliveira - Integrante / Acélio Sousa Carvalho de Aguiar - Integrante / Domingos Sávio Silva Carneiro - Integrante / Laure Waha Ndeuna Mendouga - Integrante / Marcial Porto Fernandez - Coordenador., Financiador(es): Instituto de Estudos, Pesquisas e Projetos da UECE - Bolsa.
2005 - 2005

Desenvolvimento do Módulo de Configuração e Monitoração dos Protocolos Síncronos no NL-1000, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Paulo de Tarso Guerra Oliveira - Integrante / Acélio Sousa Carvalho de Aguiar - Integrante / Domingos Sávio Silva Carneiro - Integrante / Laure Waha Ndeuna Mendouga - Integrante / Marcial Porto Fernandez - Coordenador., Financiador(es): Instituto de Estudos, Pesquisas e Projetos da UECE - Bolsa.
2005 - 2005

Desenvolvimento do Módulo de Configuração e Monitoração dos Protocolos Síncronos no NL-1000, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Paulo de Tarso Guerra Oliveira - Integrante / Acélio Sousa Carvalho de Aguiar - Integrante / Domingos Sávio Silva Carneiro - Integrante / Laure Waha Ndeuna Mendouga - Integrante / Marcial Porto Fernandez - Coordenador., Financiador(es): Instituto de Estudos, Pesquisas e Projetos da UECE - Bolsa.
2005 - 2005

Desenvolvimento do Módulo de Configuração e Monitoração dos Protocolos Síncronos no NL-1000, Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (3) . , Integrantes: Paulo de Tarso Guerra Oliveira - Integrante / Acélio Sousa Carvalho de Aguiar - Integrante / Domingos Sávio Silva Carneiro - Integrante / Laure Waha Ndeuna Mendouga - Integrante / Marcial Porto Fernandez - Coordenador., Financiador(es): Instituto de Estudos, Pesquisas e Projetos da UECE - Bolsa.

Prêmios

2004

Medalha de Bronze - VI Olimpíada Brasileira de Informática, Sociedade Brasileira de Computação.

Histórico profissional

Endereço profissional

Universidade Federal do Ceará, Campus Quixadá. , Avenida José de Freitas Queiroz, 5003, Cedro, 63902580 - Quixadá, CE - Brasil, Telefone: (88) 34121256, URL da Homepage:

Experiência profissional

2014 - Atual

Universidade Federal do Ceará

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto C, Carga horária: 40, Regime: Dedicação exclusiva.

2010 - 2013

Universidade de São Paulo

Vínculo: Bolsista, Enquadramento Funcional: Estudante de Doutorado, Regime: Dedicação exclusiva.

2010 - 2010

Universidade de São Paulo

Vínculo: Colaborador, Enquadramento Funcional: Monitor de Disciplina, Carga horária: 6

2008 - 2010

Universidade de São Paulo

Vínculo: Bolsista, Enquadramento Funcional: Estudante de Mestrado, Regime: Dedicação exclusiva.

2007 - 2008

Xseed Software e Consultoria LTDA

Vínculo: Celetista, Enquadramento Funcional: Programador Jr., Carga horária: 30

2006 - 2006

Universidade Estadual do Ceará

Vínculo: Bolsista Iniciação Científica, Enquadramento Funcional: Pesquisador, Carga horária: 12, Regime: Dedicação exclusiva.

2005 - 2005

Universidade Estadual do Ceará

Vínculo: Bolsista Iniciação Científica, Enquadramento Funcional: Pesquisador, Carga horária: 20, Regime: Dedicação exclusiva.