Sumários

12 Novembro 2021, 09:30 • Luís Miguel Parreira e Correia

Ontologias como representações de conhecimento simbólico.

Representação de acontecimentos temporais

[aula lecionada por Paulo Urbano]

11 Novembro 2021, 12:00 • Helena Aidos

Algoritmos de Procura nos Problemas de Satisfação de Restrições.

10 Novembro 2021, 11:30 • Graça Gaspar

Aplicação de algoritmos de procura em problemas de satisfação de restrições.

8 Novembro 2021, 11:30 • Paulo Jorge Cunha Vaz Dias Urbano

Aula em Lab.

Devido ao feriado da semana passada, alguns dos alunos dedicaram-se à formulação dos CSPs em Python

Outros aos algoritmos de resolução dos CSPs, em Python

8 Novembro 2021, 09:30 • Luís Miguel Parreira e Correia

Redes semânticas

Lógicas de descrição

Sistemas de manutenção da verdade