Sumários

Inferência em lógica de primeira ordem

28 Outubro 2022, 09:30 Luís Miguel Parreira e Correia

unificação
encadeamento adiante
encadeamento retrógrado (cap 9)


Procura adversarial [1/2]

27 Outubro 2022, 12:00 Helena Aidos

Resolução de exercícios sobre procura adversarial e procura com incerteza.


exercicios de procura adversarial

24 Outubro 2022, 11:30 Paulo Jorge Cunha Vaz Dias Urbano

exercicios de procura adversarial


Inferência em lógica de 1ª ordem - I

24 Outubro 2022, 09:30 Luís Miguel Parreira e Correia

recapitulação de LPO
inferência de proposições


Procura adversarial [1/2]

24 Outubro 2022, 08:00 Helena Aidos

Resolução de exercícios sobre procura adversarial e procura com incerteza.