Sumários
Raciocínio em lógica de predicados de primeira ordem - 1ª parte
23 Fevereiro 2026, 19:30 • Ana Rita Henrique Peixoto
Inferência ( dedução ): Regras de inferência ( cálculo de predicados ), derivações ; Exemplos .
Raciocínio em lógica de predicados de primeira ordem - 1ª parte
23 Fevereiro 2026, 14:30 • Ana Rita Henrique Peixoto
Inferência ( dedução ): Regras de inferência ( cálculo de predicados ), derivações ; Exemplos .
Raciocínio em lógica de predicados de primeira ordem - 1ª parte
23 Fevereiro 2026, 11:00 • Sancho Moura Oliveira
Inferência ( dedução ): Regras de inferência ( cálculo de predicados ), derivações ; Exemplos .
Representação de conhecimento em lógica de predicados de 1ª ordem.
13 Fevereiro 2026, 21:00 • Filipa Ribeiro Sá da Costa
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.
13 Fevereiro 2026, 18:00 • Sofia Silva
Exercícios sobre representação de conhecimento em lógica de predicados de 1ª ordem.