The Group of Logic and Artificial Intelligence - LogIA develops research on Logic, Artificial Intelligence, and Theory of Computation. The LogIA is one of the research groups in the master and graduate courses in Computer Science and the graduate course in Computation of the Computer Science Department at the Federal University of Ceará. Among its members are colaborators from other universities from Ceará and Brasil.
Goal
Our main goals are to develop research in the areas of Logic, Artificial Intelligence, and Theory of Computation, to provide solid theoretical foundations for these areas and to support students to acquire strong theoretical background in these areas.
Research Fields
We develop research in the following fields:
Logic: Classic and non-classic logic, finite model theory, descritptive complexity, proof theory, logic programming.
Artificial Intelligence: Machine learning, computational vision, signal processing, formalization of reasoning.
Theory of Computation: computability, complexity, information theory.
Address
Universidade Federal do Ceará
Departamento de Computação
Campus do Pici, Bloco 910
CEP 60455-760
Fortaleza - CE
Brasil
Departamento de Computação
Campus do Pici, Bloco 910
CEP 60455-760
Fortaleza - CE
Brasil