Fundamentos Lógicos da Inteligência Artificial
Calendário de aulas e provas
- 31/07: aula 1
- 03/08: aula 2
- 07/08: aula 3
- 10/08: aula 4
- 14/08: aula 5: Trabalho 1.
- 17/08: aula 6
- 21/08: aula 7
- 24/08: aula 8
- 28/08: aula 9
- 31/08: aula 10
- 04/09: aula 11: Trabalho 2.
- 07/09: Feriado: Independência do Brasil.
- 11/09: aula 12
- 14/09: Não houve aula
- 18/09: aula 13: Artigo 1 sobre tableaux modais. Artigo 2 sobre tableaux modais.
- 21/09: Não houve aula
- 25/09: aula 14
- 28/09: aula 15
- 02/10: aula 16
- 05/10: aula 17
- 09/10: aula 18
- 12/10: Feriado: Padroeira do Brasil.
- 16/10: aula 19
- 19/10: aula 20
- 23/10: aula 21
- 26/10: aula 22
- 30/10: aula 23
- 02/11: Feriado: Finados.
- 06/11: aula 24: prova 1
- 09/11: aula 25: Dissertação Fabiano Silva.
- 13/11: aula 26
- 16/11: aula 27: Planejamento como Satisfazibilidade.
- 20/11: aula 28: Graphplan.
- 23/11: aula 29: HSP. FF.
- 27/11: Dia não letivo.
- 30/11: aula 30
- 11/12: prova final