Not Taught.

16 dezembro 2015, 16:30 • Vasco Manquinho

As aulas teóricas terminaram na semana anterior.

ASP solving

16 dezembro 2015, 11:00 • Inês Lynce

The Schur numbers. Support to the 4th project.

Not Taught.

14 dezembro 2015, 15:30 • Vasco Manquinho

As aulas teóricas terminaram na semana anterior.

Not Taught.

9 dezembro 2015, 16:30 • Joao Marques Silva

ASP solving

9 dezembro 2015, 11:00 • Inês Lynce

Incremental mode in clingo: blocks world and towers of hanoi.