Anjolina Grisi de Oliveira

Inglês

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

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Logica aplicada a computacao.

OLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. ; OSORIO, M. ; CORTES, C. Z. ; RAMIREZ, J. R. A. . 23rd Workshop on Logic, Language, Information and Computation. 2016. (Outro).

LEIVANT, D. ; MOSSI, L. S. ; DE OLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. . 22nd Workshop on Logic, Language, Information and Computation. 2015. (Outro).

BARCELO, P. ; DE OLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. ; REUTTER, J. ; RIVEROS, C. . 21st Workshop on Logic, Language, Information and Computation. 2014. (Outro).

Kohlenbach, U. ; OLIVEIRA, A. G. ; Otto, M. ; de QUEIROZ, R. J. G. B. ; Streicher, T. ; Ziegler, M. . 20th Workshop on Logic, Language, Information and Computation. 2013. (Outro).

Areces, C. ; Figueira, S. ; Legris, J. ; OLIVEIRA, A. G. ; de QUEIROZ, R. J. G. B. . 19th Workshop on Logic, Language, Information and Computation. 2012. (Outro).

de QUEIROZ, R. J. G. B. ; SCEDROV, A. ; NIGAM, V. ; OLIVEIRA, A. G. . 18th Workshop on Logic Language and Information (WoLLIC´2011). 2011. (Outro).

de QUEIROZ, R. J. G. B. ; RINCON, M. A. ; MOURA, F. L. C. ; NALON, C. ; OLIVEIRA, A. G. . 17th Workshop on Logic Language and Information (WoLLIC´2010). 2010. (Outro).

de QUEIROZ, R. J. G. B. ; KANAZAWA, M. ; OLIVEIRA, A. G. ; SATOH, K. . 16th Workshop on Logic Language and Information (WoLLIC´2009). 2009. (Outro).

de QUEIROZ, R. J. G. B. ; KAMAREDDINE, F. ; RINCON, M. A. ; OLIVEIRA, A. G. ; RAHLI, V. ; ZENGLER, C. . 15th Workshop on Logic Language and Information (WoLLIC´2008). 2008. (Outro).

de QUEIROZ, R. J. G. B. ; VIANA, J. P. ; CORREA, M. S. ; FREITAS, R. P. ; Ana Tereza C. Martins ; OLIVEIRA, A. G. . 14th Workshop on Logic Language and Information (WoLLIC´2007). 2007. (Outro).

de QUEIROZ, R. J. G. B. ; de Paiva, V. ; ANGELIDES, A. ; OLIVEIRA, A. G. ; PAULY, M. . 13th Workshop on Logic Language and Information (WoLLIC´2006). 2006. (Outro).

de QUEIROZ, R. J. G. B. ; BITTENCOURT, G. ; ALVES, G. V. ; GONCALVES, E. M. N. ; MARCHI, J. ; OLIVEIRA, A. G. ; POZZEBON, E. ; SILVA, F. A. E. . 12th Workshop on Logic Language and Information (WoLLIC´2005). 2005. (Outro).

de QUEIROZ, R. J. G. B. ; CEGIELSKI, P. ; BELLIN, G. ; CARBONE, A. ; OLIVEIRA, A. G. . 11th Workshop on Logic Language and Information (WoLLIC´2004). 2004. (Outro).

WORKSHOP ON PROOF THEORY AND ALGORITHMS.Proofs from a Geometric Perspective. 2003. (Encontro).

OLIVEIRA, A. G.; CARVALHO, R. V. B.; FARIAS, P. P. M.. Em direção a um cálculo de sequentes para a lógica de descrição ALCH. 2023. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

DE OLIVEIRA, ANJOLINA G.; CARVALHO, RUAN; RODRIQUES, C. M. O.. Análise didaticamente estruturada das correspondências entre Lógicas de Descrições e Lógicas Modais. 2022. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

DE OLIVEIRA, ANJOLINA G.; RODRIGUES, R. C. C.; RODRIQUES, C. M. O.. Uma abordagem baseada no Fluents Calculus para a axiomatização dos casos jurídicos do Direito das Sucessões. 2022. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

DE OLIVEIRA, ANJOLINA G.; OLIVEIRA, J. M. P.; FREITAS, F. L. G.. CoreACQ: um Framework Computacional para Validar Questões de Competência por Raciocínio Automático sobre a Ontologia SUMO. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

DE OLIVEIRA, A. G.; CASTRO, C.; FREITAS, F. L. G.. . Uma Abordagem Ontológica para modelagem de Crimes contra o Patrimônio. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

DE OLIVEIRA, A. G.; OLIVEIRA, J. M. P.; FREITAS, F. L. G.. LeanCoR: a lean Connection-based DL Reasoner. 2014. Dissertação (Mestrado em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.

FREITAS, F. L. G.; PEREIRA, L. C.;DE OLIVEIRA, A. G.. Uma nova prova de corretude para os N-grafos. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

OLIVEIRA, A. G.; WASSERMANN, R.; FREITAS, F. L. G.. Uma Ontologia para as Doenças Tropicais Negligenciáveis - NTDO. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

OLIVEIRA, A. G.; WASSERMANN, R.; FREITAS, F. L. G.. MONK: Proposta de um Motor de Inferência Híbrido para Web Semântica. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

DE OLIVEIRA, ANJOLINA G.; WASSERMANN, R.; Queiroz, Natasha; OLIVEIRA, J. M. P.; Teixeira, Leopoldo. Uma abordagem de modularização de Ontologias baseada na satisfação lógica de Questões de Competência. 2019. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.