Artificial Intelligence
The line of Artificial Intelligence research has seven full-time teachers, with strong interaction with the other lines of the CFSP.
Main Research Themes
Formal Methods
- Specification and Verification Program and Distributed Systems
- Logic and Reasoning Automation
- Logic Modal
- Dynamic Logic
- Knowledge and Belief Logic in Multi-Agent Systems
- Logic Modal and Games
- Model Checking
- Algebras processes: CCS and-calculations
- Combinatorial Optimization
- Algebraic Computation
Machine Learning and Data Mining
- Artificial Neural Networks
- Programming in inductive logic (ILP)
- Genetic Algorithms
- Decision Trees
- Bayesian Networks
- Hybrid Systems
Logic Programming
- Parallelism
- Development Constraint Logic
Computational Neuroscience
- Brain Functions Modeling
Applications
- Software Engineering, Databases, Computational Biology, Electrical Systems, among others.
Faculty
- Carlos Eduardo Pedreira, Ph.D., 1987 (Responsável)
- Edmundo Albuquerque de Souza e Silva, Ph.D., 1984
- Felipe Maia Galvão France , Ph.D., 1994
- Gerson Zaverucha , Ph.D., 1990
- Valmir Carneiro Barbosa , Ph.D., 1986