O Grupo de Lógica Paraconsistente e Inteligência Artificial foi oficializado em novembro de 1995 e catalogado no CNPq como grupo de pesquisa de excelência e faz pesquisas nas seguintes áreas:1.Lógicas paraconsistentes aplicadas à Inteligência Artificial. 2.Programação Lógica Paraconsistente.3.Elaboração de sistemas lógicos paraconsistentes, paracompletos e não-aléticos.4.Álgebras de Curry. 5.Robótica e Automação. 6.Sistemas inteligentes em engenharia de produção. 7.Lógica e Fundamentos da Física. 8.Computabilidade. O Grupo de Lógica Paraconsistente e Inteligência Artificial interage também com outros centros de pesquisa e pesquisadores de outras instituições como: Instituto de Estudos Avançados da USP, Teikyo Heisei University - Japão, Himeji Institute of Technology - Japão, Shizuoka University - Japão. Nossas perquirições têm sido publicados nas mais afamadas revistas internacionais, livros e apresentados em congressos tanto nacionais como internacionais.
