LIAMF - Laboratório de Inteligência Artificial e Métodos Formais

Equipe de pesquisadores

Leticia Mara Peres: Proposta de um método de verificação por tempo global com redes de Petri no desenvolvimento de software embarcado e em tempo real

Bruno César Ribas: Satisfabilidade não-clausal restrita as variáveis de entrada
Fabiano Sardenberg Kuss: Definição de atores e seus papéis em um ambiente virtual para aprendizagem e prática de xadrez escolar
Gustavo Cesar Bazzo: Classificação automática de erros de aprendizes humanos do processo de indução analítica

Diego Marczal: Um arcabouço que enfatiza a retroação a contextos de erro durante o acesso a conteúdos educacionais
Rene Kultz: Utilização de heurísticas de planejamento no desdobramento de redes de Petri
Arthur Renato Mello:
Franck Carlos Velez Benito: Desdobramento para Redes de Petri K-Limitadas
Rafael de Andrade Souza: Utilização de múltiplas representações externas para construção de fractais em ambientes exploratórios de aprendizagem
Gabriel Silva Ramos: Detecção e remediação de erros na generalização de conceitos matemáticos por meio de sistemas tutores inteligentes
Kheronn Khennedy Machado: Composição dinâmica de serviços WEB utilizando ontologias na descrição e planejadores hierárquicos em inteligência artificial

Antonio Hobmeier Neto: Uma abordagem dialógica alternativa para aquisição de habilidades táticas em jogos educacionais
Henrique Teske Barbieri: Ferramentas integradas de acesso remoto para apoiar o auto-estudo e a competição em jogos heurísticos
Jorge Luis Salvi: Relacionamentos temporais entre redes de Petri e planejamento automático
Márcia Valéria Rodrigues Ferreira: Estudo empírico e aspectos pré-computacionais para a detecção automática de capacidades da perícia em aprendizes de xadrez

Guilherme Stutz Tows: Petrigraph : um algoritmo para planejamento por desdobramento de redes de Petri
Juliana Hofmann Q. Benacchio: Planejamento em inteligencia artificial utilizando redes de Petri cíclicas
Nacib Mattar Junior: Redes de Petri temporais : método de análise baseado em tempo global
Franciele Carla Petry
Fausto Novaes Chiappin Vizoni: Planejamento em inteligencia artificial na lógica de ações e planos
Luís Carlos Ferreira Bueno: Conceitos e ferramentas de apoio ao aperfeiçoamento do desempenho de heurísticas de jogos

Cássio Soares Carvalho: Algoritmos genéticos para solução de problemas de alcançabilidade em uma determinada classe de redes de Petri acíclicas
Francisco Meira Aguiar: Ferramentas e métodos para apoiar o ensino de xadrez na fronteira entre os fundamentos e a perícia
Eleandro Maschio Krynski: Uma abordagem metacognitiva através de multiplas representações externas para o ensino de programação de computadores
Andréia Oliveira Lizardo: Ferramentas de apoio ao aprendizado de algoritmos de busca heurística por meio da visualizaç\u0103o das árvores de memória

Silvio Alexandre Porto: Planejamento em redes de tarefas hierárquicas com aplicação em jogos
Alexandre Rômulo Moreira Feitosa: Definição formal de táticas de Xadrez por meio da autoria incremental de conceitos heurísticos
Daniel Martineschen: Alternância entre competição e colaboração para promover o aprendizado por meio de heurísticas de jogos
Razer Anthom Nizer Rojas Montaño: Aplicação de fórmulas não-clausais em planejamento com redes de Petri

Celso Maurício Hartmann: Linguagem e ferramenta de autoria para promover o desenvolvimento de perícias em xadrez

Edson Martins Lecheta: Algoritmos genéticos para planejamento em inteligência artificial
Gabriel Takeuchi dos Santos: Autoria e interpretação tutorial de soluções alternativas para promover o ensino de programação de computadores
João Eugenio Marynowki: Ambiente de planejamento Ipê

Roberta Vanessa Rojo: Uma implementação genérica para Métodos de Tableaux Modais com uma aplicação específica em raciocínio sobre ações
Ligia Flávia Antunes Batista: Autoria de diretrizes pedagógicas destinadas ao treinamento das múltiplas capacidades da perícia em conceitos visuais complexos
Antonio Edison Urban: Ao redor dos sistemas

Robinson Vida Noronha: Ferramenta de autoria e ensino de perícias em circuitos elétricos
Fábio Dal Lago: Construindo descrições simbólicas consistentes com aplicação a um sistema de autoria de conceitos visuais
Marcos Vincius de Bortolli: Ensino por tutor inteligente de linguagens textuais de comandos em aplicações de sistemas operacionais
Marcos Junior Marini: A Produção de Material de Curso como Subproduto da Prática Pericial
Mônica Hoeldtke Pietruchinski: Linguagem e Ferramenta de Autoria para a Meta-modelagem de

Sergio Quaquarini: Representação e ferramentas para a modelagem de aprendizes no ensino de conceitos visuais
Fabiano Silva: Algoritmo para Planificação Baseada em STRIPS
Herbert Schafer: Conceitos e ferramentas para apoiar o ensino de xadrez através de computadores
Elisa Nascimento: Representação e Ferramentas para Apoiar a Programação de Dispositivos Digitais com Mecanismos de Interpretação Independentes de Liguagem

Rodrigo Bonacin: Interpretação pedagogica de relações logicas em dialogos para o ensino de conceitos visuais
Fábio Vincius Binder: Conceitos e ferramentas para apoiar o ensino de logica de programação imperativa
Denis Alcides Rezende: Ferramentas para Apoio ao Ensino Estruturado de Conceitos Visuais

Andrey Ricardo Pimentel: Medidas cognitivas para o ensino de conceitos visuais com sistemas tutores inteligentes