Sumários
Representação de conhecimento com programação em lógica
18 Novembro 2021, 18:00 • Rita Sousa
Representação de conhecimento com programação em lógica
Representação do conhecimento e raciocínio em lógica de predicados de primeira ordem - Exercícios
16 Novembro 2021, 14:30 • Rita Sousa
Representação do conhecimento e raciocínio em lógica de predicados de primeira ordem - Exercícios
Representação do conhecimento e raciocínio em lógica de predicados de primeira ordem - Derivação
16 Novembro 2021, 13:00 • Rita Sousa
Representação do conhecimento e raciocínio em lógica de predicados de primeira ordem - Derivação
Representação do conhecimento e raciocínio em lógica de predicados de primeira ordem - Exercícios
15 Novembro 2021, 19:30 • Rita Sousa
Representação do conhecimento e raciocínio em lógica de predicados de primeira ordem - Exercícios
Representação do conhecimento e raciocínio em lógica de predicados de primeira ordem - Derivação
15 Novembro 2021, 18:00 • Rita Sousa
Representação do conhecimento e raciocínio em lógica de predicados de primeira ordem - Derivação