Sumários

Paradigma da Programação em Lógica

25 Fevereiro 2025, 14:30 Sancho Moura Oliveira


Representação de conhecimento usando programação em lógica.

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, 19:30 Ana Rita Henrique Peixoto


Apresentação inicial da linguagem Prolog

Exemplos de representação

Interpretadores Prolog

Exemplos de sistemas

Negação por Falha

Representação de conhecimento em Prolog

24 Fevereiro 2025, 14:30 Sancho Moura Oliveira


Apresentação inicial da linguagem Prolog

Exemplos de representação

Interpretadores Prolog

Exemplos de sistemas

Negação por Falha

Representação de conhecimento em Prolog

24 Fevereiro 2025, 11:00 Sancho Moura Oliveira


Apresentação inicial da linguagem Prolog

Exemplos de representação

Interpretadores Prolog

Exemplos de sistemas

Negação por Falha