Programa
Doutoramento em Ciências e Tecnologias da Informação
Programa
P1. Planeamento Clássico P1.1. Introdução ao planeamento; conceitos e modelos básicos P1.2. Planeamento no espaço de estados P1.3. Planeamento no espaço de planos parciais P2. Planeamento Neo-Clássico P2.1 Planeamento baseado em grafos P2.2. Planeamento baseado em satisfação de proposições P2.3. Planeamento baseado em satisfação de restrições P3. Heurísticas para Planeamento P3.1. Planeamento clássico P3.2. Planeamento neo-clássico P4. Planeamento Avançado P4.1. Planeamento temporal P4.2. Planeamento e agendamento de recursos P4.3. Planeamento com incerteza P5. Planeamento Distribuído P5.1 Motivação do planeamento multi-agente P5.2. Abordagens estruturadas P5.3. Abordagens descentralizadas P6. Aplicações e casos práticos P6.1. Robótica P6.2. Indústria e Produção P6.3. Coordenação de Serviços P6.4. Jogos e Multimédia