Sumários

LPO - resolução

6 Novembro 2017, 09:30 • João Balsa da Silva

Resolução em lógica de primeira ordem; Resolução SLD; Utilização no Prolog

Jogos

3 Novembro 2017, 11:30 • João Balsa da Silva

Jogos - implementação e experimentação.

LPO

3 Novembro 2017, 09:30 • João Balsa da Silva

Lógica de primeira ordem: semântica e inferência

Jogos

2 Novembro 2017, 12:00 • João Balsa da Silva

Jogos - implementação e experimentação.

Inferência

30 Outubro 2017, 09:30 • João Balsa da Silva

  • Exemplos de Prolog; Inferência em lógica proposicional, com Prolog
  • Bratko (cap 3, 4); Ben-Ari (cap 4, 6)