Sumários
Representação de conhecimento em lógica de predicados de 1ª ordem.
12 Fevereiro 2026, 08:00 • Eugénio Ribeiro
Representação de conhecimento em lógica de predicados de 1ª ordem.
11 Fevereiro 2026, 21:00 • Eugénio Ribeiro
Representação de conhecimento em lógica de predicados de 1ª ordem.
11 Fevereiro 2026, 13:00 • Sofia Silva
Exercícios sobre representação de conhecimento em lógica de predicados de 1ª ordem.
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