Sumários

Paradigma da Programação em Lógica

3 Março 2026, 14:30 Ana Rita Henrique Peixoto


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

Paradigma da Programação em Lógica

3 Março 2026, 09:30 Sancho Moura Oliveira


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

Representação de conhecimento em Prolog

2 Março 2026, 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

2 Março 2026, 14: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

2 Março 2026, 11:00 Sancho Moura Oliveira


Apresentação inicial da linguagem Prolog

Exemplos de representação

Interpretadores Prolog

Exemplos de sistemas

Negação por Falha