Sumários
Raciocínio em lógica de predicados de primeira ordem - 1ª parte
17 Fevereiro 2025, 14:30 • Sancho Moura Oliveira
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
17 Fevereiro 2025, 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.
14 Fevereiro 2025, 21:00 • Eugénio Ribeiro
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.
14 Fevereiro 2025, 18:00 • Eugénio Ribeiro
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.
14 Fevereiro 2025, 11:00 • Filipa Ribeiro Sá da Costa
Exercícios sobre representação de conhecimento em lógica de predicados de 1ª ordem.