Sumários
Representação de conhecimento em lógica de predicados de 1ª ordem.
11 Fevereiro 2026, 11:00 • Sofia Silva
Exercícios sobre representação de conhecimento em lógica de predicados de 1ª ordem.
Apresentação, breve história da IA e sistemas baseados em conhecimento (SBCs)
11 Fevereiro 2026, 08:00 • Eugénio Ribeiro
Apresentação da UC
Representação de conhecimento em lógica de predicados de 1ª ordem.
10 Fevereiro 2026, 14:30 • Ana Rita Henrique Peixoto
Representação de conhecimento em lógica de predicados de 1ª ordem.
10 Fevereiro 2026, 09:30 • Sancho Moura Oliveira
Introdução aos sistemas baseados em conhecimento.
Apresentação, breve história da IA e sistemas baseados em conhecimento (SBCs)
9 Fevereiro 2026, 19:30 • Ana Rita Henrique Peixoto
Apresentação da UC