André Grahl Pereira
Universidade Federal do Rio Grande do SulDepartamento de Informática Teórica
Pesquisador associado
Informações resumidas do Currículo Lattes
Currículo Lattes atualizado em 06/04/2021
Nome em citações bibliográficas: PEREIRA, A. G.;Pereira, Andre Grahl;PEREIRA, ANDRÉ GRAHL;PEREIRA, ANDRÉ G.;PEREIRA, ANDRE G.
Formação acadêmica
Doutorado em Computação na Universidade Federal do Rio Grande do Sul em 2016Graduado em Ciência da Computação na Universidade Federal de Santa Maria em 2011
Projetos de pesquisa em andamento
2018 a Atual | Funções Heurísticas para Planejamento Clássico O presente projeto tem por objetivo desenvolver novos algoritmos para solucionar tarefas de planejamento. Tarefas de planejamento correspondem a diversas aplicações reais de áreas como: verificação de software, biologia computacional, exploração espacial, controle de aeroportos e análise forense. O objetivo geral desse projeto consiste em propor novas funções heurísticas e regras de desempate para resolver tarefas de planejamento. Atualmente, algoritmos de busca heurística são um dos métodos mais efetivos para resolver tarefas de planejamento, sendo funções heurísticas seu principal componente. Quanto mais informada é a função heurística, mais tarefas de planejamento são resolvidas. Entretanto, a maioria das funções heurísticas não aumenta sua qualidade conforme o aumento de tempo computacional disponibilizado. Em sua maioria também não usam adequadamente informações sobre a estrutura do domínio. Assim, esse projeto propõe desenvolver novas funções heurísticas que se tornam mais informadas e usam informações sobre a estrutura do domínio, além de empregar as soluções propostas em aplicações de clima espacial. As contribuições propostas nesse projeto possuem relevância prática e acadêmica. As contribuições são investigadas e, na maioria dos casos, testadas de forma independente de domínio tornando direta sua relevância para aplicações. Com essas contribuições iremos avançar o atual estado da arte na resolução de tarefas de planejamento. Integrantes: André Grahl Pereira (coordenador), Petry, Adriano, Luciana Salete Buriol, Marcus Ritt, Levi Henrique Santana de Lelis, Augusto Blaas Corrêa. |
Projetos de desenvolvimento em andamento
Últimas publicações
Artigos em periódicos
Domain-Dependent Heuristics and Tie-Breakers: Topics in Automated Planning2018. REVISTA ELETRÔNICA DE INICIAÇÃO CIENTÍFICA.
An approximate nearest neighbors search algorithm for low-dimensional grid locations
2017. EARTH SCIENCE INFORMATICS (INTERNET).

Pull and PushPull are PSPACE-complete
2016. Theoretical Computer Science.

Optimal Sokoban solving using pattern databases with specific domain knowledge
2015. Artificial Intelligence (General Ed.).

Trabalhos completos em congressos
An LP-Based Approach for Goal Recognition as Planning2021. AAAI Conference on Artificial Intelligence.
Sequencing Operator Counts with State-Space Search
2020. International Conference on Automated Planning and Scheduling.
Landmark-Enhanced Heuristics for Goal Recognition in Incomplete Domain Models
2019. International Conference on Automated Planning and Scheduling.
Procedural Generation of Initial States of Sokoban
2019. International Joint Conference on Artificial Intelligence.
Analyzing Tie-Breaking Strategies for the A* Algorithm
2018. TwentySeventh International Joint Conference on Artificial Intelligence {IJCAI18}.

Solving Moving-Blocks Problems
2017. Congresso da Sociedade Brasileira de Computação.
Improved Airport Ground Traffic Control with Domain-Dependent Heuristics
2016. 2016 5th Brazilian Conference on Intelligent Systems (BRACIS). 3

Improved Heuristic and Tie-Breaking for Optimally Solving Sokoban
2016. International Joint Conference on Artificial Intelligence. 4
Resumos expandidos em congressos
Solving motion planning problems2014. International Joint Conference on Artificial Intelligence School - Doctoral Consortium.
Image Generation and Visualization System for Ionosphere Dynamics
2011. International Congress of the Brazilian Geophysical Society.
Parser SQL para Análise de Custo de Operações em Bancos de Dados
2010. Congresso Regional de Iniciação Científica e Tecnológica em Engenharia.
Uma Ferramenta Didática para Verificação de Serialização por Timestamp em Operações de Banco de Dados
2010. XXIV Congresso Regional de Iniciação Científica e Tecnológica em Engenharia.
Beta Redutor Lambda em Aplicação Gráfica Interativa
2010. Congresso Regional de Iniciação Científica e Tecnológica em Engenharia.
Resumos em congressos
Operational Ionospheric Dynamics Prediction For South America2012. International Conference on Integral Methods in Science and Engineering.
Operational Ionospheric Dynamics Prediction in Brazilian Space Weather Program
2012. International Symposium on Equatorial Aeronomy.
Assimilação de Dados Utilizando Neuroevolução ao Modelo do Atrator de Lorenz
2011. Simpósio de Iniciação Cientifica do Centro Regional Sul de Pesquisas Espaciais (SICCRS).
Aplicação de Técnicas Avançadas de Programação, Engenharia de Software e Padrões em Software Científico para Análise e Visualização de Dados Geofísicos
2011. 63a Reunião Anual da SBPC.
Comparação entre o Método de Cressman e BLUE para Assimilação de Dados no Atrator de Lorenz
2011. 63a Reunião Anual da SBPC.
Veja todas as publicações no Currículo Lattes
Orientações em andamento
Mestrado
Rafael Vales Bettker. Solving Domain-Independent Black Box Planning with Machine Learning. Início: 2021. Universidade Federal do Rio Grande do Sul (Orientador principal)Daniel Matheus Doebber. Solving Search Problems with Heuristic Functions Based on Machine Learning. Início: 2020. Universidade Federal do Rio Grande do Sul (Orientador principal)
Luisa Rocha Azevedo Santos. Generation of Hard Initial States for Classical Planning Problems. Início: 2019. Universidade Federal do Rio Grande do Sul (Orientador principal)