Sumários
Paradigma da Programação em Lógica
25 Fevereiro 2025, 09:30 • Sancho Moura Oliveira
Representação de conhecimento usando programação em lógica.
Representação de conhecimento em Prolog
24 Fevereiro 2025, 14:30 • Sancho Moura Oliveira
Exemplos de representação
Interpretadores Prolog
Exemplos de sistemas
Representação de conhecimento em Prolog
24 Fevereiro 2025, 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)
21 Fevereiro 2025, 21:00 • Eugénio Ribeiro
Inferência de lógica de predicados de 1ª ordem (Dedução)
21 Fevereiro 2025, 18:00 • Eugénio Ribeiro