Sumários

13 Novembro 2020, 09:30 • Luís Miguel Parreira e Correia

Redes semânticas

Lógicas de descrição

Lógica padrão

Sistemas de manutenção de verdade

11 Novembro 2020, 11:30 • Helena Aidos

Procura em espaços de estados de problemas de planeamento.

9 Novembro 2020, 11:30 • Helena Aidos

Procura em espaços de estados de problemas de planeamento.

9 Novembro 2020, 09:30 • Luís Miguel Parreira e Correia

Introdução às ontologias

Representação de diversos tipos de conceitos

Cálculo de eventos

Breve apontamento de lógica modal

6 Novembro 2020, 09:30 • Luís Miguel Parreira e Correia

planeador centralizado

ações concorrentes

planeadores distribuídos

comunicação e linguagens específicas

eco-modelo de planeamento

comportamento emergente