Sumários
13 dezembro 2017, 15:00
•
Mikolas Janota
Apoio ao projeto de Answer Set Programming.
13 dezembro 2017, 11:00
•
Inês Lynce
As aulas teóricas terminaram na semana anterior.
11 dezembro 2017, 11:00
•
Inês Lynce
As aulas teóricas terminaram na semana anterior.
6 dezembro 2017, 15:00
•
Mikolas Janota
Apoio ao projeto de Answer Set Programming.
6 dezembro 2017, 11:00
•
Inês Lynce
Implementation: grounding and solving.