Sumários
Representação de conhecimento em Prolog
2 Março 2026, 19:30 • Ana Rita Henrique Peixoto
Exemplos de representação
Interpretadores Prolog
Exemplos de sistemas
Representação de conhecimento em Prolog
2 Março 2026, 14:30 • Ana Rita Henrique Peixoto
Exemplos de representação
Interpretadores Prolog
Exemplos de sistemas
Representação de conhecimento em Prolog
2 Março 2026, 11:00 • Sancho Moura Oliveira
Exemplos de representação
Interpretadores Prolog
Exemplos de sistemas
Inferência de lógica de predicados de 1ª ordem (Dedução)
27 Fevereiro 2026, 21:00 • Filipa Ribeiro Sá da Costa
Inferência de lógica de predicados de 1ª ordem (Dedução)
27 Fevereiro 2026, 18:00 • Sofia Silva