Sumários

21 Abril 2023, 14:00 • Paulo Jorge Cunha Vaz Dias Urbano

Representação em Python do conhecimento em lógica proposicional.

20 Abril 2023, 17:00 • Helena Aidos

Representação em Python do conhecimento em lógica proposicional.

20 Abril 2023, 15:30 • Helena Aidos

Representação em Python do conhecimento em lógica proposicional.

19 Abril 2023, 13:30 • Nuno Cruz Garcia

Representação em Python do conhecimento em lógica proposicional.

18 Abril 2023, 17:00 • Paulo Jorge Cunha Vaz Dias Urbano

Exercícios de representação do conhecimento usando Lógica Proposicional

Modelização de puzzles e de

Inferência através de Model checking

A transformação das fórmulas na sua forma normal conjuntiva

Inferência através do princípio da resolução