Sumários

15 Maio 2018, 17:00 • Sara C. Madeira

Utilização do algoritmo backtracking-search na resolução de problemas de satisfação de restrições.

Preprocessamento usando verificação de node-consistency e arc-consistency (algoritmo AC3)

Melhoramentos ao backtracking-search: heuristicas para escolha das variáveis e valores e Forward-checking.

15 Maio 2018, 15:30 • João Balsa da Silva

Problemas de Satisfação de Restrições - Algoritmos

15 Maio 2018, 15:30 • Sara C. Madeira

Tomada de posse do Director da FCUL.

14 Maio 2018, 17:30 • Sara C. Madeira

Utilização do algoritmo backtracking-search na resolução de problemas de satisfação de restrições.

Preprocessamento usando verificação de node-consistency e arc-consistency (algoritmo AC3)

Melhoramentos ao backtracking-search: heuristicas para escolha das variáveis e valores e Forward-checking.

14 Maio 2018, 13:30 • João Balsa da Silva

Representação de Conhecimento baseada em Regras de Produção.

O sistema CLIPS.