Optimization and Automated Reasoning

Research in the area of ​​automatic reasoning has as its objective the design and analysis of programs that learn classification/prediction models from knowledge bases, and also programs that learn policies/action strategies through trial and error.

Research in the area of ​​combinatorial optimization aims to develop methods that allow the efficient resolution of problems whose objective is to find good/optimal solutions, according to some quality criterion, from a large, but finite, universe of solutions.