Henrique Viana Oliveira

Graduated in Computer Science from the Federal University of Ceará (2009), Master in Computer Science from the Federal University of Ceará (2012) and doctorate in Computer Science from the Federal University of Ceará (2018). He is currently an effective professor at the Federal Institute of Education, Science and Technology of Ceará (IFCE / Campus Aracati). Has experience in Logic and Artificial Intelligence, with emphasis on Logic Programming, Description Logics, Modal Logics, Fuzzy Logics, Multivalued Logics, Paraconsistent Logics, Uncertain Reasoning and Multiagent Systems.

Possui graduação em Ciência da Computação pela Universidade Federal do Ceará (2009), mestrado em Ciência da Computação pela Universidade Federal do Ceará (2012) e doutorado em Ciência da Computação pela Universidade Federal do Ceará (2018). Atualmente, é Professor efetivo do Instituto Federal de Educação, Ciência e Tecnologia do Ceará (IFCE/Campus Aracati). Tem experiência na área de Lógica e Inteligência Artificial, com ênfase em Programação em Lógica, Lógicas de Descrição, Lógicas Modais, Lógicas Difusas, Lógicas Multivaloradas, Lógicas Paraconsistentes, Raciocínio Incerto e Sistemas Multiagentes.